Uses of Interface
dev.civl.abc.ast.node.IF.acsl.BehaviorNode

Packages that use BehaviorNode

Package	Description
dev.civl.abc.ast.entity.IF	Submodule ast.entity defines entities (objects of type Entity), the abstract things such as types, structures, unions, enumerations, objects (variables), functions, and so on, which can be named by identifiers in a program.
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.acsl

Uses of BehaviorNode in dev.civl.abc.ast.entity.IF

Methods in dev.civl.abc.ast.entity.IF that return BehaviorNode

Modifier and Type	Method	Description
BehaviorNode	BehaviorEntity.getBehavior()

Methods in dev.civl.abc.ast.entity.IF with parameters of type BehaviorNode

Modifier and Type	Method	Description
BehaviorEntity	EntityFactory.newBehavior(String name, BehaviorNode behavior)	Creates a new behavior entity.

Uses of BehaviorNode in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF that return BehaviorNode

Modifier and Type	Method	Description
BehaviorNode	NodeFactory.newBehaviorNode(Source source, IdentifierNode name, SequenceNode<ContractNode> body)	creates a behavior node.

Uses of BehaviorNode in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl that return BehaviorNode

Modifier and Type	Method	Description
BehaviorNode	BehaviorNode.copy()