verse.parser.parser.Env

class verse.parser.parser.Env(controller_code: str, state_defs: Dict[str, verse.parser.parser.StateDef]=<factory>, mode_defs: Dict[str, verse.parser.parser.ModeDef]=<factory>, scopes: List[verse.parser.parser.ScopeLevel] = <factory>)

Bases: object

Methods

add_assert
add_hole
dump
dump_scope
lookup
parse
pop
push
set
trans_args

__init__(controller_code: str, state_defs: Dict[str, ~verse.parser.parser.StateDef]=<factory>, mode_defs: Dict[str, ~verse.parser.parser.ModeDef]=<factory>, scopes: List[ScopeLevel] = <factory>) → None