org.grinvin.invariants
Interface InvariantNode
- InvariantExpressionNode, InvariantFactory
- AbstractInvariant, InvariantGroup
public interface InvariantNode
Common interface for all elements that can be part of an
InvariantGroup
,
i.e., invariants, invariant factories or invariant groups.
getChildren
public Iterable getChildren()
Return the list of children of this node. Returns null for a node
which is not supposed to have children. Returns an empty list for nodes
that can have children, but currently have none.
getName
public String getName()
Return a localized name for this node.