uppaal2jetracer.parser.declarationparser.ply package

Submodules

uppaal2jetracer.parser.declarationparser.ply.lex module

exception LexError(message, s)[source]

Bases: Exception

class LexToken[source]

Bases: object

class Lexer[source]

Bases: object

begin(state)[source]
clone(object=None)[source]
current_state()[source]
input(s)[source]
next()[source]
pop_state()[source]
push_state(state)[source]
readtab(tabfile, fdict)[source]
skip(n)[source]
token()[source]
writetab(lextab, outputdir='')[source]
class LexerReflect(ldict, log=None, reflags=0)[source]

Bases: object

get_all()[source]
get_literals()[source]
get_rules()[source]
get_states()[source]
get_tokens()[source]
validate_all()[source]
validate_literals()[source]
validate_module(module)[source]
validate_rules()[source]
validate_tokens()[source]
class NullLogger[source]

Bases: object

class PlyLogger(f)[source]

Bases: object

critical(msg, *args, **kwargs)[source]
debug(msg, *args, **kwargs)
error(msg, *args, **kwargs)[source]
info(msg, *args, **kwargs)
warning(msg, *args, **kwargs)[source]
TOKEN(r)[source]
Token(r)
get_caller_module_dict(levels)[source]
input(s)
lex(module=None, object=None, debug=False, optimize=False, lextab='lextab', reflags=64, nowarn=False, outputdir=None, debuglog=None, errorlog=None)[source]
runmain(lexer=None, data=None)[source]
token()

uppaal2jetracer.parser.declarationparser.ply.yacc module

class Grammar(terminals)[source]

Bases: object

add_production(prodname, syms, func=None, file='', line=0)[source]
build_lritems()[source]
compute_first()[source]
compute_follow(start=None)[source]
find_unreachable()[source]
infinite_cycles()[source]
set_precedence(term, assoc, level)[source]
set_start(start=None)[source]
undefined_symbols()[source]
unused_precedence()[source]
unused_rules()[source]
unused_terminals()[source]
exception GrammarError[source]

Bases: YaccError

exception LALRError[source]

Bases: YaccError

class LRGeneratedTable(grammar, method='LALR', log=None)[source]

Bases: LRTable

add_lalr_lookaheads(C)[source]
add_lookaheads(lookbacks, followset)[source]
compute_follow_sets(ntrans, readsets, inclsets)[source]
compute_lookback_includes(C, trans, nullable)[source]
compute_nullable_nonterminals()[source]
compute_read_sets(C, ntrans, nullable)[source]
dr_relation(C, trans, nullable)[source]
find_nonterminal_transitions(C)[source]
lr0_closure(I)[source]
lr0_goto(I, x)[source]
lr0_items()[source]
lr_parse_table()[source]
pickle_table(filename, signature='')[source]
reads_relation(C, trans, empty)[source]
write_table(tabmodule, outputdir='', signature='')[source]
class LRItem(p, n)[source]

Bases: object

class LRParser(lrtab, errorf)[source]

Bases: object

disable_defaulted_states()[source]
errok()[source]
parse(input=None, lexer=None, debug=False, tracking=False, tokenfunc=None)[source]
parsedebug(input=None, lexer=None, debug=False, tracking=False, tokenfunc=None)[source]
parseopt(input=None, lexer=None, debug=False, tracking=False, tokenfunc=None)[source]
parseopt_notrack(input=None, lexer=None, debug=False, tracking=False, tokenfunc=None)[source]
restart()[source]
set_defaulted_states()[source]
class LRTable[source]

Bases: object

bind_callables(pdict)[source]
read_pickle(filename)[source]
read_table(module)[source]
class MiniProduction(str, name, len, func, file, line)[source]

Bases: object

bind(pdict)[source]
class NullLogger[source]

Bases: object

class ParserReflect(pdict, log=None)[source]

Bases: object

get_all()[source]
get_error_func()[source]
get_pfunctions()[source]
get_precedence()[source]
get_start()[source]
get_tokens()[source]
signature()[source]
validate_all()[source]
validate_error_func()[source]
validate_modules()[source]
validate_pfunctions()[source]
validate_precedence()[source]
validate_start()[source]
validate_tokens()[source]
class PlyLogger(f)[source]

Bases: object

critical(msg, *args, **kwargs)
debug(msg, *args, **kwargs)[source]
error(msg, *args, **kwargs)[source]
info(msg, *args, **kwargs)
warning(msg, *args, **kwargs)[source]
class Production(number, name, prod, precedence=('right', 0), func=None, file='', line=0)[source]

Bases: object

bind(pdict)[source]
lr_item(n)[source]
reduced = 0
exception VersionError[source]

Bases: YaccError

exception YaccError[source]

Bases: Exception

class YaccProduction(s, stack=None)[source]

Bases: object

error()[source]
lexpos(n)[source]
lexspan(n)[source]
lineno(n)[source]
linespan(n)[source]
set_lineno(n, lineno)[source]
class YaccSymbol[source]

Bases: object

call_errorfunc(errorfunc, token, parser)[source]
digraph(X, R, FP)[source]
errok()[source]
format_result(r)[source]
format_stack_entry(r)[source]
get_caller_module_dict(levels)[source]
parse(input=None, lexer=None, debug=False, tracking=False, tokenfunc=None)
parse_grammar(doc, file, line)[source]
restart()[source]
rightmost_terminal(symbols, terminals)[source]
token()[source]
traverse(x, N, stack, F, X, R, FP)[source]
yacc(method='LALR', debug=True, module=None, tabmodule='parsetab', start=None, check_recursion=True, optimize=False, write_tables=False, debugfile='parser.out', outputdir=None, debuglog=None, errorlog=None, picklefile=None)[source]

uppaal2jetracer.parser.declarationparser.ply.ygen module

filter_section(lines, tag)[source]
get_source_range(lines, tag)[source]
main()[source]

Module contents