Skip to content

Stratego-Poosl-sig.stx

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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151

module signatures/Stratego-Poosl-sig

imports
  signatures/StrategoLang/import-namespaced-sig
  signatures/StrategoLang/sugar/terms-namespaced-sig
  signatures/StrategoLang/core/modules-namespaced-sig
  signatures/Poosl-sig
  signatures/ExprStat-sig

signature

  sorts

  constructors

signature

  constructors
    StrategoLang-Module2Start : StrategoLang-Module -> Start
    ToTerm : Poosl -> StrategoLang-PreTerm
    ToTerm : Poosl -> StrategoLang-PreTerm
    ToTerm : Import -> StrategoLang-PreTerm
    ToTerm : Import -> StrategoLang-PreTerm
    ToTerm : Annotation -> StrategoLang-PreTerm
    ToTerm : Annotation -> StrategoLang-PreTerm
    ToTerm : Class -> StrategoLang-PreTerm
    ToTerm : Class -> StrategoLang-PreTerm
    ToTerm : DataMethod -> StrategoLang-PreTerm
    ToTerm : DataMethod -> StrategoLang-PreTerm
    ToTerm : ProcessMethod -> StrategoLang-PreTerm
    ToTerm : ProcessMethod -> StrategoLang-PreTerm
    ToTerm : Port -> StrategoLang-PreTerm
    ToTerm : Port -> StrategoLang-PreTerm
    ToTerm : MessageSignature -> StrategoLang-PreTerm
    ToTerm : MessageSignature -> StrategoLang-PreTerm
    ToTerm : Instance -> StrategoLang-PreTerm
    ToTerm : Instance -> StrategoLang-PreTerm
    ToTerm : Channel -> StrategoLang-PreTerm
    ToTerm : Channel -> StrategoLang-PreTerm
    ToTerm : PortInstance -> StrategoLang-PreTerm
    ToTerm : PortInstance -> StrategoLang-PreTerm
    ToTerm : Declaration -> StrategoLang-PreTerm
    ToTerm : Declaration -> StrategoLang-PreTerm
    ToTerm : Statement -> StrategoLang-PreTerm
    ToTerm : Statement -> StrategoLang-PreTerm
    ToTerm : SingleStatement -> StrategoLang-PreTerm
    ToTerm : SingleStatement -> StrategoLang-PreTerm
    ToTerm : CaseStatement -> StrategoLang-PreTerm
    ToTerm : CaseStatement -> StrategoLang-PreTerm
    ToTerm : Expression -> StrategoLang-PreTerm
    ToTerm : Expression -> StrategoLang-PreTerm
    ToTerm : SingleExpression -> StrategoLang-PreTerm
    ToTerm : SingleExpression -> StrategoLang-PreTerm
    ToTerm : CaseExpression -> StrategoLang-PreTerm
    ToTerm : CaseExpression -> StrategoLang-PreTerm
    FromTerm : StrategoLang-Term -> Poosl
    FromTerm : StrategoLang-Term -> Poosl
    FromTerm : StrategoLang-Term -> Import
    FromTerm : StrategoLang-Term -> Import
    FromTerm : StrategoLang-Term -> ImportList
    FromTerm : StrategoLang-Term -> ImportList
    FromTerm : StrategoLang-Term -> Annotation
    FromTerm : StrategoLang-Term -> Annotation
    FromTerm : StrategoLang-Term -> AnnotationList
    FromTerm : StrategoLang-Term -> AnnotationList
    FromTerm : StrategoLang-Term -> Class
    FromTerm : StrategoLang-Term -> Class
    FromTerm : StrategoLang-Term -> ClassList
    FromTerm : StrategoLang-Term -> ClassList
    FromTerm : StrategoLang-Term -> ExtendsClause
    FromTerm : StrategoLang-Term -> ExtendsClause
    FromTerm : StrategoLang-Term -> DataMethod
    FromTerm : StrategoLang-Term -> DataMethod
    FromTerm : StrategoLang-Term -> DataMethodList
    FromTerm : StrategoLang-Term -> DataMethodList
    FromTerm : StrategoLang-Term -> ProcessMethod
    FromTerm : StrategoLang-Term -> ProcessMethod
    FromTerm : StrategoLang-Term -> ProcessMethodList
    FromTerm : StrategoLang-Term -> ProcessMethodList
    FromTerm : StrategoLang-Term -> ID
    FromTerm : StrategoLang-Term -> ID
    FromTerm : StrategoLang-Term -> IDList
    FromTerm : StrategoLang-Term -> IDList
    FromTerm : StrategoLang-Term -> OptMessageParameterList
    FromTerm : StrategoLang-Term -> OptMessageParameterList
    FromTerm : StrategoLang-Term -> OptVariableList
    FromTerm : StrategoLang-Term -> OptVariableList
    FromTerm : StrategoLang-Term -> VariableList
    FromTerm : StrategoLang-Term -> VariableList
    FromTerm : StrategoLang-Term -> UnaryOperator
    FromTerm : StrategoLang-Term -> UnaryOperator
    FromTerm : StrategoLang-Term -> OperatorBinary
    FromTerm : StrategoLang-Term -> OperatorBinary
    FromTerm : StrategoLang-Term -> Declaration
    FromTerm : StrategoLang-Term -> Declaration
    FromTerm : StrategoLang-Term -> DeclarationOptComma
    FromTerm : StrategoLang-Term -> DeclarationOptComma
    FromTerm : StrategoLang-Term -> DeclarationOptCommaList
    FromTerm : StrategoLang-Term -> DeclarationOptCommaList
    FromTerm : StrategoLang-Term -> ParameterList
    FromTerm : StrategoLang-Term -> ParameterList
    FromTerm : StrategoLang-Term -> OptParameterList
    FromTerm : StrategoLang-Term -> OptParameterList
    FromTerm : StrategoLang-Term -> OptLocalVariableList
    FromTerm : StrategoLang-Term -> OptLocalVariableList
    FromTerm : StrategoLang-Term -> OptEmptyList
    FromTerm : StrategoLang-Term -> OptEmptyList
    FromTerm : StrategoLang-Term -> Port
    FromTerm : StrategoLang-Term -> Port
    FromTerm : StrategoLang-Term -> PortList
    FromTerm : StrategoLang-Term -> PortList
    FromTerm : StrategoLang-Term -> MessageSignature
    FromTerm : StrategoLang-Term -> MessageSignature
    FromTerm : StrategoLang-Term -> MessageSignatureList
    FromTerm : StrategoLang-Term -> MessageSignatureList
    FromTerm : StrategoLang-Term -> Instance
    FromTerm : StrategoLang-Term -> Instance
    FromTerm : StrategoLang-Term -> InstanceList
    FromTerm : StrategoLang-Term -> InstanceList
    FromTerm : StrategoLang-Term -> Channel
    FromTerm : StrategoLang-Term -> Channel
    FromTerm : StrategoLang-Term -> ChannelList
    FromTerm : StrategoLang-Term -> ChannelList
    FromTerm : StrategoLang-Term -> InstanceParameter
    FromTerm : StrategoLang-Term -> InstanceParameter
    FromTerm : StrategoLang-Term -> OptInstanceParameterList
    FromTerm : StrategoLang-Term -> OptInstanceParameterList
    FromTerm : StrategoLang-Term -> PortInstance
    FromTerm : StrategoLang-Term -> PortInstance
    FromTerm : StrategoLang-Term -> Statement
    FromTerm : StrategoLang-Term -> Statement
    FromTerm : StrategoLang-Term -> SingleStatement
    FromTerm : StrategoLang-Term -> SingleStatement
    FromTerm : StrategoLang-Term -> CaseStatement
    FromTerm : StrategoLang-Term -> CaseStatement
    FromTerm : StrategoLang-Term -> CaseStatementList
    FromTerm : StrategoLang-Term -> CaseStatementList
    FromTerm : StrategoLang-Term -> Expression
    FromTerm : StrategoLang-Term -> Expression
    FromTerm : StrategoLang-Term -> SingleExpression
    FromTerm : StrategoLang-Term -> SingleExpression
    FromTerm : StrategoLang-Term -> CaseExpression
    FromTerm : StrategoLang-Term -> CaseExpression
    FromTerm : StrategoLang-Term -> CaseExpressionList
    FromTerm : StrategoLang-Term -> CaseExpressionList
    FromTerm : StrategoLang-Term -> BOOL
    FromTerm : StrategoLang-Term -> CHARACTER
    FromTerm : StrategoLang-Term -> FLOAT
    FromTerm : StrategoLang-Term -> INT
    FromTerm : StrategoLang-Term -> REAL
    FromTerm : StrategoLang-Term -> STRING