1 files changed, 99 insertions, 27 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
index 41eb75a8..e4e2aa30 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
@@ -1,54 +1,126 @@
 package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns
-import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
-import org.eclipse.emf.ecore.EClass
-import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.Modality
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
-import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.TypeAnalysisResult
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.Modality
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.TypeAnalysisResult
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
 import java.math.BigDecimal
+import org.eclipse.emf.ecore.EClass
+import org.eclipse.xtend.lib.annotations.Accessors
+import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor
+@FinalFieldsConstructor
 abstract class TypeIndexer {
-        public def CharSequence getRequiredQueries()
+        @Accessors(PROTECTED_GETTER) val PatternGenerator base
-        public def boolean requiresTypeAnalysis()
-        public def CharSequence generateInstanceOfQueries(LogicProblem problem,PartialInterpretation emptySolution,TypeAnalysisResult typeAnalysisResult)
+        def CharSequence getRequiredQueries() '''
-        public def CharSequence referInstanceOf(Type type, Modality modality, String variableName)
+                private pattern typeInterpretation(problem:LogicProblem, interpretation:PartialInterpretation, type:TypeDeclaration, typeInterpretation:PartialComplexTypeInterpretation) {
-        public def CharSequence referInstanceOf(EClass type, Modality modality, String variableName)
+                        find interpretation(problem,interpretation);
-        
+                        LogicProblem.types(problem,type);
-        public def dispatch CharSequence referInstanceOfByReference(ComplexTypeReference reference, Modality modality, String variableName) {
+                        PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-                reference.referred.referInstanceOf(modality,variableName)
+                        PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
-        }
+                }
-        public def dispatch CharSequence referInstanceOfByReference(BoolTypeReference reference, Modality modality, String variableName) {
+                
+                private pattern directInstanceOf(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement, type:Type) {
+                        find interpretation(problem,interpretation);
+                        LogicProblem.types(problem,type);
+                        TypeDefinition.elements(type,element);
+                } or {
+                        find interpretation(problem,interpretation);
+                        find typeInterpretation(problem,interpretation,type,typeInterpretation);
+                        PartialComplexTypeInterpretation.elements(typeInterpretation,element);
+                }
+                
+                private pattern isPrimitive(element: PrimitiveElement) {
+                        PrimitiveElement(element);
+                }
+        '''
+        def boolean requiresTypeAnalysis()
+        def CharSequence generateInstanceOfQueries(LogicProblem problem, PartialInterpretation emptySolution,
+                TypeAnalysisResult typeAnalysisResult) '''
+                «FOR type : problem.types»
+                        «problem.generateMustInstenceOf(type, typeAnalysisResult)»
+                        «problem.generateMayInstanceOf(type, typeAnalysisResult)»
+                «ENDFOR»
+        '''
+        protected def CharSequence generateMustInstenceOf(LogicProblem problem, Type type,
+                TypeAnalysisResult typeAnalysisResult) '''
+                /**
+                 * An element must be an instance of type "«type.name»".
+                 */
+                private pattern «patternName(type,Modality.MUST)»(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+                        Type.name(type,"«type.name»");
+                        find directInstanceOf(problem,interpretation,element,type);
+                }
+        '''
+        protected def CharSequence generateMayInstanceOf(LogicProblem problem, Type type,
+                TypeAnalysisResult typeAnalysisResult)
+        protected def patternName(Type type,
+                Modality modality) '''«modality.toBase»InstanceOf«base.canonizeName(type.name)»'''
+        def referInstanceOf(Type type, Modality modality, String variableName) {
+                '''find «patternName(type,modality)»(problem,interpretation,«variableName»);'''
+        }
+        def referInstanceOf(EClass type, Modality modality, String variableName) {
+                '''find «modality.toBase»InstanceOf«base.canonizeName('''«type.name» class''')»(problem,interpretation,«variableName»);'''
+        }
+        def dispatch CharSequence referInstanceOfByReference(ComplexTypeReference reference, Modality modality,
+                String variableName) {
+                reference.referred.referInstanceOf(modality, variableName)
+        }
+        def dispatch CharSequence referInstanceOfByReference(BoolTypeReference reference, Modality modality,
+                String variableName) {
                '''BooleanElement(«variableName»);'''
        }
-        public def dispatch CharSequence referInstanceOfByReference(IntTypeReference reference, Modality modality, String variableName) {
+        def dispatch CharSequence referInstanceOfByReference(IntTypeReference reference, Modality modality,
+                String variableName) {
                '''IntegerElement(«variableName»);'''
        }
-        public def dispatch CharSequence referInstanceOfByReference(RealTypeReference reference, Modality modality, String variableName) {
+        def dispatch CharSequence referInstanceOfByReference(RealTypeReference reference, Modality modality,
+                String variableName) {
                '''RealElement(«variableName»);'''
        }
-        public def dispatch CharSequence referInstanceOfByReference(StringTypeReference reference, Modality modality, String variableName) {
+        def dispatch CharSequence referInstanceOfByReference(StringTypeReference reference, Modality modality,
+                String variableName) {
                '''StringElement(«variableName»);'''
        }
-        public def dispatch CharSequence referPrimitiveValue(String variableName, Boolean value) {
+        def dispatch CharSequence referPrimitiveValue(String variableName, Boolean value) {
                '''BooleanElement.value(«variableName»,«value»);'''
        }
-        public def dispatch CharSequence referPrimitiveValue(String variableName, Integer value) {
+        def dispatch CharSequence referPrimitiveValue(String variableName, Integer value) {
                '''IntegerElement.value(«variableName»,«value»);'''
        }
-        public def dispatch CharSequence referPrimitiveValue(String variableName, BigDecimal value) {
+        def dispatch CharSequence referPrimitiveValue(String variableName, BigDecimal value) {
                '''RealElement.value(«variableName»,«value»);'''
        }
-        ///TODO: de-escaping string literals
-        public def dispatch CharSequence referPrimitiveValue(String variableName, String value) {
+        def dispatch CharSequence referPrimitiveValue(String variableName, String value) {
+                // /TODO: de-escaping string literals
                '''StringElement.value(«variableName»,"«value»");'''
        }
-        public def CharSequence referPrimitiveFilled(String variableName, boolean isFilled) {
+        def CharSequence referPrimitiveFilled(String variableName, boolean isFilled) {
                '''PrimitiveElement.valueSet(«variableName»,«isFilled»);'''
        }
-}
-\ No newline at end of file
+}

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend index 41eb75a8..e4e2aa30 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
@@ -1,54 +1,126 @@
1	package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns	1	package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns
2		2
3	import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
4	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
5	import org.eclipse.emf.ecore.EClass
6	import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.Modality
7	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
8	import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.TypeAnalysisResult
9	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference
10	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference	3	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference
		4	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference
11	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference	5	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference
12	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference	6	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference
13	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference	7	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference
		8	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
		9	import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
		10	import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.Modality
		11	import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.TypeAnalysisResult
		12	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
14	import java.math.BigDecimal	13	import java.math.BigDecimal
		14	import org.eclipse.emf.ecore.EClass
		15	import org.eclipse.xtend.lib.annotations.Accessors
		16	import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor
15		17
		18	@FinalFieldsConstructor
16	abstract class TypeIndexer {	19	abstract class TypeIndexer {
17	public def CharSequence getRequiredQueries()	20	@Accessors(PROTECTED_GETTER) val PatternGenerator base
18	public def boolean requiresTypeAnalysis()	21
19	public def CharSequence generateInstanceOfQueries(LogicProblem problem,PartialInterpretation emptySolution,TypeAnalysisResult typeAnalysisResult)	22	def CharSequence getRequiredQueries() '''
20	public def CharSequence referInstanceOf(Type type, Modality modality, String variableName)	23	private pattern typeInterpretation(problem:LogicProblem, interpretation:PartialInterpretation, type:TypeDeclaration, typeInterpretation:PartialComplexTypeInterpretation) {
21	public def CharSequence referInstanceOf(EClass type, Modality modality, String variableName)	24	find interpretation(problem,interpretation);
22		25	LogicProblem.types(problem,type);
23	public def dispatch CharSequence referInstanceOfByReference(ComplexTypeReference reference, Modality modality, String variableName) {	26	PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
24	reference.referred.referInstanceOf(modality,variableName)	27	PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
25	}	28	}
26	public def dispatch CharSequence referInstanceOfByReference(BoolTypeReference reference, Modality modality, String variableName) {	29
		30	private pattern directInstanceOf(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement, type:Type) {
		31	find interpretation(problem,interpretation);
		32	LogicProblem.types(problem,type);
		33	TypeDefinition.elements(type,element);
		34	} or {
		35	find interpretation(problem,interpretation);
		36	find typeInterpretation(problem,interpretation,type,typeInterpretation);
		37	PartialComplexTypeInterpretation.elements(typeInterpretation,element);
		38	}
		39
		40	private pattern isPrimitive(element: PrimitiveElement) {
		41	PrimitiveElement(element);
		42	}
		43	'''
		44
		45	def boolean requiresTypeAnalysis()
		46
		47	def CharSequence generateInstanceOfQueries(LogicProblem problem, PartialInterpretation emptySolution,
		48	TypeAnalysisResult typeAnalysisResult) '''
		49	«FOR type : problem.types»
		50	«problem.generateMustInstenceOf(type, typeAnalysisResult)»
		51	«problem.generateMayInstanceOf(type, typeAnalysisResult)»
		52	«ENDFOR»
		53	'''
		54
		55	protected def CharSequence generateMustInstenceOf(LogicProblem problem, Type type,
		56	TypeAnalysisResult typeAnalysisResult) '''
		57	/**
		58	* An element must be an instance of type "«type.name»".
		59	*/
		60	private pattern «patternName(type,Modality.MUST)»(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
		61	Type.name(type,"«type.name»");
		62	find directInstanceOf(problem,interpretation,element,type);
		63	}
		64	'''
		65
		66	protected def CharSequence generateMayInstanceOf(LogicProblem problem, Type type,
		67	TypeAnalysisResult typeAnalysisResult)
		68
		69	protected def patternName(Type type,
		70	Modality modality) '''«modality.toBase»InstanceOf«base.canonizeName(type.name)»'''
		71
		72	def referInstanceOf(Type type, Modality modality, String variableName) {
		73	'''find «patternName(type,modality)»(problem,interpretation,«variableName»);'''
		74	}
		75
		76	def referInstanceOf(EClass type, Modality modality, String variableName) {
		77	'''find «modality.toBase»InstanceOf«base.canonizeName('''«type.name» class''')»(problem,interpretation,«variableName»);'''
		78	}
		79
		80	def dispatch CharSequence referInstanceOfByReference(ComplexTypeReference reference, Modality modality,
		81	String variableName) {
		82	reference.referred.referInstanceOf(modality, variableName)
		83	}
		84
		85	def dispatch CharSequence referInstanceOfByReference(BoolTypeReference reference, Modality modality,
		86	String variableName) {
27	'''BooleanElement(«variableName»);'''	87	'''BooleanElement(«variableName»);'''
28	}	88	}
29	public def dispatch CharSequence referInstanceOfByReference(IntTypeReference reference, Modality modality, String variableName) {	89
		90	def dispatch CharSequence referInstanceOfByReference(IntTypeReference reference, Modality modality,
		91	String variableName) {
30	'''IntegerElement(«variableName»);'''	92	'''IntegerElement(«variableName»);'''
31	}	93	}
32	public def dispatch CharSequence referInstanceOfByReference(RealTypeReference reference, Modality modality, String variableName) {	94
		95	def dispatch CharSequence referInstanceOfByReference(RealTypeReference reference, Modality modality,
		96	String variableName) {
33	'''RealElement(«variableName»);'''	97	'''RealElement(«variableName»);'''
34	}	98	}
35	public def dispatch CharSequence referInstanceOfByReference(StringTypeReference reference, Modality modality, String variableName) {	99
		100	def dispatch CharSequence referInstanceOfByReference(StringTypeReference reference, Modality modality,
		101	String variableName) {
36	'''StringElement(«variableName»);'''	102	'''StringElement(«variableName»);'''
37	}	103	}
38	public def dispatch CharSequence referPrimitiveValue(String variableName, Boolean value) {	104
		105	def dispatch CharSequence referPrimitiveValue(String variableName, Boolean value) {
39	'''BooleanElement.value(«variableName»,«value»);'''	106	'''BooleanElement.value(«variableName»,«value»);'''
40	}	107	}
41	public def dispatch CharSequence referPrimitiveValue(String variableName, Integer value) {	108
		109	def dispatch CharSequence referPrimitiveValue(String variableName, Integer value) {
42	'''IntegerElement.value(«variableName»,«value»);'''	110	'''IntegerElement.value(«variableName»,«value»);'''
43	}	111	}
44	public def dispatch CharSequence referPrimitiveValue(String variableName, BigDecimal value) {	112
		113	def dispatch CharSequence referPrimitiveValue(String variableName, BigDecimal value) {
45	'''RealElement.value(«variableName»,«value»);'''	114	'''RealElement.value(«variableName»,«value»);'''
46	}	115	}
47	///TODO: de-escaping string literals	116
48	public def dispatch CharSequence referPrimitiveValue(String variableName, String value) {	117	def dispatch CharSequence referPrimitiveValue(String variableName, String value) {
		118	// /TODO: de-escaping string literals
49	'''StringElement.value(«variableName»,"«value»");'''	119	'''StringElement.value(«variableName»,"«value»");'''
50	}	120	}
51	public def CharSequence referPrimitiveFilled(String variableName, boolean isFilled) {	121
		122	def CharSequence referPrimitiveFilled(String variableName, boolean isFilled) {
52	'''PrimitiveElement.valueSet(«variableName»,«isFilled»);'''	123	'''PrimitiveElement.valueSet(«variableName»,«isFilled»);'''
53	}	124	}
54	} \ No newline at end of file	125	}
		126