-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMetricsPreludeChanged_pk2db_ResolveTemp_00150.maude
103 lines (76 loc) · 2.71 KB
/
MetricsPreludeChanged_pk2db_ResolveTemp_00150.maude
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
load ../../000_prelude .
set print conceal on .
print conceal atlInit atlMatchingK model procEnv exprEnv env ps extExprK extAtlK exprModel exprTrace domain queryDomain trace ruleStore .
set trace off .
set trace eq off .
set trace mb off .
set trace rl on .
set trace builtin off .
--- set trace select on .
--- trace select E-OclExpInv .
--- trace select E-AtlRuleSchedule E-AtlRuleSideEffects E-AtlRuleDomainStmtInv .
--- trace select E-HelperInv1 E-HelperInv2 .
--- trace select _<:_ subtypeOf getOppositeRef hasOppositeRef .
--- trace select E-AtlRuleInv E-AtlRuleDomainStmtInv .
--- trace select E-AttSet E-ActLet E-OclExpInv .
--- trace select AtlRuleInv AtlRuleDomainStmtInv E-LetCreate .
--- trace select E-AtlRuleSchedule E-AtlRuleSideEffects E-AtlLazyRuleSideEffects E-AtlRuleDomainStmtInv E-AtlLazyRuleSchedule .
--- trace select E-Snapshot E-AtlLazyRuleSchedule .
set trace whole off .
set trace rewrite off . --- application: --->
set trace substitution on .
set trace condition on .
set trace body off .
load ../../001_OCL_preamble .
load ../../002_PRE-MODEL-OCL .
load ../../003_modcl .
load ../../004_MODEL-OCL .
load ../../010_FMA-SYNTAX .
load ../../011_FMA-TYPE-INFERENCE .
load ../../012_FMA-SEMANTICS .
load ../../013_FMA-OCL-EXTENSION .
load ../../014_FMA-ATL-SYNTAX .
load ../../015_FMA-ATL-GRAPH .
load ../../016_FMA-ATL-SEMANTICS .
load ../../test/0039_FMA-ATL-SEMANTICS-TEST_CD2RDBMS_package_resolveTemp .
load ./00150/TEST-DSL-SEMANTICS-MODEL-0 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-1 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-2 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-3 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-4 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-5 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-6 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-7 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-8 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-9 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-10 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-11 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-12 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-13 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-14 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-15 .
load ./00150/TEST-DSL-SEMANTICS-MODEL-16 .
***(
--- compilation of rules: 434 rewrites
rew atlInit(
K1:K
| ruleStore( noAtlRule )
| atlStmt( rules )
) .
--- computing matches
red findMatches(
fmaAtlRules,
inModel,
var(empty) loc(inLoc) new(inNew)
) .
)
rew
atlInit(
ruleStore(noAtlRule)
| procEnv( empty )
| trace(empty,empty)
| resolveTempClasses( (metamodel("CD") ! cid("DataType")) c (metamodel("CD") ! cid("Attribute")) c (metamodel("CD") ! cid("Class")) )
| atlStmt(trafo)
| queryDomain(var("IN"), inModel, inNew, inLoc)
| domain(var("OUT"), 0 |-> sentinel, newOut, locOut)
) .