tudresden.ocl.check.types
Class OclState
java.lang.Object
tudresden.ocl.check.types.OclState
- All Implemented Interfaces:
- Any, Type
- public class OclState
- 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 |
Method Summary |
boolean |
conformsTo(Type t)
|
boolean |
equals(Object o)
|
int |
hashCode()
It will be nessary to redefine the hashCode if equality of types is not
equality of representation objects. |
boolean |
hasState(String name)
|
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()
|
OclState
public OclState()
navigateQualified
public Type navigateQualified(String name,
Type[] qualifiers)
throws OclTypeException
- 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
- Throws:
OclTypeException
navigateParameterized
public Type navigateParameterized(String name,
Type[] params)
throws OclTypeException
- 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
- Throws:
OclTypeException
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
equals
public boolean equals(Object o)
- Specified by:
equals
in interface Type
hashCode
public int hashCode()
- Description copied from interface:
Type
- It will be nessary to redefine the hashCode if equality of types is not
equality of representation objects.
- Specified by:
hashCode
in interface Type
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.