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: ~typing.Dict[str, ~verse.parser.parser.StateDef] = <factory>, mode_defs: ~typing.Dict[str, ~verse.parser.parser.ModeDef] = <factory>, scopes: ~typing.List[~verse.parser.parser.ScopeLevel] = <factory>) → None