本文整理汇总了Python中quex.engine.state_machine.core.StateMachine.get_graphviz_string方法的典型用法代码示例。如果您正苦于以下问题:Python StateMachine.get_graphviz_string方法的具体用法?Python StateMachine.get_graphviz_string怎么用?Python StateMachine.get_graphviz_string使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类quex.engine.state_machine.core.StateMachine
的用法示例。
在下文中一共展示了StateMachine.get_graphviz_string方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: test
# 需要导入模块: from quex.engine.state_machine.core import StateMachine [as 别名]
# 或者: from quex.engine.state_machine.core.StateMachine import get_graphviz_string [as 别名]
def test(ByteSequenceDB):
L = len(ByteSequenceDB[0])
for seq in ByteSequenceDB:
assert len(seq) == L
for x in seq:
assert isinstance(x, Interval)
first_different_byte_index = -1
for i in range(L):
x0 = ByteSequenceDB[0][i]
for seq in ByteSequenceDB[1:]:
if not seq[i].is_equal(x0):
first_different_byte_index = i
break
if first_different_byte_index != -1:
break
if first_different_byte_index == -1:
first_different_byte_index = 0
print "# Best To be Displayed by:"
print "#"
print "# > " + sys.argv[0] + " " + sys.argv[1] + " | dot -Tsvg -o tmp.svg"
print "#"
print "# -------------------------"
print "# Byte Sequences: "
i = -1
for seq in ByteSequenceDB:
i += 1
print "# (%i) " % i,
for x in seq:
print " " + x.get_string(Option="hex"),
print
print "# L = %i" % L
print "# DIdx = %i" % first_different_byte_index
sm = StateMachine()
end_index = state_machine.index.get()
sm.states[end_index] = State()
trafo.plug_state_sequence_for_trigger_set_sequence(sm, sm.init_state_index, end_index,
ByteSequenceDB, L, first_different_byte_index)
if len(sm.get_orphaned_state_index_list()) != 0:
print "Error: Orphaned States Detected!"
print sm.get_graphviz_string(Option="hex")