def _pArchTable(self):
for arch in self.archNode:
transitions = []
for transaction in self.archNode[arch]:
transitions += transaction.gettransitions()
transitions = self._filterTransitions(transitions)
ProtoCCTablePrinter().ptransitiontable(transitions)
def _pArchTable(self):
for arch in self.archNode:
transitions = []
for transaction in self.archNode[arch]:
transitions += transaction.gettransitions()
transitions = self._filterTransitions(transitions)
pheader(arch + ": Total number of transitions: " +
str(len(transitions)))
ProtoCCTablePrinter().ptransitiontable(transitions)
def _ptransitions(self, transitions, color='black'):
for entry in transitions:
start_state, final_state, access, p_in_msg, p_out_msg, p_cond = ProtoCCTablePrinter.outtransition(entry)
guardstr = ""
if access:
guardstr += "*" + access
if p_in_msg:
if access:
guardstr += "; "
guardstr += "<" + p_in_msg
if p_cond:
guardstr += "; (" + p_cond + ") "
if p_out_msg:
guardstr += "; >" + p_out_msg
self.graph.edge(start_state,
final_state,
guardstr,
fontsize=self.EdgeFontSizeInt,
fontcolor=color
)
def _pArchTransitions(self, name, transactions):
pheader(name + " :Transitions Summary")
ProtoCCTablePrinter().ptransaction(transactions)
def _pArchTransactions(self, name, transactions):
self.pheader(name + " :Transactions Summary")
ProtoCCTablePrinter(self.dbg).ptransactions(transactions)