verse.parser.ControllerIR

class verse.parser.ControllerIR(args: List[verse.parser.parser.LambdaArg], paths: List[verse.parser.parser.ModePath], asserts: List[verse.parser.parser.CompiledAssert], asserts_veri: List[verse.parser.parser.Assert], state_defs: Dict[str, verse.parser.parser.StateDef], mode_defs: Dict[str, verse.parser.parser.ModeDef], controller_code: str)

Methods

ir_eq(a, b)

Equality check on the "IR" nodes

dump
empty
from_env
parse

__init__(args: List[LambdaArg], paths: List[ModePath], asserts: List[CompiledAssert], asserts_veri: List[Assert], state_defs: Dict[str, StateDef], mode_defs: Dict[str, ModeDef], controller_code: str) → None

Methods

__delattr__(name, /)	Implement delattr(self, name).
__dir__(/)	Default dir() implementation.
__eq__(other)	Return self==value.
__format__(format_spec, /)	Default object formatter.
__ge__(value, /)	Return self>=value.
__getattribute__(name, /)	Return getattr(self, name).
__getstate__(/)	Helper for pickle.
__gt__(value, /)	Return self>value.
__init__(args, paths, asserts, asserts_veri, ...)
__init_subclass__	This method is called when a class is subclassed.
__le__(value, /)	Return self<=value.
__lt__(value, /)	Return self<value.
__ne__(value, /)	Return self!=value.
__new__(*args, **kwargs)
__reduce__(/)	Helper for pickle.
__reduce_ex__(protocol, /)	Helper for pickle.
__repr__()	Return repr(self).
__setattr__(name, value, /)	Implement setattr(self, name, value).
__sizeof__(/)	Size of object in memory, in bytes.
__str__(/)	Return str(self).
__subclasshook__	Abstract classes can override this to customize issubclass().
dump(node[, dump])
empty()
from_env(env)
ir_eq(a, b)	Equality check on the "IR" nodes
parse([code, fn])

Attributes

__annotations__
__dataclass_fields__
__dataclass_params__
__dict__
__doc__
__hash__
__match_args__
__module__
__weakref__	list of weak references to the object
args
paths
asserts
asserts_veri
state_defs
mode_defs
controller_code