concepts.dm.crow.parsers.cdl_symbolic_execution.Suite

class Suite

Bases: object

A suite of statements. This is used as the intermediate representation of the parsed expressions.

Methods

get_behavior_body_statements()
get_derived_expression()
get_effect_statements()
get_heuristic_statements()

Attributes

tracker
items
local_variables

__init__(items, local_variables=<factory>, tracker=None)

Parameters:

• items (Tuple[Any, ...])

• local_variables (Dict[str, Any])

• tracker (FunctionCallSymbolicExecutor2 | None)

Return type:

None

__new__(**kwargs)

get_behavior_body_statements()

Return type:

List[Any]

get_derived_expression()

Return type:

ValueOutputExpression | Tuple[ValueOutputExpression, …] | None

get_effect_statements()

Return type:

List[CrowFeatureAssignmentExpression | CrowBehaviorForeachLoopSuite | CrowBehaviorConditionSuite]

get_heuristic_statements()

Return type:

List[Any]

items: Tuple[Any, ...]

local_variables: Dict[str, Any]

tracker: FunctionCallSymbolicExecutor2 | None = None