Uses of Enum Class
dev.civl.abc.ast.node.IF.acsl.CompositeEventNode.EventOperator

Packages that use CompositeEventNode.EventOperator

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 CompositeEventNode.EventOperator in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF with parameters of type CompositeEventNode.EventOperator

Modifier and Type	Method	Description
CompositeEventNode	NodeFactory.newOperatorEventNode(Source source, CompositeEventNode.EventOperator op, DependsEventNode left, DependsEventNode right)	creates a new composite event node, which is composed by two events node and an operator.

Uses of CompositeEventNode.EventOperator in dev.civl.abc.ast.node.IF.acsl

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

Modifier and Type	Method	Description
CompositeEventNode.EventOperator	CompositeEventNode.eventOperator()	the operatore of this composite event
static CompositeEventNode.EventOperator	CompositeEventNode.EventOperator.valueOf(String name)	Returns the enum constant of this class with the specified name.
static CompositeEventNode.EventOperator[]	CompositeEventNode.EventOperator.values()	Returns an array containing the constants of this enum class, in the order they are declared.