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/AStack.dcl | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 ABC/AStack.dcl

(limited to 'ABC/AStack.dcl')

diff --git a/ABC/AStack.dcl b/ABC/AStack.dcl
new file mode 100644
index 0000000..423b81c
--- /dev/null
+++ b/ABC/AStack.dcl
@@ -0,0 +1,18 @@
+definition module ABC.AStack
+
+from StdOverloaded import class toString
+from ABC.Def import ::NodeId, ::NrArgs
+
+:: ASrc    :== Int
+:: ADst    :== Int
+:: AStack (:== [NodeId])
+
+instance toString AStack
+
+as_get    :: ASrc AStack -> NodeId
+as_init   :: AStack
+as_popn   :: NrArgs AStack -> AStack
+as_push   :: NodeId AStack -> AStack
+as_pushn  :: [NodeId] AStack -> AStack
+as_topn   :: NrArgs AStack -> [NodeId]
+as_update :: ADst NodeId AStack -> AStack
-- 
cgit v1.2.3