forked from crossminer/FOCUS
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathAthenaDSL.txt
44 lines (44 loc) · 1.07 KB
/
AthenaDSL.txt
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
athenaDSL#Project
athenaDSL#Import
athenaDSL#LanguageDeclaration
athenaDSL#DataType
athenaDSL#defineType
athenaDSL#validityFunctionDeclaration
athenaDSL#basicType
athenaDSL#includeDecl
athenaDSL#languageDecl
athenaDSL#lexicalCastDecl
athenaDSL#arrayType
athenaDSL#vectorType
athenaDSL#mapType
athenaDSL#structType
athenaDSL#structElement
athenaDSL#index
athenaDSL#unionType
athenaDSL#FuncProc
athenaDSL#functionDeclaration
athenaDSL#argumentsDeclaration
athenaDSL#arg
athenaDSL#ProcessingDeclaration
athenaDSL#statement
athenaDSL#localParameterDeclaration
athenaDSL#localEventDeclaration
athenaDSL#ifblock
athenaDSL#whileblock
athenaDSL#functionCall
athenaDSL#prototypeDeclaration
athenaDSL#architectureElement
athenaDSL#signalDeclaration
athenaDSL#eventDeclaration
athenaDSL#eventCondition
athenaDSL#parameterDeclaration
athenaDSL#statesetDeclaration
athenaDSL#stateDeclaration
athenaDSL#transitionDeclaration
athenaDSL#instanceDeclaration
athenaDSL#interactionDeclaration
athenaDSL#interactionCall
athenaDSL#farg
athenaDSL#referenceDeclaration
athenaDSL#qualifiedName
athenaDSL#wrapperDeclaration