aboutsummaryrefslogtreecommitdiff
path: root/ABC/Assembler.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'ABC/Assembler.dcl')
-rw-r--r--ABC/Assembler.dcl9
1 files changed, 9 insertions, 0 deletions
diff --git a/ABC/Assembler.dcl b/ABC/Assembler.dcl
index 03b8820..63880e7 100644
--- a/ABC/Assembler.dcl
+++ b/ABC/Assembler.dcl
@@ -12,6 +12,14 @@ from ABC.Machine.GraphStore import ::Desc
:: DescLabel :== Label
:: NrInstr :== Int
+:: Annotation
+ = DAnnot Int [BasicType]
+ | OAnnot Int [BasicType]
+
+:: BasicType
+ = BT_Bool
+ | BT_Int
+
:: Assembler :== [Statement]
:: Statement
@@ -77,6 +85,7 @@ from ABC.Machine.GraphStore import ::Desc
| MulI
| SubI
| Comment String
+ | Annotation Annotation
instance toString Assembler
instance toString Statement