org.malai.interaction
Class SpinnerTransition

java.lang.Object
  extended by org.malai.interaction.Transition
      extended by org.malai.interaction.SpinnerTransition
All Implemented Interfaces:
ITransition
Direct Known Subclasses:
SpinnerModified.SpinnerModifiedSpinnerTransition

public class SpinnerTransition
extends Transition

This transition is mapped to a spinner that has been modified.

This file is part of Malai.
Copyright (c) 2009-2012 Arnaud BLOUIN

Malai is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
Malai is distributed without any warranty; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

05/19/2010

Since:
0.2
Author:
Arnaud BLOUIN

Field Summary
protected  javax.swing.JSpinner spinner
          The modified spinner.
 
Fields inherited from class org.malai.interaction.Transition
hid, inputState, outputState
 
Constructor Summary
SpinnerTransition(SourceableState inputState, TargetableState outputState)
          Transition.Transition(SourceableState, TargetableState)
 
Method Summary
 javax.swing.JSpinner getSpinner()
           
 void setSpinner(javax.swing.JSpinner spinner)
          Sets the modified spinner.
 
Methods inherited from class org.malai.interaction.Transition
action, getHid, getInputState, getOutputState, isGuardRespected, setHid, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

spinner

protected javax.swing.JSpinner spinner
The modified spinner.

Constructor Detail

SpinnerTransition

public SpinnerTransition(SourceableState inputState,
                         TargetableState outputState)
Transition.Transition(SourceableState, TargetableState)

Since:
0.2
Method Detail

getSpinner

public javax.swing.JSpinner getSpinner()
Returns:
The modified spinner.
Since:
0.2

setSpinner

public void setSpinner(javax.swing.JSpinner spinner)
Sets the modified spinner.

Parameters:
spinner - The modified spinner.
Since:
0.2