Changeset 11235 for trunk/CspCASL/AS_CspCASL_Process.der.hs

Timestamp:

08.01.2009 16:24:35 (14 months ago)

Author:

csliam

Message:

finished static analysis of Events - not event sets for CspCASL

Files:

• trunk/CspCASL/AS_CspCASL_Process.der.hs (modified) (2 diffs)

trunk/CspCASL/AS_CspCASL_Process.der.hs

@@ -21 +21 @@
     PROCESS_NAME,
     RENAMING,
-    CommAlpha(..),
+    CommAlpha,
     CommType(..),
     TypedChanName(..)
@@ -38 +38 @@
     | ChanNonDetSend CHANNEL_NAME VAR SORT Range
     | ChanRecv CHANNEL_NAME VAR SORT Range
+    -- | A fully qualified event contains the event being
+    -- | qualified. The channel of the fully qualified event should be
+    -- | -- nothing if the contained event is a TermEvent - as this
+    -- | does -- not have a channel. The channel should match the
+    -- | contained -- event's channel if the contained event is not a
+    -- | TermEvent, -- where the sort of the channel is also recorded
+    -- | in the pair. The -- fully qualified term's event should be
+    -- | the fully qualified -- version of the contained events'
+    -- | term. The range of the fully -- qualified event should always
+    -- | be the same as the range of the -- contained event. In the
+    -- | case of a fully qualified ChanNonDetSend and ChanRecv the
+    -- | variable becomes a fully qualified CASL term based on the
+    -- | variable and its sort.
+    | FQEvent EVENT (Maybe (CHANNEL_NAME, SORT)) (TERM ()) Range
     deriving (Show,Ord, Eq)