From 7841e635dec210e2dfc011df8e3c53d05d76141c Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 26 Sep 2013 12:11:25 -0400
Subject: Adding undefined

Also interpreter now supports reading and writing of basic registers (i.e with no subranges yet)
---
 language/l2.ott       | 2 ++
 language/l2_parse.ott | 1 +
 2 files changed, 3 insertions(+)

(limited to 'language')

diff --git a/language/l2.ott b/language/l2.ott
index fdd1dadf..11a57856 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -471,6 +471,8 @@ lit :: 'L_' ::=
   | hex                                         :: :: hex  {{ com bit vector constant, C-style }}
   {{ com hex and bin are constant bit vectors, C-style }}
   | bin                                         :: :: bin  {{ com bit vector constant, C-style }}
+% Should undefined be of type bit[alpha] or alpha[beta] or just alpha?
+  | undefined					:: :: undef {{ com constant representing undefined values }}
   | string                                              :: :: string {{ com string constant }}
 
 semi_opt {{ tex \ottnt{;}^{?} }} :: 'semi_' ::=         {{ phantom }}
diff --git a/language/l2_parse.ott b/language/l2_parse.ott
index e06752a0..ab8d5d80 100644
--- a/language/l2_parse.ott
+++ b/language/l2_parse.ott
@@ -337,6 +337,7 @@ lit :: 'L_' ::=
   | hex                                         :: :: hex  {{ com bit vector constant, C-style }}
   {{ com hex and bin are constant bit vectors, C-style }}
   | bin                                         :: :: bin  {{ com bit vector constant, C-style }}
+  | undefined					:: :: undef {{ com undefined value }}
   | string                                              :: :: string {{ com string constant }}
 
 semi_opt {{ tex \ottnt{;}^{?} }} :: 'semi_' ::=         {{ phantom }}
-- 
cgit v1.2.3