From b3f1e3ff0404a5182b6eed2d88014b4b4fbd69c2 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 1 Jul 2016 19:37:38 +0200
Subject: Moved to directory, added test program

---
 ABC/Def.dcl | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 ABC/Def.dcl

(limited to 'ABC/Def.dcl')

diff --git a/ABC/Def.dcl b/ABC/Def.dcl
new file mode 100644
index 0000000..db2c0c0
--- /dev/null
+++ b/ABC/Def.dcl
@@ -0,0 +1,31 @@
+definition module ABC.Def
+
+from ABC.AStack import ::AStack
+from ABC.BStack import ::BStack
+from ABC.CStack import ::CStack
+from ABC.GraphStore import ::GraphStore, ::DescStore
+from ABC.Program import ::ProgramStore
+from ABC.IO import ::IO
+
+:: State = { astack     :: AStack
+           , bstack     :: BStack
+           , cstack     :: CStack
+           , graphstore :: GraphStore
+           , descstore  :: DescStore
+           , pc         :: InstrId
+           , program    :: ProgramStore
+           , io         :: IO
+           }
+
+:: NodeId  :== Int
+:: NrArgs  :== Int
+:: ArgNr   :== Int
+:: DescId  :== Int
+:: InstrId :== Int
+:: Name    :== String
+:: Arity   :== Int
+
+:: Instruction :== State -> State
+
+:: APEntry :== InstrId
+:: Args    :== [NodeId]
-- 
cgit v1.2.3