|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
This interface corresponds to the OCL type OclAny. It does not define any additional methods to those inherited from Type
Nested Class Summary | |
static class |
Any.VoidAny
|
Field Summary | |
static Any |
VOID
A dummy type for Void. |
Methods inherited from interface tudresden.ocl.check.types.Type |
conformsTo, equals, hashCode, hasState, navigateParameterized, navigateQualified, toString |
Field Detail |
public static final Any VOID
Type.navigateParameterized(java.lang.String, tudresden.ocl.check.types.Type[])
,
if the return type of the requested method is void.
This is ok for the type checker, if the method is in the
context clause of the ocl constraint. However, in the ocl
expression itself this is an error.
This dummy is a don't-touch-me object,
most methods throw an IllegalArgumentException
.
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |