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

Variable Index

 o index
The current position within the list of collages.
 o NONE_SELECTED
This index indicates that no collage is currently selected.

Constructor Index

 o DerivationResultSelection(DerivationResult)

Method Index

 o getIndex()
 o getResult()
 o setIndex(int)

Variables

 o index
  protected int index
The current position within the list of collages.

 o NONE_SELECTED
  public final static int NONE_SELECTED
This index indicates that no collage is currently selected.

Constructors

 o DerivationResultSelection
  public DerivationResultSelection(DerivationResult result)

Methods

 o getResult
  public DerivationResult getResult()
 o setIndex
  public void setIndex(int index)
 o getIndex
  public int getIndex()

All Packages  Class Hierarchy  This Package  Previous  Next  Index