Dresden OCL Toolkit

tudresden.ocl.check.types
Interface Any

All Superinterfaces:
Type
All Known Implementing Classes:
Any.VoidAny, BankClassifier, Basic, ClassAny, ModelClass, OclState, OclType, TestClassifier

public interface Any
extends Type

This interface corresponds to the OCL type OclAny. It does not define any additional methods to those inherited from Type

Author:
Frank Finger

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

VOID

public static final Any VOID
A dummy type for Void. To be returned by 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

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.