A,B,C-stacks

1 files changed, 30 insertions, 0 deletions

diff --git a/BStack.dcl b/BStack.dcl
new file mode 100644
index 0000000..4f5bbfa
--- /dev/null
+++ b/BStack.dcl
@@ -0,0 +1,30 @@
+definition module ABC.BStack
+
+:: Basic   = Int  Int
+           | Bool Bool
+
+:: BSrc    :== Int
+:: BDst    :== Int
+:: BStack (:== [Basic])
+
+bs_copy   :: BSrc BStack -> BStack
+bs_get    :: BSrc BStack -> Basic
+bs_getB   :: BSrc BStack -> Bool
+bs_getI   :: BSrc BStack -> Int
+bs_init   :: BStack
+bs_popn   :: NrArgs BStack -> BStack
+bs_push   :: Dynamic BStack -> BStack
+bs_pushB  :: Bool BStack -> BStack
+bs_pushI  :: Int BStack -> BStack
+bs_update :: BDst Dynamic BStack -> BStack
+bs_addI   :: BStack -> BStack
+bs_decI   :: BStack -> BStack
+bs_incI   :: BStack -> BStack
+bs_eqB    :: BStack -> BStack
+bs_eqI    :: BStack -> BStack
+bs_eqBi   :: Bool BSrc BStack -> BStack
+bs_eqIi   :: Int BSrc BStack -> BStack
+bs_gtI    :: BStack -> BStack
+bs_ltI    :: BStack -> BStack
+bs_mulI   :: BStack -> BStack
+bs_subI   :: BStack -> BStack