From: Brad Beckmann <Brad.Beckmann@amd.com>
Date: Wed, 18 Nov 2009 21:55:58 +0000 (-0800)
Subject: ruby: slicc state machine error fixes
X-Git-Tag: stable_2012_02_02~1575^2~41
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cc2db929cbdb95168600de42a45a361f3a9e7318;p=gem5.git

ruby: slicc state machine error fixes
Added error messages when:
- a state does not exist in a machine's list of known states.
- an event does not exist in a machine
- the actions of a certain machine have not been declared
---

diff --git a/src/mem/slicc/ast/TransitionDeclAST.py b/src/mem/slicc/ast/TransitionDeclAST.py
index ef745fd50..a941d7b0c 100644
--- a/src/mem/slicc/ast/TransitionDeclAST.py
+++ b/src/mem/slicc/ast/TransitionDeclAST.py
@@ -46,9 +46,20 @@ class TransitionDeclAST(DeclAST):
         if machine is None:
             self.error("Transition declaration not part of a machine.")
 
+        for action in self.actions:
+            if action not in machine.actions:
+                self.error("Invalid action: %s is not part of machine: %s" % \
+                           (action, machine))
+
         for state in self.states:
+            if state not in machine.states:
+                self.error("Invalid state: %s is not part of machine: %s" % \
+                           (state, machine))
             next_state = self.next_state or state
             for event in self.events:
+                if event not in machine.events:
+                    self.error("Invalid event: %s is not part of machine: %s" % \
+                               (event, machine))
                 t = Transition(self.symtab, machine, state, event, next_state,
                                self.actions, self.location, self.pairs)
                 machine.addTransition(t)