tudresden.ocl.check.types.testfacade
Class BankClassifier
java.lang.Object
tudresden.ocl.check.types.testfacade.BankClassifier
- All Implemented Interfaces:
- Any, Type
- class BankClassifier
- 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 |
person
TestClassifier person
BankClassifier
BankClassifier(TestClassifier person)
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 name)
- Specified by:
hasState
in interface Type
- Returns:
- true if this type has a state with the given name
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
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.