summaryrefslogtreecommitdiffhomepage
path: root/tools/dfagen/dfagen/automaton.py
diff options
context:
space:
mode:
authorNicolas Schodet2009-02-09 20:05:30 +0100
committerNicolas Schodet2009-02-09 20:05:30 +0100
commit2e95e3a33bcb34aeec66551503c692c1cb80ab61 (patch)
tree6b763ee0d1bf458da0ced13f44535b42f3b8efb8 /tools/dfagen/dfagen/automaton.py
parent552b28da98a387d13aea7403a7e72732a913277d (diff)
* all python:
- changed tabs to spaces.
Diffstat (limited to 'tools/dfagen/dfagen/automaton.py')
-rw-r--r--tools/dfagen/dfagen/automaton.py142
1 files changed, 71 insertions, 71 deletions
diff --git a/tools/dfagen/dfagen/automaton.py b/tools/dfagen/dfagen/automaton.py
index 367da582..05dda350 100644
--- a/tools/dfagen/dfagen/automaton.py
+++ b/tools/dfagen/dfagen/automaton.py
@@ -2,110 +2,110 @@ class Event:
"""Event definition."""
def __init__ (self, name, comments = ''):
- self.name = name
- self.comments = comments
- pass
+ self.name = name
+ self.comments = comments
+ pass
def __str__ (self):
- s = ' ' + self.name + '\n'
- if self.comments:
- s += ' ' + self.comments.replace ('\n', '\n ') + '\n'
- return s
+ s = ' ' + self.name + '\n'
+ if self.comments:
+ s += ' ' + self.comments.replace ('\n', '\n ') + '\n'
+ return s
class State:
"""State definition."""
def __init__ (self, name, comments = ''):
- self.name = name
- self.comments = comments
- self.transitions = { }
+ self.name = name
+ self.comments = comments
+ self.transitions = { }
def __str__ (self):
- s = ' ' + self.name + '\n'
- if self.comments:
- s += ' ' + self.comments.replace ('\n', '\n ') + '\n'
- return s
+ s = ' ' + self.name + '\n'
+ if self.comments:
+ s += ' ' + self.comments.replace ('\n', '\n ') + '\n'
+ return s
def add_branch (self, branch):
- if branch.event not in self.transitions:
- self.transitions[branch.event] = Transition (branch.event)
- self.transitions[branch.event].add_branch (branch)
+ if branch.event not in self.transitions:
+ self.transitions[branch.event] = Transition (branch.event)
+ self.transitions[branch.event].add_branch (branch)
class Transition:
"""Transition definition."""
def __init__ (self, event):
- self.event = event
- self.branches = { }
+ self.event = event
+ self.branches = { }
def add_branch (self, branch):
- assert self.event is branch.event
- if branch.name == None and self.branches:
- raise KeyError (branch.name)
- if branch.name != None and None in self.branches:
- raise KeyError (branch.name)
- if branch.name in self.branches:
- raise KeyError (branch.name)
- self.branches[branch.name] = branch
+ assert self.event is branch.event
+ if branch.name == None and self.branches:
+ raise KeyError (branch.name)
+ if branch.name != None and None in self.branches:
+ raise KeyError (branch.name)
+ if branch.name in self.branches:
+ raise KeyError (branch.name)
+ self.branches[branch.name] = branch
def __str__ (self):
- s = ''
- for br in self.branches.values ():
- s += str (br);
- return s
+ s = ''
+ for br in self.branches.values ():
+ s += str (br);
+ return s
class TransitionBranch:
def __init__ (self, event, name = None, to = None, comments = ''):
- self.event = event
- self.name = name
- self.to = to
- self.comments = comments
+ self.event = event
+ self.name = name
+ self.to = to
+ self.comments = comments
def __str__ (self):
- s = ' ' + self.event.name
- if self.name:
- s += ': ' + self.name
- s += ' -> ' + (self.to and self.to.name or '.') + '\n'
- if self.comments:
- s += ' ' + self.comments.replace ('\n', '\n ') + '\n'
- return s
+ s = ' ' + self.event.name
+ if self.name:
+ s += ': ' + self.name
+ s += ' -> ' + (self.to and self.to.name or '.') + '\n'
+ if self.comments:
+ s += ' ' + self.comments.replace ('\n', '\n ') + '\n'
+ return s
class Automaton:
def __init__ (self, name):
- self.name = name
- self.comments = ''
- self.initial = None
- self.states = { }
- self.events = { }
+ self.name = name
+ self.comments = ''
+ self.initial = None
+ self.states = { }
+ self.events = { }
def add_state (self, state):
- if state.name in self.states:
- raise KeyError (state.name)
- if not self.states:
- self.initial = state
- self.states[state.name] = state
+ if state.name in self.states:
+ raise KeyError (state.name)
+ if not self.states:
+ self.initial = state
+ self.states[state.name] = state
def add_event (self, event):
- if event.name in self.events:
- raise KeyError (event.name)
- self.events[event.name] = event
+ if event.name in self.events:
+ raise KeyError (event.name)
+ self.events[event.name] = event
def __str__ (self):
- s = self.name
- if self.comments:
- s += ' ' + self.comments.replace ('\n', '\n ') + '\n'
- s += '\nStates:\n'
- for state in self.states.values ():
- s += str (state)
- s += '\nEvents:\n'
- for event in self.events.values ():
- s += str (event)
- s += '\n'
- for state in self.states.values ():
- s += state.name + ':\n'
- for tr in state.transitions.values ():
- s += str (tr)
- s += '\n'
- return s
+ s = self.name
+ if self.comments:
+ s += ' ' + self.comments.replace ('\n', '\n ') + '\n'
+ s += '\nStates:\n'
+ for state in self.states.values ():
+ s += str (state)
+ s += '\nEvents:\n'
+ for event in self.events.values ():
+ s += str (event)
+ s += '\n'
+ for state in self.states.values ():
+ s += state.name + ':\n'
+ for tr in state.transitions.values ():
+ s += str (tr)
+ s += '\n'
+ return s