kappybara.grammar

Functions

parse_tree_to_expression(tree)

Convert a Lark ParseTree to an Expression object.

Classes

AgentBuilder(tree)	Builds Agent objects from Lark parse trees.
KappaParser()	Parser for Kappa language files and expressions.
LarkTreetoExpression([visit_tokens])	Transforms a Lark ParseTree into an Expression object.
PatternBuilder(tree)	Builds Pattern objects from Lark parse trees.
RuleBuilder(tree)	Builds Rule objects from Lark parse trees.
SiteBuilder(tree)	Builds Site objects from Lark parse trees.

class kappybara.grammar.AgentBuilder(tree)

Builds Agent objects from Lark parse trees.

Parameters:

tree (Tree[Token])

parsed_type

Type name of the agent.

Type:

str

parsed_interface

List of sites belonging to the agent.

Type:

list[kappybara.pattern.Site]

agent_name(tree)

Parameters:

tree (Tree[Token])

Return type:

None

property object: Agent

parsed_interface: list[Site]

parsed_type: str

site(tree)

Parameters:

tree (Tree[Token])

Return type:

None

class kappybara.grammar.KappaParser

Parser for Kappa language files and expressions.

Note

Don’t instantiate directly: use the global kappa_parser instance.

parse(text)

Parameters:

text (str)

Return type:

Tree[Token]

parse_file(filepath)

Parameters:

filepath (str)

Return type:

Tree[Token]

class kappybara.grammar.LarkTreetoExpression(visit_tokens=True)

Transforms a Lark ParseTree into an Expression object.

Note

Uses a Transformer to preserve the tree structure of the original ParseTree. This doesn’t need to use Transformer_NonRecursive anymore due to grammar changes, but methods explicitly call transform on children.

Parameters:

visit_tokens (bool)

FALSE(token)

SIGNED_FLOAT(token)

SIGNED_INT(token)

TRUE(token)

algebraic_expression(children)

binary_op(children)

binary_op_expression(children)

comparison(children)

conditional_expression(children)

declared_variable_name(children)

defined_constant(children)

list_op_expression(children)

logical_and(children)

logical_not(children)

logical_or(children)

parentheses(children)

pattern(children)

reserved_variable_name(children)

unary_op(children)

unary_op_expression(children)

class kappybara.grammar.PatternBuilder(tree)

Builds Pattern objects from Lark parse trees.

Parameters:

tree (Tree[Token])

parsed_agents

List of agents in the pattern.

Type:

list[kappybara.pattern.Agent]

agent(tree)

Parameters:

tree (Tree[Token])

Return type:

None

property object: Pattern

parsed_agents: list[Agent]

class kappybara.grammar.RuleBuilder(tree)

Builds Rule objects from Lark parse trees.

Parameters:

tree (Tree[Token])

parsed_label

Optional label for the rule.

Type:

str | None

left_agents

Agents on the left side of the rule.

Type:

list[kappybara.pattern.Agent | None]

right_agents

Agents on the right side of the rule.

Type:

list[kappybara.pattern.Agent | None]

parsed_rates

Rate expressions for the rule.

Type:

list[kappybara.algebra.Expression]

tree_data

Type of rule being built.

Type:

str

left_agents: list[Agent | None]

property objects: list[Rule]

parsed_label: str | None

parsed_rates: list[Expression]

rate(tree)

Parameters:

tree (Tree[Token])

Return type:

None

rev_rule_expression(tree)

Parameters:

tree (Tree[Token])

Return type:

None

right_agents: list[Agent | None]

rule_expression(tree)

Parameters:

tree (Tree[Token])

Return type:

None

tree_data: str

class kappybara.grammar.SiteBuilder(tree)

Builds Site objects from Lark parse trees.

Parameters:

tree (Tree[Token])

parsed_site_name

Name of the site being built.

Type:

str

parsed_state

Internal state of the site.

Type:

str

parsed_partner

Partner specification for the site.

Type:

str | kappybara.pattern.SiteType | int | kappybara.pattern.Site

property object: Site

parsed_partner: str | SiteType | int | Site

parsed_site_name: str

parsed_state: str

partner(tree)

Parameters:

tree (Tree[Token])

Return type:

None

site_name(tree)

Parameters:

tree (Tree[Token])

Return type:

None

state(tree)

Parameters:

tree (Tree[Token])

Return type:

None

kappybara.grammar.parse_tree_to_expression(tree)

Convert a Lark ParseTree to an Expression object.

Note

Since there isn’t extra logic when converting algebraic expressions, we can convert from the Lark representation in-place, without creating a new object, hence a Transformer instead of Visitor.

Parameters:

tree (Tree) – Lark ParseTree rooted at algebraic_expression.

Returns:

Expression object representing the parsed expression.

Return type:

Expression