Skip to content

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

module 

imports
  signatures/Common-sig
  signatures/ExprStat-sig

signature

  sorts
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    

  constructors
    Poosl-Plhdr : Poosl
    ImportList-Plhdr : ImportList
    Import-Plhdr : Import
    AnnotationList-Plhdr : AnnotationList
    Annotation-Plhdr : Annotation
    OptAnnotationArgs-Plhdr : OptAnnotationArgs
    Class-Plhdr : Class
    ClassList-Plhdr : ClassList
    DataMethodList-Plhdr : DataMethodList
    DataMethod-Plhdr : DataMethod
    OperatorBinary-Plhdr : OperatorBinary
    NativeClause-Plhdr : NativeClause
    ExtendsClause-Plhdr : ExtendsClause
    IDList-Plhdr : IDList
    Declaration-Plhdr : Declaration
    DeclarationOptCommaList-Plhdr : DeclarationOptCommaList
    DeclarationOptComma-Plhdr : DeclarationOptComma
    ParameterList-Plhdr : ParameterList
    OptEmptyList-Plhdr : OptEmptyList
    OptParameterList-Plhdr : OptParameterList
    OptLocalVariableList-Plhdr : OptLocalVariableList
    ProcessMethodList-Plhdr : ProcessMethodList
    ProcessMethod-Plhdr : ProcessMethod
    PortList-Plhdr : PortList
    Port-Plhdr : Port
    MessageSignatureList-Plhdr : MessageSignatureList
    MessageSignature-Plhdr : MessageSignature
    OptMessageParameterList-Plhdr : OptMessageParameterList
    InstanceList-Plhdr : InstanceList
    Instance-Plhdr : Instance
    OptInstanceParameterList-Plhdr : OptInstanceParameterList
    InstanceParameter-Plhdr : InstanceParameter
    ChannelList-Plhdr : ChannelList
    Channel-Plhdr : Channel
    PortInstance-Plhdr : PortInstance
    PortInstanceList-Plhdr : PortInstanceList
    OptionalComma-Plhdr : OptionalComma

signature

  constructors
     : ImportList * ClassList -> Poosl
     : list(Import) -> ImportList
     : list(Class) -> ClassList
    Import : STRING -> Import
    ImportLib : STRING -> Import
     : list(Annotation) -> AnnotationList
    Annotation : ID * OptAnnotationArgs -> Annotation
    AnnotationArgs : list(ExpressionConstant) -> OptAnnotationArgs
    NoAnnotationArgs : OptAnnotationArgs
    DataClass : AnnotationList * NativeClause * ID * ExtendsClause * DeclarationOptCommaList * DataMethodList -> Class
    DataMethodList : list(DataMethod) -> DataMethodList
    DataMethodNamed : AnnotationList * ID * OptParameterList * ID * OptLocalVariableList * Expression -> DataMethod
    DataMethodUnary : AnnotationList * UnaryOperator * OptEmptyList * ID * OptLocalVariableList * Expression -> DataMethod
    DataMethodBinary : AnnotationList * OperatorBinary * Declaration * ID * OptLocalVariableList * Expression -> DataMethod
    DataMethodNamedNative : ID * OptParameterList * ID -> DataMethod
    DataMethodUnaryNative : UnaryOperator * OptEmptyList * ID -> DataMethod
    DataMethodBinaryNative : OperatorBinary * Declaration * ID -> DataMethod
    NoList : OptEmptyList
    EmptyList : OptEmptyList
    OperatorBinary2 : BinaryOperatorLevel2 -> OperatorBinary
    OperatorBinary3 : BinaryOperatorLevel3 -> OperatorBinary
    OperatorBinary4 : BinaryOperatorLevel4 -> OperatorBinary
    Native : NativeClause
    NotNative : NativeClause
     : ID -> ExtendsClause
     : ExtendsClause
     : list(ID) -> IDList
    Declaration : IDList * ID -> Declaration
    DeclarationWithComma : IDList * ID -> DeclarationOptComma
    DeclarationWithoutComma : IDList * ID -> DeclarationOptComma
     : list(DeclarationOptComma) -> DeclarationOptCommaList
     : list(Declaration) -> ParameterList
    Parameters : list(Declaration) -> OptParameterList
    NoParameters : OptParameterList
    LocalVariables : list(Declaration) -> OptLocalVariableList
    NoLocalVariables : OptLocalVariableList
    ProcessClass : AnnotationList * ID * OptParameterList * ExtendsClause * PortList * MessageSignatureList * DeclarationOptCommaList * ProcessMethodCall * ProcessMethodList -> Class
    ProcessMethodList : list(ProcessMethod) -> ProcessMethodList
    ProcessMethod : AnnotationList * ID * ParameterList * ParameterList * OptLocalVariableList * Statement -> ProcessMethod
     : list(Port) -> PortList
    Port : ID * OptionalComma -> Port
    MessageSignatureList : list(MessageSignature) -> MessageSignatureList
    MessageReceiveSignature : ID * ID * OptMessageParameterList * OptionalComma -> MessageSignature
    MessageSendSignature : ID * ID * OptMessageParameterList * OptionalComma -> MessageSignature
    MessageParameters : list(ID) -> OptMessageParameterList
    NoMessageParameters : OptMessageParameterList
     : AnnotationList * InstanceList * ChannelList -> Class
    ClusterClass : AnnotationList * ID * OptParameterList * PortList * InstanceList * ChannelList -> Class
     : list(Instance) -> InstanceList
    Instance : AnnotationList * ID * ID * OptInstanceParameterList -> Instance
    InstanceParameters : list(InstanceParameter) -> OptInstanceParameterList
    NoInstanceParameters : OptInstanceParameterList
    InstanceParameter : ID * Expression -> InstanceParameter
     : list(Channel) -> ChannelList
    Channel : AnnotationList * PortInstanceList -> Channel
    PortInstanceList : list(PortInstance) -> PortInstanceList
    InternalPort : ID * ID -> PortInstance
     : ID -> PortInstance
    Comma : OptionalComma
    NoComma : OptionalComma