tudresden.ocl.check.types
Class Any.VoidAny
java.lang.Object
tudresden.ocl.check.types.Any.VoidAny
- All Implemented Interfaces:
- Any, Type
- Enclosing class:
- Any
- public static class Any.VoidAny
- 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 type)
Returns true, if and only if the argument is this. |
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()
|
Any.VoidAny
public Any.VoidAny()
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:
IllegalArgumentException
- always
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:
IllegalArgumentException
- always
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
- Throws:
IllegalArgumentException
- always
conformsTo
public boolean conformsTo(Type type)
- Returns true, if and only if the argument is this.
- 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.