Dresden OCL Toolkit

tudresden.ocl.check.types.testfacade
Class TestClassifier

java.lang.Object
  extended bytudresden.ocl.check.types.testfacade.TestClassifier
All Implemented Interfaces:
Any, Type

class TestClassifier
extends Object
implements Any


Nested Class Summary
 
Nested classes inherited from class tudresden.ocl.check.types.Any
Any.VoidAny
 
Field Summary
(package private)  HashMap assocEnds
           
(package private)  HashMap features
           
(package private)  String name
           
 
Fields inherited from interface tudresden.ocl.check.types.Any
VOID
 
Constructor Summary
(package private) TestClassifier(String n)
           
 
Method Summary
 boolean conformsTo(Type t)
           
 TestAssocEnd getAssociationEnd(String assocEnd)
           
 TestBFeature getBehavioralFeature(String name, Type[] params)
           
 TestFeature getFeature(String feature)
           
 String getName()
           
 TestSFeature getStructuralFeature(String name)
           
 Any[] getSupertypes()
           
 boolean hasState(String stateName)
           
 Type navigateParameterized(String name, Type[] params)
          Navigate to the result type of the operation name.
 Type navigateQualified(String name, Type[] qualifiers)
          navigate to the association end or attribute name, possibly with qualifier types; unnamed association ends must by made available by implementing methods with the name of the association end's type, but beginning with a lower case character (see OCL specification for more details)
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface tudresden.ocl.check.types.Type
equals, hashCode
 

Field Detail

name

String name

features

HashMap features

assocEnds

HashMap assocEnds
Constructor Detail

TestClassifier

TestClassifier(String n)
Method Detail

getName

public String getName()

getFeature

public TestFeature getFeature(String feature)

conformsTo

public boolean conformsTo(Type t)
Specified by:
conformsTo in interface Type
Returns:
true if an instance of the type represented by the called object can replace an instance of the type given as parameter

getBehavioralFeature

public TestBFeature getBehavioralFeature(String name,
                                         Type[] params)

getStructuralFeature

public TestSFeature getStructuralFeature(String name)

getAssociationEnd

public TestAssocEnd getAssociationEnd(String assocEnd)

getSupertypes

public Any[] getSupertypes()

navigateQualified

public Type navigateQualified(String name,
                              Type[] qualifiers)
Description copied from interface: Type
navigate to the association end or attribute name, possibly with qualifier types; unnamed association ends must by made available by implementing methods with the name of the association end's type, but beginning with a lower case character (see OCL specification for more details)

Specified by:
navigateQualified in interface Type
Parameters:
qualifiers - the qualifier types; may (and will in most cases) be null, but never an array with length 0

navigateParameterized

public Type navigateParameterized(String name,
                                  Type[] params)
Description copied from interface: Type
Navigate to the result type of the operation name. This must return a valid type whether the specified operation is a query or not.

Implement Type2 to check for query operations.

Specified by:
navigateParameterized in interface Type
Parameters:
params - the actual argument types

hasState

public boolean hasState(String stateName)
Specified by:
hasState in interface Type
Returns:
true if this type has a state with the given name

toString

public String toString()
Specified by:
toString in interface Type

Dresden OCL Toolkit

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