Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
PLMZ
iTypes
Commits
f573137d
Commit
f573137d
authored
Sep 06, 2019
by
André Pacak
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
fixing stupid bug in infer (case Zero was not for term Zero but a name (default case))
parent
a9492c94
Changes
24
Expand all
Hide whitespace changes
Inline
Side-by-side
Showing
24 changed files
with
4552 additions
and
5205 deletions
+4552
-5205
inca-translation/.mps/workspace.xml
inca-translation/.mps/workspace.xml
+596
-1340
inca-translation/solutions/VariantTypes_Checker/classes_gen/VariantTypes_Checker/model/trace.info
...Checker/classes_gen/VariantTypes_Checker/model/trace.info
+1567
-1533
inca-translation/solutions/VariantTypes_Checker/models/model.mps
...anslation/solutions/VariantTypes_Checker/models/model.mps
+133
-134
inca-translation/solutions/VariantTypes_Checker/source_gen.caches/VariantTypes_Checker/model/dependencies
...source_gen.caches/VariantTypes_Checker/model/dependencies
+2
-3
inca-translation/solutions/VariantTypes_Checker/source_gen.caches/VariantTypes_Checker/model/generated
...er/source_gen.caches/VariantTypes_Checker/model/generated
+2
-2
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/AnalysisResultAccess.java
..._gen/VariantTypes_Checker/model/AnalysisResultAccess.java
+21
-27
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/LType.java
..._Checker/source_gen/VariantTypes_Checker/model/LType.java
+0
-7
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/LTypeVariant.java
...r/source_gen/VariantTypes_Checker/model/LTypeVariant.java
+1
-1
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/QuerySpecificationHints.java
...n/VariantTypes_Checker/model/QuerySpecificationHints.java
+15
-15
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_AllvarsQuerySpecification.java
...Types_Checker/model/Typing_AllvarsQuerySpecification.java
+132
-132
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_AsLTypeQuerySpecification.java
...Types_Checker/model/Typing_AsLTypeQuerySpecification.java
+40
-40
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_AsLTypeVariantQuerySpecification.java
...hecker/model/Typing_AsLTypeVariantQuerySpecification.java
+6
-6
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_AsLTypeVariant_WrappedQuerySpecification.java
...odel/Typing_AsLTypeVariant_WrappedQuerySpecification.java
+22
-22
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_CheckErrorQuerySpecification.java
...es_Checker/model/Typing_CheckErrorQuerySpecification.java
+16
-16
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_CheckQuerySpecification.java
...ntTypes_Checker/model/Typing_CheckQuerySpecification.java
+69
-69
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_InferQuerySpecification.java
...ntTypes_Checker/model/Typing_InferQuerySpecification.java
+6
-6
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_Infer_WrappedQuerySpecification.java
...Checker/model/Typing_Infer_WrappedQuerySpecification.java
+98
-99
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_LookupFailureQuerySpecification.java
...Checker/model/Typing_LookupFailureQuerySpecification.java
+6
-6
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_LookupQuerySpecification.java
...tTypes_Checker/model/Typing_LookupQuerySpecification.java
+46
-12
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_Lookup_0_switchCommonQuerySpecification.java
...model/Typing_Lookup_0_switchCommonQuerySpecification.java
+3
-3
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_MatchFunFailureQuerySpecification.java
...ecker/model/Typing_MatchFunFailureQuerySpecification.java
+24
-24
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_MatchVariantFailureQuerySpecification.java
...r/model/Typing_MatchVariantFailureQuerySpecification.java
+24
-24
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_RequiredQuerySpecification.java
...ypes_Checker/model/Typing_RequiredQuerySpecification.java
+156
-151
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/trace.info
..._Checker/source_gen/VariantTypes_Checker/model/trace.info
+1567
-1533
No files found.
inca-translation/.mps/workspace.xml
View file @
f573137d
This diff is collapsed.
Click to expand it.
inca-translation/solutions/VariantTypes_Checker/classes_gen/VariantTypes_Checker/model/trace.info
View file @
f573137d
This diff is collapsed.
Click to expand it.
inca-translation/solutions/VariantTypes_Checker/models/model.mps
View file @
f573137d
This diff is collapsed.
Click to expand it.
inca-translation/solutions/VariantTypes_Checker/source_gen.caches/VariantTypes_Checker/model/dependencies
View file @
f573137d
...
...
@@ -3,7 +3,7 @@
<dependency
className=
"VariantTypes_Checker.model.AnalysisResultAccess"
>
<classNode
dependClassName=
"VariantTypes_Checker.model.LType"
/>
<classNode
dependClassName=
"VariantTypes_Checker.model.LTypeVariant"
/>
<classNode
dependClassName=
"VariantTypes_Checker.model.Typing_Check
Failure
QuerySpecification"
/>
<classNode
dependClassName=
"VariantTypes_Checker.model.Typing_Check
Error
QuerySpecification"
/>
<classNode
dependClassName=
"VariantTypes_Checker.model.Typing_InferQuerySpecification"
/>
<classNode
dependClassName=
"VariantTypes_Checker.model.Typing_LookupFailureQuerySpecification"
/>
<classNode
dependClassName=
"VariantTypes_Checker.model.Typing_MatchFunFailureQuerySpecification"
/>
...
...
@@ -11,7 +11,6 @@
<classNode
dependClassName=
"io.usethesource.capsule.Map"
/>
<classNode
dependClassName=
"java.lang.Object"
/>
<classNode
dependClassName=
"java.lang.String"
/>
<classNode
dependClassName=
"java.lang.System"
/>
<classNode
dependClassName=
"java.util.Iterator"
/>
<classNode
dependClassName=
"java.util.Map"
/>
<classNode
dependClassName=
"java.util.Set"
/>
...
...
@@ -362,7 +361,7 @@
<classNode
dependClassName=
"org.inca.core.runtime.plugin.MPSQuerySpecificationHints"
/>
<classNode
extendsClassName=
"org.inca.core.runtime.plugin.MPSQuerySpecification"
/>
</dependency>
<dependency
className=
"VariantTypes_Checker.model.Typing_Check
Failure
QuerySpecification"
>
<dependency
className=
"VariantTypes_Checker.model.Typing_Check
Error
QuerySpecification"
>
<classNode
dependClassName=
"VariantTypes_Checker.model.QuerySpecificationHints"
/>
<classNode
dependClassName=
"VariantTypes_Checker.model.Typing_CheckQuerySpecification"
/>
<classNode
dependClassName=
"VariantTypes_Checker.model.Typing_RequiredQuerySpecification"
/>
...
...
inca-translation/solutions/VariantTypes_Checker/source_gen.caches/VariantTypes_Checker/model/generated
View file @
f573137d
<?xml version="1.0" encoding="UTF-8"?>
<product
version=
"3"
modelHash=
"
36ynp9923n6f0f0vkzgixqmzgdy90fh
"
>
<files
names=
"AnalysisResultAccess.java:ConstantDefinitions.java:LType.java:LTypeVariant.java:QuerySpecificationHints.java:Typing_AllvarsQuerySpecification.java:Typing_Allvars_0_switchCommonQuerySpecification.java:Typing_AsLTypeQuerySpecification.java:Typing_AsLTypeVariantQuerySpecification.java:Typing_AsLTypeVariant_0_switchCommonQuerySpecification.java:Typing_AsLTypeVariant_WrappedQuerySpecification.java:Typing_AsLType_0_switchCommonQuerySpecification.java:Typing_Check
Failure
QuerySpecification.java:Typing_CheckQuerySpecification.java:Typing_Check_0_switchCommonQuerySpecification.java:Typing_InferQuerySpecification.java:Typing_Infer_0_switchCommonQuerySpecification.java:Typing_Infer_WrappedQuerySpecification.java:Typing_LookupFailureQuerySpecification.java:Typing_LookupFailure_0_switchCommonQuerySpecification.java:Typing_LookupQuerySpecification.java:Typing_Lookup_0_switchCommonQuerySpecification.java:Typing_MatchFunFailureQuerySpecification.java:Typing_MatchFunFailure_0_switchCommonQuerySpecification.java:Typing_MatchVariantFailureQuerySpecification.java:Typing_MatchVariantFailure_0_switchCommonQuerySpecification.java:Typing_RequiredQuerySpecification.java:Typing_Required_0_switchCommonQuerySpecification.java"
/>
<product
version=
"3"
modelHash=
"
-9s0pit42rjnw8d6llqqihsfzd5dqrz
"
>
<files
names=
"AnalysisResultAccess.java:ConstantDefinitions.java:LType.java:LTypeVariant.java:QuerySpecificationHints.java:Typing_AllvarsQuerySpecification.java:Typing_Allvars_0_switchCommonQuerySpecification.java:Typing_AsLTypeQuerySpecification.java:Typing_AsLTypeVariantQuerySpecification.java:Typing_AsLTypeVariant_0_switchCommonQuerySpecification.java:Typing_AsLTypeVariant_WrappedQuerySpecification.java:Typing_AsLType_0_switchCommonQuerySpecification.java:Typing_Check
Error
QuerySpecification.java:Typing_CheckQuerySpecification.java:Typing_Check_0_switchCommonQuerySpecification.java:Typing_InferQuerySpecification.java:Typing_Infer_0_switchCommonQuerySpecification.java:Typing_Infer_WrappedQuerySpecification.java:Typing_LookupFailureQuerySpecification.java:Typing_LookupFailure_0_switchCommonQuerySpecification.java:Typing_LookupQuerySpecification.java:Typing_Lookup_0_switchCommonQuerySpecification.java:Typing_MatchFunFailureQuerySpecification.java:Typing_MatchFunFailure_0_switchCommonQuerySpecification.java:Typing_MatchVariantFailureQuerySpecification.java:Typing_MatchVariantFailure_0_switchCommonQuerySpecification.java:Typing_RequiredQuerySpecification.java:Typing_Required_0_switchCommonQuerySpecification.java"
/>
</product>
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/AnalysisResultAccess.java
View file @
f573137d
...
...
@@ -34,25 +34,19 @@ public class AnalysisResultAccess {
public
static
boolean
isChecked
(
final
SNode
term
,
final
SModel
scope
)
{
final
ViatraQueryMatcher
<
IPatternMatch
>
evaluatorInfer
=
EnginePool
.
getMatcher
(
Typing_InferQuerySpecification
.
instance
(),
AbstractScope
.
from
(
scope
),
true
,
ScatteredTimelyReteBackendFactory
.
INSTANCE
);
final
ViatraQueryMatcher
<
IPatternMatch
>
evaluatorCheck
Failure
=
EnginePool
.
getMatcher
(
Typing_Check
Failure
QuerySpecification
.
instance
(),
AbstractScope
.
from
(
scope
),
true
,
ScatteredTimelyReteBackendFactory
.
INSTANCE
);
final
ViatraQueryMatcher
<
IPatternMatch
>
evaluatorCheck
Error
=
EnginePool
.
getMatcher
(
Typing_Check
Error
QuerySpecification
.
instance
(),
AbstractScope
.
from
(
scope
),
true
,
ScatteredTimelyReteBackendFactory
.
INSTANCE
);
final
ViatraQueryMatcher
<
IPatternMatch
>
evaluatorMatchFunFailure
=
EnginePool
.
getMatcher
(
Typing_MatchFunFailureQuerySpecification
.
instance
(),
AbstractScope
.
from
(
scope
),
true
,
ScatteredTimelyReteBackendFactory
.
INSTANCE
);
final
ViatraQueryMatcher
<
IPatternMatch
>
evaluatorMatchVariantFailure
=
EnginePool
.
getMatcher
(
Typing_MatchVariantFailureQuerySpecification
.
instance
(),
AbstractScope
.
from
(
scope
),
true
,
ScatteredTimelyReteBackendFactory
.
INSTANCE
);
final
ViatraQueryMatcher
<
IPatternMatch
>
evaluatorLookupFailure
=
EnginePool
.
getMatcher
(
Typing_LookupFailureQuerySpecification
.
instance
(),
AbstractScope
.
from
(
scope
),
true
,
ScatteredTimelyReteBackendFactory
.
INSTANCE
);
final
IPatternMatch
tup
=
evaluatorInfer
.
newMatch
(
term
,
null
);
final
Set
<
LType
.
LTypeElement
>
inferValues
=
CodeGenerationHelper
.
getAllValues
(
evaluatorInfer
,
"out_1"
,
tup
);
boolean
checkFailure
=
CollectionSequence
.
fromCollection
(
evaluatorCheckFailure
.
getAllMatches
()).
isNotEmpty
();
System
.
out
.
println
(
"CHECK FAIL "
+
evaluatorCheckFailure
.
getAllMatches
());
boolean
matchFunFailure
=
CollectionSequence
.
fromCollection
(
evaluatorMatchFunFailure
.
getAllMatches
()).
isNotEmpty
();
System
.
out
.
println
(
"MATCHFUN FAIL "
+
evaluatorMatchFunFailure
.
getAllMatches
());
boolean
checkError
=
CollectionSequence
.
fromCollection
(
evaluatorCheckError
.
getAllMatches
()).
isNotEmpty
();
boolean
matchFunFailure
=
CollectionSequence
.
fromCollection
(
evaluatorMatchFunFailure
.
getAllMatches
()).
isNotEmpty
();
boolean
matchVariantFailure
=
CollectionSequence
.
fromCollection
(
evaluatorMatchVariantFailure
.
getAllMatches
()).
isNotEmpty
();
System
.
out
.
println
(
"MATCHVARIANT FAIL "
+
evaluatorMatchVariantFailure
.
getAllMatches
());
boolean
lookupFailure
=
CollectionSequence
.
fromCollection
(
evaluatorLookupFailure
.
getAllMatches
()).
isNotEmpty
();
System
.
out
.
println
(
"LOOKUP FAIL "
+
evaluatorLookupFailure
.
getAllMatches
());
if
(
check
Failure
||
matchFunFailure
||
matchVariantFailure
||
lookupFailure
)
{
if
(
check
Error
||
matchFunFailure
||
matchVariantFailure
||
lookupFailure
)
{
return
false
;
}
...
...
@@ -63,18 +57,18 @@ public class AnalysisResultAccess {
boolean
isBotAvailable
=
SetSequence
.
fromSet
(
inferValues
).
any
(
new
IWhereFilter
<
LType
.
LTypeElement
>()
{
public
boolean
accept
(
LType
.
LTypeElement
it
)
{
{
final
Object
[]
values_a0a0a0
z
0d
=
{
it
};
final
Object
[]
values_a0a0a0
t
0d
=
{
it
};
// declare the local variables for the case matchers
Map
<
String
,
Object
>
case_0_a0a0a0a
52
a3
;
Map
<
String
,
Object
>
case_1_b0a0a0a
52
a3
;
Map
<
String
,
Object
>
case_0_a0a0a0a
91
a3
;
Map
<
String
,
Object
>
case_1_b0a0a0a
91
a3
;
if
((
case_0_a0a0a0a
52
a3
=
new
SequenceMatcher
(
matcher_a0a0a0a0
z
0d
).
match
(
values_a0a0a0
z
0d
))
!=
null
)
{
if
((
case_0_a0a0a0a
91
a3
=
new
SequenceMatcher
(
matcher_a0a0a0a0
t
0d
).
match
(
values_a0a0a0
t
0d
))
!=
null
)
{
return
true
;
}
else
if
((
case_1_b0a0a0a
52
a3
=
new
SequenceMatcher
(
WildCardMatcher
.
INSTANCE
).
match
(
values_a0a0a0
z
0d
))
!=
null
)
{
}
else
if
((
case_1_b0a0a0a
91
a3
=
new
SequenceMatcher
(
WildCardMatcher
.
INSTANCE
).
match
(
values_a0a0a0
t
0d
))
!=
null
)
{
return
false
;
}
else
{
throw
new
PatternMatcherException
(
values_a0a0a0
z
0d
);
throw
new
PatternMatcherException
(
values_a0a0a0
t
0d
);
}
}
}
...
...
@@ -87,21 +81,21 @@ public class AnalysisResultAccess {
final
LType
.
LTypeElement
nonBotAnyValue
=
SetSequence
.
fromSet
(
inferValues
).
findFirst
(
new
IWhereFilter
<
LType
.
LTypeElement
>()
{
public
boolean
accept
(
LType
.
LTypeElement
it
)
{
{
final
Object
[]
values_a0a0a0
db
0d
=
{
it
};
final
Object
[]
values_a0a0a0
x
0d
=
{
it
};
// declare the local variables for the case matchers
Map
<
String
,
Object
>
case_0_a0a0a0a
9
2a3
;
Map
<
String
,
Object
>
case_1_b0a0a0a
9
2a3
;
Map
<
String
,
Object
>
case_2_c0a0a0a
9
2a3
;
Map
<
String
,
Object
>
case_0_a0a0a0a
3
2a3
;
Map
<
String
,
Object
>
case_1_b0a0a0a
3
2a3
;
Map
<
String
,
Object
>
case_2_c0a0a0a
3
2a3
;
if
((
case_0_a0a0a0a
9
2a3
=
new
SequenceMatcher
(
matcher_a0a0a0a0
db
0d
).
match
(
values_a0a0a0
db
0d
))
!=
null
)
{
if
((
case_0_a0a0a0a
3
2a3
=
new
SequenceMatcher
(
matcher_a0a0a0a0
x
0d
).
match
(
values_a0a0a0
x
0d
))
!=
null
)
{
return
false
;
}
else
if
((
case_1_b0a0a0a
9
2a3
=
new
SequenceMatcher
(
matcher_a1a0a0a0
db
0d
).
match
(
values_a0a0a0
db
0d
))
!=
null
)
{
}
else
if
((
case_1_b0a0a0a
3
2a3
=
new
SequenceMatcher
(
matcher_a1a0a0a0
x
0d
).
match
(
values_a0a0a0
x
0d
))
!=
null
)
{
return
false
;
}
else
if
((
case_2_c0a0a0a
9
2a3
=
new
SequenceMatcher
(
WildCardMatcher
.
INSTANCE
).
match
(
values_a0a0a0
db
0d
))
!=
null
)
{
}
else
if
((
case_2_c0a0a0a
3
2a3
=
new
SequenceMatcher
(
WildCardMatcher
.
INSTANCE
).
match
(
values_a0a0a0
x
0d
))
!=
null
)
{
return
true
;
}
else
{
throw
new
PatternMatcherException
(
values_a0a0a0
db
0d
);
throw
new
PatternMatcherException
(
values_a0a0a0
x
0d
);
}
}
}
...
...
@@ -195,9 +189,9 @@ public class AnalysisResultAccess {
}
}
private
static
final
IDataMatcher
matcher_a0a0a0a0
z
0d
=
new
CompositeMatcher
(
LType
.
Bot
.
class
);
private
static
final
IDataMatcher
matcher_a0a0a0a0
db
0d
=
new
CompositeMatcher
(
LType
.
Bot
.
class
);
private
static
final
IDataMatcher
matcher_a1a0a0a0
db
0d
=
new
CompositeMatcher
(
LType
.
Any
.
class
);
private
static
final
IDataMatcher
matcher_a0a0a0a0
t
0d
=
new
CompositeMatcher
(
LType
.
Bot
.
class
);
private
static
final
IDataMatcher
matcher_a0a0a0a0
x
0d
=
new
CompositeMatcher
(
LType
.
Bot
.
class
);
private
static
final
IDataMatcher
matcher_a1a0a0a0
x
0d
=
new
CompositeMatcher
(
LType
.
Any
.
class
);
private
static
final
IDataMatcher
matcher_a0a0f
=
new
CompositeMatcher
(
LType
.
Nat
.
class
);
private
static
final
IDataMatcher
matcher_a1a0f
=
new
CompositeMatcher
(
LType
.
Fun
.
class
);
private
static
final
IDataMatcher
matcher_a2a0f
=
new
CompositeMatcher
(
LType
.
Variant
.
class
,
new
SimpleMatcher
(
"ltypev"
));
...
...
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/LType.java
View file @
f573137d
...
...
@@ -445,7 +445,6 @@ public class LType implements ILatticeOperationProvider<LType.LTypeElement>, IPo
Map
<
String
,
Object
>
case_4_e0a6
;
Map
<
String
,
Object
>
case_5_f0a6
;
Map
<
String
,
Object
>
case_6_g0a6
;
Map
<
String
,
Object
>
case_7_h0a6
;
if
((
case_0_a0a6
=
new
SequenceMatcher
(
matcher_a0a0g
,
WildCardMatcher
.
INSTANCE
).
match
(
values_a0g
))
!=
null
)
{
return
r
;
...
...
@@ -467,10 +466,6 @@ public class LType implements ILatticeOperationProvider<LType.LTypeElement>, IPo
LTypeVariant
.
LTypeVariantElement
rty_a1g0a6
=
(
LTypeVariant
.
LTypeVariantElement
)
case_6_g0a6
.
get
(
"rty"
);
LTypeVariant
.
LTypeVariantElement
lty_a0g0a6
=
(
LTypeVariant
.
LTypeVariantElement
)
case_6_g0a6
.
get
(
"lty"
);
return
LType
.
Variant
.
create
(
LTypeVariant
.
instance
().
lub
(
lty_a0g0a6
,
rty_a1g0a6
));
}
else
if
((
case_7_h0a6
=
new
SequenceMatcher
(
matcher_a7a0g
,
matcher_b7a0g
).
match
(
values_a0g
))
!=
null
)
{
LTypeVariant
.
LTypeVariantElement
elem2_a1h0a6
=
(
LTypeVariant
.
LTypeVariantElement
)
case_7_h0a6
.
get
(
"elem2"
);
LTypeVariant
.
LTypeVariantElement
elem1_a0h0a6
=
(
LTypeVariant
.
LTypeVariantElement
)
case_7_h0a6
.
get
(
"elem1"
);
return
LType
.
Bot
.
create
();
}
else
{
throw
new
PatternMatcherException
(
values_a0g
);
}
...
...
@@ -712,8 +707,6 @@ public class LType implements ILatticeOperationProvider<LType.LTypeElement>, IPo
private
static
final
IDataMatcher
matcher_b5a0g
=
new
CompositeMatcher
(
LType
.
Fun
.
class
,
new
SimpleMatcher
(
"r1"
),
new
SimpleMatcher
(
"r2"
));
private
static
final
IDataMatcher
matcher_a6a0g
=
new
CompositeMatcher
(
LType
.
Variant
.
class
,
new
SimpleMatcher
(
"lty"
));
private
static
final
IDataMatcher
matcher_b6a0g
=
new
CompositeMatcher
(
LType
.
Variant
.
class
,
new
SimpleMatcher
(
"rty"
));
private
static
final
IDataMatcher
matcher_a7a0g
=
new
CompositeMatcher
(
LType
.
Variant
.
class
,
new
SimpleMatcher
(
"elem1"
));
private
static
final
IDataMatcher
matcher_b7a0g
=
new
CompositeMatcher
(
LType
.
Variant
.
class
,
new
SimpleMatcher
(
"elem2"
));
private
static
final
IDataMatcher
matcher_a0a0i
=
new
CompositeMatcher
(
LType
.
Any
.
class
);
private
static
final
IDataMatcher
matcher_b1a0i
=
new
CompositeMatcher
(
LType
.
Any
.
class
);
private
static
final
IDataMatcher
matcher_a2a0i
=
new
CompositeMatcher
(
LType
.
Bot
.
class
);
...
...
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/LTypeVariant.java
View file @
f573137d
...
...
@@ -298,7 +298,7 @@ public class LTypeVariant implements ILatticeOperationProvider<LTypeVariant.LTyp
Map
.
Immutable
<
String
,
LType
.
LTypeElement
>
map2_a1c0a41
=
(
Map
.
Immutable
<
String
,
LType
.
LTypeElement
>)
case_2_c0a41_0
.
get
(
"map2"
);
Map
.
Immutable
<
String
,
LType
.
LTypeElement
>
map1_a0c0a41
=
(
Map
.
Immutable
<
String
,
LType
.
LTypeElement
>)
case_2_c0a41_0
.
get
(
"map1"
);
Iterator
<
java
.
util
.
Map
.
Entry
<
String
,
LType
.
LTypeElement
>>
it
=
map1_a0c0a41
.
entryIterator
();
Map
.
Immutable
<
String
,
LType
.
LTypeElement
>
result
=
M
ap
.
Immutable
.
of
(
);
Map
.
Immutable
<
String
,
LType
.
LTypeElement
>
result
=
m
ap
1_a0c0a41
.
__putAll
(
map2_a1c0a41
);
while
(
it
.
hasNext
())
{
java
.
util
.
Map
.
Entry
<
String
,
LType
.
LTypeElement
>
entry
=
it
.
next
();
LType
.
LTypeElement
found
=
map2_a1c0a41
.
get
(
entry
.
getKey
());
...
...
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/QuerySpecificationHints.java
View file @
f573137d
...
...
@@ -29,36 +29,36 @@ public final class QuerySpecificationHints extends MPSQuerySpecificationHints {
this
.
concepts
.
add
(
MetaAdapterFactory
.
getConcept
(
0xceab519525ea4f22
L
,
0x9b92103b95ca8c0c
L
,
0x10802efe25a
L
,
"jetbrains.mps.lang.core.structure.BaseConcept"
));
this
.
dataTypes
=
new
HashSet
<
SDataType
>();
this
.
dataTypes
.
add
(
UniqueDataType
.
from
(
"jetbrains.mps.lang.core.structure.string"
));
this
.
dataTypes
.
add
(
UniqueDataType
.
from
(
"jetbrains.mps.lang.core.structure.integer"
));
this
.
dataTypes
.
add
(
UniqueDataType
.
from
(
"jetbrains.mps.lang.core.structure.string"
));
this
.
conceptFeatures
=
new
HashSet
<
SConceptFeature
>();
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getProperty
(
0xceab519525ea4f22
L
,
0x9b92103b95ca8c0c
L
,
0x110396eaaa4
L
,
0x110396ec041
L
,
"name"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getProperty
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x9229981a3b8f721
L
,
0x9229981a3b8f726
L
,
"label"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getProperty
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x9229981a3b8f721
L
,
0x9229981a3b8f72a
L
,
"name"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getReferenceLink
(
0xb802a05692a24fbc
L
,
0x902ef8e5004c331f
L
,
0x7980b687ac7456fe
L
,
0x7980b687ac7456ff
L
,
"parent"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x9229981a3b8f61c
L
,
0x9229981a3b8f62f
L
,
"cases"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb92d7
L
,
0x1a4a252762eb92dc
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1fd8e2cf9df802c6
L
,
0x1fd8e2cf9df802cb
L
,
"elems"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9390
L
,
0x1a4a252762eb9395
L
,
"ty1"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x9229981a3b8f573
L
,
0x9229981a3b8f58b
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1fd8e2cf9df802cf
L
,
0x1fd8e2cf9df802d4
L
,
"ty"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9302
L
,
0x1a4a252762eb9307
L
,
"t1"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb936b
L
,
0x1a4a252762eb9378
L
,
"t2"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9302
L
,
0x1a4a252762eb930b
L
,
"t2"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x9229981a3b8f573
L
,
0x9229981a3b8f58b
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb93fa
L
,
0x1a4a252762eb93ff
L
,
"ty"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb92d7
L
,
0x1a4a252762eb92dc
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getReferenceLink
(
0xb802a05692a24fbc
L
,
0x902ef8e5004c331f
L
,
0x7980b687ac7456fe
L
,
0x7980b687ac7456ff
L
,
"parent"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9312
L
,
0x1a4a252762eb9317
L
,
"t1"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9312
L
,
0x1a4a252762eb931b
L
,
"t2"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb937f
L
,
0x1a4a252762eb93d5
L
,
"ty"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9390
L
,
0x1a4a252762eb9395
L
,
"ty1"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb93f1
L
,
0x1a4a252762eb93f6
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb933a
L
,
0x1a4a252762eb934e
L
,
"bound"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9312
L
,
0x1a4a252762eb9317
L
,
"t1"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x9229981a3b8f61c
L
,
0x9229981a3b8f621
L
,
"matchee"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb937f
L
,
0x1a4a252762eb9384
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9322
L
,
0x1a4a252762eb9336
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb933a
L
,
0x1a4a252762eb9352
L
,
"body"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1fd8e2cf9df802cf
L
,
0x1fd8e2cf9df802d4
L
,
"ty"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x9229981a3b8f61c
L
,
0x9229981a3b8f621
L
,
"matchee"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb936b
L
,
0x1a4a252762eb9374
L
,
"t1"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x9229981a3b8f721
L
,
0x9229981a3b8f731
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb936b
L
,
0x1a4a252762eb9378
L
,
"t2"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb93f1
L
,
0x1a4a252762eb93f6
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb937f
L
,
0x1a4a252762eb9384
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9390
L
,
0x1a4a252762eb9399
L
,
"ty2"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9302
L
,
0x1a4a252762eb9307
L
,
"t1"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x9229981a3b8f721
L
,
0x9229981a3b8f731
L
,
"t"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb937f
L
,
0x1a4a252762eb93d5
L
,
"ty"
));
this
.
conceptFeatures
.
add
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9322
L
,
0x1a4a252762eb9336
L
,
"t"
));
this
.
languages
=
new
HashSet
<
SLanguage
>();
this
.
languages
.
add
(
MetaAdapterFactory
.
getLanguage
(
0xb802a05692a24fbc
L
,
0x902ef8e5004c331f
L
,
"ceab5195-25ea-4f22-9b92-103b95ca8c0c"
));
...
...
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_AllvarsQuerySpecification.java
View file @
f573137d
This diff is collapsed.
Click to expand it.
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_AsLTypeQuerySpecification.java
View file @
f573137d
...
...
@@ -91,9 +91,9 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
exportedParameters
.
add
(
new
ExportedParameter
(
body
,
var_out_1
,
p_out_1
));
body
.
setSymbolicParameters
(
exportedParameters
);
PVariable
var__
3402207517372677383
=
body
.
newVirtualVariable
();
PVariable
var__
4863849988524114095
=
body
.
newVirtualVariable
();
PVariable
var__match_a0a0s
=
body
.
getOrCreateVariableByName
(
"match_a0a0s"
);
PVariable
var__tmp_25
5
=
body
.
getOrCreateVariableByName
(
"tmp_25
5
"
);
PVariable
var__tmp_25
9
=
body
.
getOrCreateVariableByName
(
"tmp_25
9
"
);
new
TypeConstraint
(
body
,
Tuples
.
flatTupleOf
(
var_ty
),
new
ConceptKey
(
MetaAdapterFactory
.
getInterfaceConcept
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb938f
L
,
"VariantTypes.structure.Type"
)));
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(),
Typing_AsLType_0_switchCommonQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
...
...
@@ -103,7 +103,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
@Override
public
String
getShortDescription
()
{
return
"
3402207517372677383
"
;
return
"
4863849988524114095
"
;
}
@Override
...
...
@@ -116,9 +116,9 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return
LType
.
Nat
.
create
();
}
},
var__
3402207517372677383
,
false
);
new
Equality
(
body
,
var__tmp_25
5
,
var__
3402207517372677383
);
new
Equality
(
body
,
var__tmp_25
5
,
var_out_1
);
},
var__
4863849988524114095
,
false
);
new
Equality
(
body
,
var__tmp_25
9
,
var__
4863849988524114095
);
new
Equality
(
body
,
var__tmp_25
9
,
var_out_1
);
SetSequence
.
fromSet
(
bodies
).
addElement
(
body
);
}
...
...
@@ -133,38 +133,38 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
body
.
setSymbolicParameters
(
exportedParameters
);
PVariable
var__tmp_260
=
body
.
getOrCreateVariableByName
(
"tmp_260"
);
PVariable
var__tmp_261
=
body
.
getOrCreateVariableByName
(
"tmp_261"
);
PVariable
var__tmp_262
=
body
.
getOrCreateVariableByName
(
"tmp_262"
);
PVariable
var__lty2
=
body
.
getOrCreateVariableByName
(
"lty2"
);
PVariable
var__3402207517372677442
=
body
.
newVirtualVariable
();
PVariable
var__lty1
=
body
.
getOrCreateVariableByName
(
"lty1"
);
PVariable
var__ty2
=
body
.
getOrCreateVariableByName
(
"ty2"
);
PVariable
var__ty1
=
body
.
getOrCreateVariableByName
(
"ty1"
);
PVariable
var__match_b0b0a81
=
body
.
getOrCreateVariableByName
(
"match_b0b0a81"
);
PVariable
var__4863849988524114154
=
body
.
newVirtualVariable
();
PVariable
var__match_a0b0a81
=
body
.
getOrCreateVariableByName
(
"match_a0b0a81"
);
PVariable
var__tmp_256
=
body
.
getOrCreateVariableByName
(
"tmp_256"
);
PVariable
var__tmp_257
=
body
.
getOrCreateVariableByName
(
"tmp_257"
);
PVariable
var__tmp_258
=
body
.
getOrCreateVariableByName
(
"tmp_258"
);
PVariable
var__tmp_259
=
body
.
getOrCreateVariableByName
(
"tmp_259"
);
PVariable
var__tmp_263
=
body
.
getOrCreateVariableByName
(
"tmp_263"
);
PVariable
var__tmp_264
=
body
.
getOrCreateVariableByName
(
"tmp_264"
);
PVariable
var__match_a1a0s
=
body
.
getOrCreateVariableByName
(
"match_a1a0s"
);
new
TypeConstraint
(
body
,
Tuples
.
flatTupleOf
(
var_ty
),
new
ConceptKey
(
MetaAdapterFactory
.
getInterfaceConcept
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb938f
L
,
"VariantTypes.structure.Type"
)));
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(),
Typing_AsLType_0_switchCommonQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__match_a1a0s
,
var_ty
);
new
TypeConstraint
(
body
,
Tuples
.
flatTupleOf
(
var__match_a1a0s
),
new
ConceptKey
(
MetaAdapterFactory
.
getConcept
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9390
L
,
"VariantTypes.structure.Fun"
)));
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var__match_a1a0s
,
var__tmp_2
5
6
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9390
L
,
0x1a4a252762eb9395
L
,
"ty1"
)));
new
Equality
(
body
,
var__match_a0b0a81
,
var__tmp_2
5
6
);
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var__match_a1a0s
,
var__tmp_26
0
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9390
L
,
0x1a4a252762eb9395
L
,
"ty1"
)));
new
Equality
(
body
,
var__match_a0b0a81
,
var__tmp_26
0
);
new
Equality
(
body
,
var__ty1
,
var__match_a0b0a81
);
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var__match_a1a0s
,
var__tmp_2
57
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9390
L
,
0x1a4a252762eb9399
L
,
"ty2"
)));
new
Equality
(
body
,
var__match_b0b0a81
,
var__tmp_2
57
);
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var__match_a1a0s
,
var__tmp_2
61
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb9390
L
,
0x1a4a252762eb9399
L
,
"ty2"
)));
new
Equality
(
body
,
var__match_b0b0a81
,
var__tmp_2
61
);
new
Equality
(
body
,
var__ty2
,
var__match_b0b0a81
);
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var__ty1
,
var__tmp_2
58
),
Typing_AsLTypeQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__lty1
,
var__tmp_2
58
);
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var__ty2
,
var__tmp_2
59
),
Typing_AsLTypeQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__lty2
,
var__tmp_2
59
);
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var__ty1
,
var__tmp_2
62
),
Typing_AsLTypeQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__lty1
,
var__tmp_2
62
);
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var__ty2
,
var__tmp_2
63
),
Typing_AsLTypeQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__lty2
,
var__tmp_2
63
);
new
ExpressionEvaluation
(
body
,
new
IExpressionEvaluator
()
{
@Override
public
String
getShortDescription
()
{
return
"
3402207517372677442
"
;
return
"
4863849988524114154
"
;
}
@Override
...
...
@@ -177,9 +177,9 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return
LType
.
Fun
.
create
(((
LType
.
LTypeElement
)
valueProvider
.
getValue
(
"lty1"
)),
((
LType
.
LTypeElement
)
valueProvider
.
getValue
(
"lty2"
)));
}
},
var__
3402207517372677442
,
false
);
new
Equality
(
body
,
var__tmp_26
0
,
var__
3402207517372677442
);
new
Equality
(
body
,
var__tmp_26
0
,
var_out_1
);
},
var__
4863849988524114154
,
false
);
new
Equality
(
body
,
var__tmp_26
4
,
var__
4863849988524114154
);
new
Equality
(
body
,
var__tmp_26
4
,
var_out_1
);
SetSequence
.
fromSet
(
bodies
).
addElement
(
body
);
}
...
...
@@ -193,25 +193,25 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
exportedParameters
.
add
(
new
ExportedParameter
(
body
,
var_out_1
,
p_out_1
));
body
.
setSymbolicParameters
(
exportedParameters
);
PVariable
var__tmp_261
=
body
.
getOrCreateVariableByName
(
"tmp_261"
);
PVariable
var__vty
=
body
.
getOrCreateVariableByName
(
"vty"
);
PVariable
var__tmp_262
=
body
.
getOrCreateVariableByName
(
"tmp_262"
);
PVariable
var__3402207517372677476
=
body
.
newVirtualVariable
();
PVariable
var__4863849988524114188
=
body
.
newVirtualVariable
();
PVariable
var__lty
=
body
.
getOrCreateVariableByName
(
"lty"
);
PVariable
var__tmp_265
=
body
.
getOrCreateVariableByName
(
"tmp_265"
);
PVariable
var__match_a2a0s
=
body
.
getOrCreateVariableByName
(
"match_a2a0s"
);
PVariable
var__tmp_266
=
body
.
getOrCreateVariableByName
(
"tmp_266"
);
new
TypeConstraint
(
body
,
Tuples
.
flatTupleOf
(
var_ty
),
new
ConceptKey
(
MetaAdapterFactory
.
getInterfaceConcept
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb938f
L
,
"VariantTypes.structure.Type"
)));
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(),
Typing_AsLType_0_switchCommonQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__match_a2a0s
,
var_ty
);
new
TypeConstraint
(
body
,
Tuples
.
flatTupleOf
(
var__match_a2a0s
),
new
ConceptKey
(
MetaAdapterFactory
.
getConcept
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1fd8e2cf9df802c6
L
,
"VariantTypes.structure.VariantType"
)));
new
Equality
(
body
,
var__vty
,
var__match_a2a0s
);
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var__vty
,
var__tmp_26
1
),
Typing_AsLTypeVariantQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__lty
,
var__tmp_26
1
);
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var__vty
,
var__tmp_26
5
),
Typing_AsLTypeVariantQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__lty
,
var__tmp_26
5
);
new
ExpressionEvaluation
(
body
,
new
IExpressionEvaluator
()
{
@Override
public
String
getShortDescription
()
{
return
"
3402207517372677476
"
;
return
"
4863849988524114188
"
;
}
@Override
...
...
@@ -224,9 +224,9 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return
LType
.
Variant
.
create
(((
LTypeVariant
.
LTypeVariantElement
)
valueProvider
.
getValue
(
"lty"
)));
}
},
var__
3402207517372677476
,
false
);
new
Equality
(
body
,
var__tmp_26
2
,
var__
3402207517372677476
);
new
Equality
(
body
,
var__tmp_26
2
,
var_out_1
);
},
var__
4863849988524114188
,
false
);
new
Equality
(
body
,
var__tmp_26
6
,
var__
4863849988524114188
);
new
Equality
(
body
,
var__tmp_26
6
,
var_out_1
);
SetSequence
.
fromSet
(
bodies
).
addElement
(
body
);
}
...
...
@@ -240,21 +240,21 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
exportedParameters
.
add
(
new
ExportedParameter
(
body
,
var_out_1
,
p_out_1
));
body
.
setSymbolicParameters
(
exportedParameters
);
PVariable
var__ty1
=
body
.
getOrCreateVariableByName
(
"ty1"
);
PVariable
var__type
=
body
.
getOrCreateVariableByName
(
"type"
);
PVariable
var__tmp_267
=
body
.
getOrCreateVariableByName
(
"tmp_267"
);
PVariable
var__tmp_268
=
body
.
getOrCreateVariableByName
(
"tmp_268"
);
PVariable
var__match_a0d0a81
=
body
.
getOrCreateVariableByName
(
"match_a0d0a81"
);
PVariable
var__match_a3a0s
=
body
.
getOrCreateVariableByName
(
"match_a3a0s"
);
PVariable
var__tmp_263
=
body
.
getOrCreateVariableByName
(
"tmp_263"
);
PVariable
var__tmp_264
=
body
.
getOrCreateVariableByName
(
"tmp_264"
);
new
TypeConstraint
(
body
,
Tuples
.
flatTupleOf
(
var_ty
),
new
ConceptKey
(
MetaAdapterFactory
.
getInterfaceConcept
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb938f
L
,
"VariantTypes.structure.Type"
)));
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(),
Typing_AsLType_0_switchCommonQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__match_a3a0s
,
var_ty
);
new
TypeConstraint
(
body
,
Tuples
.
flatTupleOf
(
var__match_a3a0s
),
new
ConceptKey
(
MetaAdapterFactory
.
getConcept
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb93fa
L
,
"VariantTypes.structure.ParensType"
)));
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var__match_a3a0s
,
var__tmp_26
3
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb93fa
L
,
0x1a4a252762eb93ff
L
,
"ty"
)));
new
Equality
(
body
,
var__match_a0d0a81
,
var__tmp_26
3
);
new
Equality
(
body
,
var__ty
1
,
var__match_a0d0a81
);
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var__ty
1
,
var__tmp_26
4
),
Typing_AsLTypeQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__tmp_26
4
,
var_out_1
);
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var__match_a3a0s
,
var__tmp_26
7
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1a4a252762eb93fa
L
,
0x1a4a252762eb93ff
L
,
"ty"
)));
new
Equality
(
body
,
var__match_a0d0a81
,
var__tmp_26
7
);
new
Equality
(
body
,
var__ty
pe
,
var__match_a0d0a81
);
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var__ty
pe
,
var__tmp_26
8
),
Typing_AsLTypeQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__tmp_26
8
,
var_out_1
);
SetSequence
.
fromSet
(
bodies
).
addElement
(
body
);
}
...
...
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_AsLTypeVariantQuerySpecification.java
View file @
f573137d
...
...
@@ -89,14 +89,14 @@ public final class Typing_AsLTypeVariantQuerySpecification extends MPSQuerySpeci
exportedParameters
.
add
(
new
ExportedParameter
(
body
,
var_out_1
,
p_out_1
));
body
.
setSymbolicParameters
(
exportedParameters
);
PVariable
var__
3402207517372652231
=
body
.
getOrCreateVariableByName
(
"
3402207517372652231
"
);
PVariable
var__
3402207517372652
23
4
=
body
.
getOrCreateVariableByName
(
"
3402207517372652
23
4
"
);
PVariable
var__
3402207517372652239
=
body
.
newVirtualVariable
();
PVariable
var__
4863849988524089426
=
body
.
getOrCreateVariableByName
(
"
4863849988524089426
"
);
PVariable
var__
48638499885240894
23
=
body
.
getOrCreateVariableByName
(
"
48638499885240894
23"
);
PVariable
var__
4863849988524089431
=
body
.
newVirtualVariable
();
new
TypeConstraint
(
body
,
Tuples
.
flatTupleOf
(
var_type
),
new
ConceptKey
(
MetaAdapterFactory
.
getConcept
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1fd8e2cf9df802c6
L
,
"VariantTypes.structure.VariantType"
)));
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var_type
,
var__
3402207517372652
23
1
),
Typing_AsLTypeVariant_WrappedQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
AggregatorConstraint
(
new
BoundAggregator
(
LTypeVariant
.
instance
().
aggregator_lub
,
LTypeVariant
.
LTypeVariantElement
.
class
,
LTypeVariant
.
LTypeVariantElement
.
class
),
body
,
Tuples
.
flatTupleOf
(
var_type
,
var__
3402207517372652234
),
Typing_AsLTypeVariant_WrappedQuerySpecification
.
instance
().
getInternalQueryRepresentation
(),
var__
3402207517372652239
,
1
);
new
Equality
(
body
,
var_out_1
,
var__
3402207517372652239
);
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var_type
,
var__
48638499885240894
23
),
Typing_AsLTypeVariant_WrappedQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
AggregatorConstraint
(
new
BoundAggregator
(
LTypeVariant
.
instance
().
aggregator_lub
,
LTypeVariant
.
LTypeVariantElement
.
class
,
LTypeVariant
.
LTypeVariantElement
.
class
),
body
,
Tuples
.
flatTupleOf
(
var_type
,
var__
4863849988524089426
),
Typing_AsLTypeVariant_WrappedQuerySpecification
.
instance
().
getInternalQueryRepresentation
(),
var__
4863849988524089431
,
1
);
new
Equality
(
body
,
var_out_1
,
var__
4863849988524089431
);
SetSequence
.
fromSet
(
bodies
).
addElement
(
body
);
}
...
...
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_AsLTypeVariant_WrappedQuerySpecification.java
View file @
f573137d
...
...
@@ -92,30 +92,30 @@ public final class Typing_AsLTypeVariant_WrappedQuerySpecification extends MPSQu
exportedParameters
.
add
(
new
ExportedParameter
(
body
,
var_out_1
,
p_out_1
));
body
.
setSymbolicParameters
(
exportedParameters
);
PVariable
var__tmp_270
=
body
.
getOrCreateVariableByName
(
"tmp_270"
);
PVariable
var__tmp_271
=
body
.
getOrCreateVariableByName
(
"tmp_271"
);
PVariable
var__tmp_272
=
body
.
getOrCreateVariableByName
(
"tmp_272"
);
PVariable
var__tmp_273
=
body
.
getOrCreateVariableByName
(
"tmp_273"
);
PVariable
var__ty
=
body
.
getOrCreateVariableByName
(
"ty"
);
PVariable
var__tmp_267
=
body
.
getOrCreateVariableByName
(
"tmp_267"
);
PVariable
var__tmp_268
=
body
.
getOrCreateVariableByName
(
"tmp_268"
);
PVariable
var__4863849988524114261
=
body
.
newVirtualVariable
();
PVariable
var__tmp_269
=
body
.
getOrCreateVariableByName
(
"tmp_269"
);
PVariable
var__elem
=
body
.
getOrCreateVariableByName
(
"elem"
);
PVariable
var__l
=
body
.
getOrCreateVariableByName
(
"l"
);
PVariable
var__tmp_265
=
body
.
getOrCreateVariableByName
(
"tmp_265"
);
PVariable
var__3402207517372677549
=
body
.
newVirtualVariable
();
PVariable
var__tmp_266
=
body
.
getOrCreateVariableByName
(
"tmp_266"
);
new
TypeConstraint
(
body
,
Tuples
.
flatTupleOf
(
var_type
),
new
ConceptKey
(
MetaAdapterFactory
.
getConcept
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1fd8e2cf9df802c6
L
,
"VariantTypes.structure.VariantType"
)));
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(),
Typing_AsLTypeVariant_0_switchCommonQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var_type
,
var__tmp_26
5
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1fd8e2cf9df802c6
L
,
0x1fd8e2cf9df802cb
L
,
"elems"
)));
new
Equality
(
body
,
var__elem
,
var__tmp_26
5
);
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var__elem
,
var__tmp_2
66
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getProperty
(
0xceab519525ea4f22
L
,
0x9b92103b95ca8c0c
L
,
0x110396eaaa4
L
,
0x110396ec041
L
,
"name"
)));
new
Equality
(
body
,
var__l
,
var__tmp_2
66
);
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var__elem
,
var__tmp_2
6
7
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1fd8e2cf9df802cf
L
,
0x1fd8e2cf9df802d4
L
,
"ty"
)));
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var__tmp_2
6
7
,
var__tmp_2
68
),
Typing_AsLTypeQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__ty
,
var__tmp_2
68
);
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var_type
,
var__tmp_26
9
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1fd8e2cf9df802c6
L
,
0x1fd8e2cf9df802cb
L
,
"elems"
)));
new
Equality
(
body
,
var__elem
,
var__tmp_26
9
);
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var__elem
,
var__tmp_2
70
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getProperty
(
0xceab519525ea4f22
L
,
0x9b92103b95ca8c0c
L
,
0x110396eaaa4
L
,
0x110396ec041
L
,
"name"
)));
new
Equality
(
body
,
var__l
,
var__tmp_2
70
);
new
TypeConstraint
(
body
,
Tuples
.
staticArityFlatTupleOf
(
var__elem
,
var__tmp_27
1
),
new
ConceptFeatureKey
(
MetaAdapterFactory
.
getContainmentLink
(
0x3ace5b6c22d54933
L
,
0x9217595f2ebf8d6a
L
,
0x1fd8e2cf9df802cf
L
,
0x1fd8e2cf9df802d4
L
,
"ty"
)));
new
PositivePatternCall
(
body
,
Tuples
.
flatTupleOf
(
var__tmp_27
1
,
var__tmp_2
72
),
Typing_AsLTypeQuerySpecification
.
instance
().
getInternalQueryRepresentation
());
new
Equality
(
body
,
var__ty
,
var__tmp_2
72
);
new
ExpressionEvaluation
(
body
,
new
IExpressionEvaluator
()
{
@Override
public
String
getShortDescription
()
{
return
"
3402207517372677549
"
;
return
"
4863849988524114261
"
;
}
@Override
...
...
@@ -128,9 +128,9 @@ public final class Typing_AsLTypeVariant_WrappedQuerySpecification extends MPSQu
return
LTypeVariant
.
instance
().
singleton
((
CodeGenerationHelper
.
demandWrapString
(
valueProvider
.
getValue
(
"l"
))),
((
LType
.
LTypeElement
)
valueProvider
.
getValue
(
"ty"
)));
}
},
var__
3402207517372677549
,
false
);
new
Equality
(
body
,
var__tmp_2
69
,
var__
3402207517372677549
);
new
Equality
(
body
,
var__tmp_2
69
,
var_out_1
);
},
var__
4863849988524114261
,
false
);
new
Equality
(
body
,
var__tmp_2
73
,
var__
4863849988524114261
);
new
Equality
(
body
,
var__tmp_2
73
,
var_out_1
);
SetSequence
.
fromSet
(
bodies
).
addElement
(
body
);
}
...
...
@@ -144,8 +144,8 @@ public final class Typing_AsLTypeVariant_WrappedQuerySpecification extends MPSQu
exportedParameters
.
add
(
new
ExportedParameter
(
body
,
var_out_1
,
p_out_1
));
body
.
setSymbolicParameters
(
exportedParameters
);
PVariable
var__
tmp_
27
0
=
body
.
getOrCreateVariableByName
(
"tmp_270"
);
PVariable
var__
3402207517372677567
=
body
.
newVirtualVariable
(
);
PVariable
var__
4863849988524114
27
9
=
body
.
newVirtualVariable
(
);
PVariable
var__
tmp_274
=
body
.
getOrCreateVariableByName
(
"tmp_274"
);