Overview Package Tree Index Deprecated About
Prev Class | Next ClassFrames | No Frames
Summary: Nested | Field | Method | ConstrDetail: Nested | Field | Method | Constr

org.grinvin.invariants

Interface InvariantNode

Known Subinterfaces:
InvariantExpressionNode, InvariantFactory
Known Implementing Classes:
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.

Nested Class Summary

static interface
InvariantNode.Visitor
Interface for visitors to these nodes.

Method Summary

void
accept(InvariantNode.Visitor visitor)
Accept a visitor on this node.
Iterable
getChildren()
Return the list of children of this node.
String
getName()
Return a localized name for this node.

Method Details

accept

public void accept(InvariantNode.Visitor visitor)
Accept a visitor on this node.

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.

Overview Package Tree Index Deprecated About