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

Packages that use ObjectOrRegionOfNode

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.

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

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

Modifier and Type	Method	Description
ObjectOrRegionOfNode	NodeFactory.newObjectofNode(Source source, ExpressionNode operand)	Creates a new $object_of node
ObjectOrRegionOfNode	NodeFactory.newRegionofNode(Source source, ExpressionNode operand)	Creates a new $region_of node