Constructor Detail

• History

  public History()

  Default no-args constructor

Method Detail

• getTransition

  public final SimpleTransition getTransition()

  Get the transition.

  Returns:

  Returns the transition.

• setTransition

  public final void setTransition(SimpleTransition transition)

  Set the transition.

  Parameters:

  transition - The transition to set.

• isDeep

  public final boolean isDeep()

  Is this history "deep" (as against "shallow").

  Returns:

  Returns whether this is a "deep" history

• setType

  public final void setType(String type)

  Parameters:

  type - The history type, which can be "shallow" or "deep"

• getParent

  public TransitionalState getParent()

  Description copied from class: TransitionTarget
  Get the parent TransitionTarget.

  Overrides:

  getParent in class TransitionTarget

  Returns:

  Returns the TransitionalState parent

• setParent

  public final void setParent(TransitionalState parent)

  Set the TransitionalState parent.

  Parameters:

  parent - The parent to set.