tudresden.ocl.check.types.testfacade
Class TestClassifier
java.lang.Object
tudresden.ocl.check.types.testfacade.TestClassifier
- All Implemented Interfaces:
- Any, Type
- class TestClassifier
- extends Object
- implements Any
Nested classes inherited from class tudresden.ocl.check.types.Any |
Any.VoidAny |
Fields inherited from interface tudresden.ocl.check.types.Any |
VOID |
name
String name
features
HashMap features
assocEnds
HashMap assocEnds
TestClassifier
TestClassifier(String n)
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
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.