Skip to content
Snippets Groups Projects
Commit 224522cb authored by Gabor Szarnyas's avatar Gabor Szarnyas
Browse files

Use primitive type for ints

parent 5b8d64b6
No related branches found
No related tags found
No related merge requests found
...@@ -36,7 +36,7 @@ abstract class TrackElement extends RailwayElement { ...@@ -36,7 +36,7 @@ abstract class TrackElement extends RailwayElement {
} }
class Segment extends TrackElement { class Segment extends TrackElement {
Integer length int length
contains Semaphore[] semaphores contains Semaphore[] semaphores
} }
......
...@@ -144,7 +144,7 @@ public final class PosLengthQuerySpecification extends BaseGeneratedEMFQuerySpec ...@@ -144,7 +144,7 @@ public final class PosLengthQuerySpecification extends BaseGeneratedEMFQuerySpec
new TypeConstraint(body, new FlatTuple(var_segment), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.semanticweb.org/ontologies/2015/trainbenchmark", "Segment"))); new TypeConstraint(body, new FlatTuple(var_segment), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.semanticweb.org/ontologies/2015/trainbenchmark", "Segment")));
PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}");
new TypeConstraint(body, new FlatTuple(var_segment, var__virtual_0_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.semanticweb.org/ontologies/2015/trainbenchmark", "Segment", "length"))); new TypeConstraint(body, new FlatTuple(var_segment, var__virtual_0_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.semanticweb.org/ontologies/2015/trainbenchmark", "Segment", "length")));
new TypeConstraint(body, new FlatTuple(var__virtual_0_), new EDataTypeInSlotsKey((EDataType)getClassifierLiteral("http://www.eclipse.org/emf/2002/Ecore", "EIntegerObject"))); new TypeConstraint(body, new FlatTuple(var__virtual_0_), new EDataTypeInSlotsKey((EDataType)getClassifierLiteral("http://www.eclipse.org/emf/2002/Ecore", "EInt")));
new Equality(body, var__virtual_0_, var_length); new Equality(body, var__virtual_0_, var_length);
// check(length <= 0) // check(length <= 0)
new ExpressionEvaluation(body, new IExpressionEvaluator() { new ExpressionEvaluation(body, new IExpressionEvaluator() {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment