generator module
This modules provides an simple interface for generating
algorithm for forbidden pattern from an intermediate language:
- slist : statement
-
- statement : LPAREN plist RPAREN IN NAME INVSTMT
NAME MINUS NAME ARROW NAME INVSTMT
- plist : plist COMMA NAME
-
Please see: http://www.dabeaz.com/ply/ply.html for more details of ply.
-
generator.BfsStatement(object)[source]
-
class generator.InStatement(vars, inSet, invariant, innerBlock='')[source]
-
generator.codegen(tupl)[source]
-
generator.generateCode(spec)[source]
| Parameters: | spec – a str |
|---|
| Returns: | the generated code with a str: |
|---|
-
generator.indent(string, level=1, fmt=' ')[source]
-
generator.p_error(t)[source]
-
generator.p_plist_NAME(t)[source]
plist : NAME
-
generator.p_plist_recur(t)[source]
plist : plist COMMA NAME
-
generator.p_slist_recur(t)[source]
slist : slist statement
-
generator.p_slist_stmt(t)[source]
slist : statement
-
generator.p_statement_bfs(t)[source]
statement : NAME MINUS NAME ARROW NAME INVSTMT
-
generator.p_statement_in(t)[source]
statement : LPAREN plist RPAREN IN NAME INVSTMT
-
generator.t_INVSTMT(t)[source]
[.*?]
-
generator.t_NAME(t)[source]
[a-zA-Z_][a-zA-Z_0-9]*
-
generator.t_error(t)[source]
-
generator.t_newline(t)[source]
n+
