All Packages Class Hierarchy This Package Previous Next Index
Class collage.generic.DerivationResultSelection
java.lang.Object
|
+----openstar.generic.ModelSelection
|
+----collage.generic.DerivationResultSelection
- public class DerivationResultSelection
- extends ModelSelection
A derivation result selection is used to navigate through
the collages generated by a concrete derivation in a collage grammar.
- Version:
- 16 Jun 1997
- Author:
- Nils Schwabe
-
index
- The current position within the list of collages.
-
NONE_SELECTED
- This index indicates that no collage is currently selected.
-
DerivationResultSelection(DerivationResult)
-
-
getIndex()
-
-
getResult()
-
-
setIndex(int)
-
index
protected int index
- The current position within the list of collages.
NONE_SELECTED
public final static int NONE_SELECTED
- This index indicates that no collage is currently selected.
DerivationResultSelection
public DerivationResultSelection(DerivationResult result)
getResult
public DerivationResult getResult()
setIndex
public void setIndex(int index)
getIndex
public int getIndex()
All Packages Class Hierarchy This Package Previous Next Index