org.grinvin.invariants

Interface InvariantExpressionNode

All Superinterfaces:
Expression, Invariant, InvariantNode
Known Implementing Classes:
AbstractInvariant

public interface InvariantExpressionNode
extends Invariant, InvariantNode, Expression

Interface combining Invariant, InvariantNode and Expression.

Methods inherited from interface org.grinvin.expr.Expression

accept

Methods inherited from interface org.grinvin.invariants.Invariant

extends InvariantValue> getType, getId, getName

Methods inherited from interface org.grinvin.invariants.InvariantNode

accept, getChildren, getName