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

Packages that use AnyactNode

Package	Description
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 AnyactNode in dev.civl.abc.ast.node.IF

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

Modifier and Type	Method	Description
AnyactNode	NodeFactory.newAnyactNode(Source source)	Creates a new \anyact event node

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

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

Modifier and Type	Method	Description
AnyactNode	AnyactNode.copy()