Dresden OCL Toolkit

tudresden.ocl.lib
Class OclState

java.lang.Object
  extended bytudresden.ocl.lib.OclState

public class OclState
extends Object

This class represents the OCL type OclState. Effectively, it only stores a String that denotes the states name in the manner defined in the OCL specification.

Author:
Frank Finger
See Also:
OclStateAdapter

Field Summary
private  String stateName
          the name of this state
 
Constructor Summary
(package private) OclState(OclString name)
           
(package private) OclState(String name)
           
 
Method Summary
 String getStateName()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

stateName

private String stateName
the name of this state

Constructor Detail

OclState

OclState(String name)

OclState

OclState(OclString name)
Method Detail

getStateName

public String getStateName()
Returns:
the name of this state

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.