diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/IdentifierBasedStateCoderFactory.xtend')
1 files changed, 9 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/IdentifierBasedStateCoderFactory.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/IdentifierBasedStateCoderFactory.xtend index c421ace6..f55a501a 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/IdentifierBasedStateCoderFactory.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/IdentifierBasedStateCoderFactory.xtend | |||
@@ -18,6 +18,8 @@ import org.eclipse.viatra.dse.statecode.IStateCoderFactory | |||
18 | import org.eclipse.viatra.query.runtime.api.IPatternMatch | 18 | import org.eclipse.viatra.query.runtime.api.IPatternMatch |
19 | import org.eclipse.xtend.lib.annotations.Accessors | 19 | import org.eclipse.xtend.lib.annotations.Accessors |
20 | import org.eclipse.xtend.lib.annotations.Data | 20 | import org.eclipse.xtend.lib.annotations.Data |
21 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation | ||
22 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation | ||
21 | 23 | ||
22 | class IdentifierBasedStateCoderFactory implements IStateCoderFactory{ | 24 | class IdentifierBasedStateCoderFactory implements IStateCoderFactory{ |
23 | 25 | ||
@@ -116,7 +118,13 @@ class IdentifierBasedStateCoder implements IStateCoder{ | |||
116 | } else if(element instanceof PartialRelationInterpretation) { | 118 | } else if(element instanceof PartialRelationInterpretation) { |
117 | return element.interpretationOf.name.hashCode | 119 | return element.interpretationOf.name.hashCode |
118 | } else if(element instanceof PartialTypeInterpratation) { | 120 | } else if(element instanceof PartialTypeInterpratation) { |
119 | return element.interpretationOf.name.hashCode | 121 | if(element instanceof PartialPrimitiveInterpretation) { |
122 | element.class.simpleName.hashCode | ||
123 | } else if (element instanceof PartialComplexTypeInterpretation){ | ||
124 | return element.interpretationOf.name.hashCode | ||
125 | } else { | ||
126 | throw new UnsupportedOperationException('''Unsupported type: «element.class.simpleName»''') | ||
127 | } | ||
120 | } else { | 128 | } else { |
121 | println(element) | 129 | println(element) |
122 | throw new UnsupportedOperationException('''Unsupported type: «element.class.simpleName»''') | 130 | throw new UnsupportedOperationException('''Unsupported type: «element.class.simpleName»''') |