summaryrefslogtreecommitdiff
path: root/assignment-13/ufpl.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'assignment-13/ufpl.dcl')
-rw-r--r--assignment-13/ufpl.dcl7
1 files changed, 5 insertions, 2 deletions
diff --git a/assignment-13/ufpl.dcl b/assignment-13/ufpl.dcl
index bf3e010..9f1036f 100644
--- a/assignment-13/ufpl.dcl
+++ b/assignment-13/ufpl.dcl
@@ -3,7 +3,7 @@ definition module ufpl
from StdGeneric import :: Bimap
from StdOverloaded import class +, class -, class *, class /, class ==, class <
-from C import :: CType, :: CExpr, :: CBody, :: CVar, :: CFun
+from C import :: CType, :: CExpr, :: CBody, :: CVar, :: CFun, :: CProg
:: RO = RO
:: RW = RW
@@ -88,7 +88,10 @@ instance ||| NamedRule
instance ||| [NamedRule]
instance gen (Expr t rw) CExpr | Expr t
+instance gen (Shared t rw) CVar
+instance gen Trigger CExpr
instance gen Rule CBody
instance gen [r] CBody | gen r CBody
instance gen NamedRule CFun
-instance gen (Shared t rw) CVar
+instance gen NamedRule CProg
+instance gen [NamedRule] CProg