concepts.dm.crow.parsers.crow_parser.PDSketchV3DomainTransformer#
- class PDSketchV3DomainTransformer[source]#
Bases:
PDSketch3LiteralTransformerMethods
BASIC_TYPENAME(token)Captures basic type names (non-vector types), such as int, float, bool, object, etc.
BIN_NUMBER(value)Captures binary number literals.
CONSTNAME(token)Captures constant names, such as CONST_NAME.
DEC_NUMBER(value)Captures decimal number literals.
ELLIPSIS(_)Captures the ... literal.
FALSE(_)Captures the False literal.
FLOAT_NUMBER(value)Captures floating point number literals.
HEX_NUMBER(value)Captures hexadecimal number literals.
IMAG_NUMBER(value)Captures complex number literals.
OCT_NUMBER(value)Captures octal number literals.
TRUE(_)Captures the True literal.
VARNAME(token)Captures variable names, such as var_name.
action_body_definition(suite)action_definition(annotations, name, args, ...)action_effect_definition(suite)action_goal_definition(suite)arguments_def(args)Captures the arguments definition.
boolean(value)Captures boolean literals.
controller_definition(annotations, name, args)decorator_kwarg(k[, v])Captures the key-value pair of a decorator.
decorator_kwargs(args)Captures the key-value pairs of a decorator.
feature_definition(annotations, name, args, ...)function_definition(annotations, name, args, ...)generator_definition(annotations, name, ...)generator_goal_definition(suite)generator_impl_definition(suite)generator_in_definition(values)generator_out_definition(values)in_typed_argument(name, value)Captures typed arguments defined as name in value.
is_typed_argument(name, typename)Captures typed arguments defined as name is typename.
literal(value)Captures literal values.
literal_list(*items)Captures literal lists, such as [1, 2, 3, 4].
literal_set(*items)Captures literal sets, such as {1, 2, 3, 4}.
number(value)Captures number literals, including integers, floats, and complex numbers.
pragma_definition(pragma)sized_vector_typename(name, size)Captures sized vector typenames defined as vector[typename, size].
string(value)Captures string literals.
transform(tree)Transform the given tree, and return the final result
type_definition(typename, basetype)typed_argument(name, typename)Captures typed arguments defined as name: typename.
typename(name)Captures typenames including basic types and vector types.
unsized_vector_typename(name)Captures unsized vector typenames defined as vector[typename].
Attributes
- BASIC_TYPENAME(token)#
Captures basic type names (non-vector types), such as int, float, bool, object, etc.
- CONSTNAME(token)#
Captures constant names, such as CONST_NAME.
- FLOAT_NUMBER(value)#
Captures floating point number literals.
- IMAG_NUMBER(value)#
Captures complex number literals.
- VARNAME(token)#
Captures variable names, such as var_name.
- __init__(domain=None)[source]#
- Parameters:
domain (CrowDomain | None) –
- __mul__(other)#
Chain two transformers together, returning a new transformer.
- Parameters:
self (Transformer) –
other (Transformer | TransformerChain[_Leaf_U, _Return_V]) –
- Return type:
TransformerChain[_Leaf_T, _Return_V]
- __new__(**kwargs)#
- action_definition(annotations, name, args, *parts)[source]#
- Parameters:
annotations (dict | None) –
name (str) –
args (ArgumentsDef | None) –
parts (PreconditionPart | GoalPart | EffectPart | BodyPart) –
- arguments_def(args)#
Captures the arguments definition. This is used in function definitions.
- controller_definition(annotations, name, args)[source]#
- Parameters:
annotations (dict | None) –
name (str) –
args (ArgumentsDef | None) –
- decorator_kwarg(k, v=True)#
Captures the key-value pair of a decorator. This is used in the decorator syntax, such as [[k=True]].
- Parameters:
v (LiteralValue | LiteralList | LiteralSet) –
- Return type:
Tuple[str, bool | int | float | complex | str | LiteralList | LiteralSet]
- decorator_kwargs(args)#
Captures the key-value pairs of a decorator. This is used in the decorator syntax, such as [[k=True, k2=123, k3=[1, 2, 3]]].
- Return type:
Dict[str, bool | int | float | complex | str | LiteralList | LiteralSet]
- feature_definition(annotations, name, args, ret, suite)[source]#
- Parameters:
annotations (dict | None) –
name (str) –
args (ArgumentsDef | None) –
suite (Tree | None) –
- function_definition(annotations, name, args, ret, suite)[source]#
- Parameters:
annotations (dict | None) –
name (str) –
args (ArgumentsDef | None) –
suite (Tree | None) –
- generator_definition(annotations, name, args, *parts)[source]#
- Parameters:
annotations (dict | None) –
name (str) –
args (ArgumentsDef | None) –
parts (PreconditionPart | GoalPart | InPart | OutPart) –
- in_typed_argument(name, value)#
Captures typed arguments defined as name in value. This is used in forall/exists statements.
- Parameters:
- Return type:
- is_typed_argument(name, typename)#
Captures typed arguments defined as name is typename. This is used in forall/exists statements.
- literal(value)#
Captures literal values.
- Parameters:
value (bool | int | float | complex | str | LiteralList | LiteralSet) –
- Return type:
- literal_list(*items)#
Captures literal lists, such as [1, 2, 3, 4].
- Parameters:
items (Any) –
- Return type:
- literal_set(*items)#
Captures literal sets, such as {1, 2, 3, 4}.
- Parameters:
items (Any) –
- Return type:
- number(value)#
Captures number literals, including integers, floats, and complex numbers.
- sized_vector_typename(name, size)#
Captures sized vector typenames defined as vector[typename, size].
- Parameters:
- Return type:
- transform(tree)#
Transform the given tree, and return the final result
- Parameters:
tree (Tree[_Leaf_T]) –
- Return type:
_Return_T
- typed_argument(name, typename)#
Captures typed arguments defined as name: typename.
- typename(name)#
Captures typenames including basic types and vector types.
- unsized_vector_typename(name)#
Captures unsized vector typenames defined as vector[typename].
- Parameters:
- Return type:
- domain: CrowDomain#
- expression_def_ctx: ExpressionDefinitionContext#
- expression_interpreter: PDSketch3ExpressionInterpreter#