org.grinvin.invariants
Class InvariantGroup
java.lang.Object
org.grinvin.invariants.InvariantGroup
- InvariantNode
public class InvariantGroup
extends java.lang.Object
Groups a list of invariants, invariant factories or subgroups.
The main purpose of an invariant group is to enable a tree-like display
of invariants and factories, in a GUI-component or as part of the
help system.
InvariantGroup(String name, String insertionPoint) - Construct an empty group with the given internationalized name (caption).
|
InvariantGroup
public InvariantGroup(String name,
String insertionPoint)
Construct an empty group with the given internationalized name (caption).
Initially this group has no children.
name
- Localized name for this groupinsertionPoint
- Identifies this group as an insertion point. A value
of null indicates that the group does not serve as an insertion point.
accept
public void accept(Visitor visitor)
add
public void add(InvariantNode child)
Add a child to the group.
getInsertionPoint
public String getInsertionPoint()
Return the insertion point identifier for this
group, or null if the group does not serve as an insertion point.