Dresden OCL Toolkit

tudresden.ocl.check.types
Interface Type2

All Superinterfaces:
Type

public interface Type2
extends Type

This interface is version two of the Type interface. It provides an additional method for more fine-grained type-checking. Implementing this interface is recommended, but not mandatory. The method documentation explains which Type - method will be invoked instead, if only Type is implemented.

Author:
Steffen Zschaler
See Also:
Basic, Collection, OclTypeException

Method Summary
 Type navigateParameterizedQuery(String name, Type[] params)
          Navigate to the result type of the query operation name.
 
Methods inherited from interface tudresden.ocl.check.types.Type
conformsTo, equals, hashCode, hasState, navigateParameterized, navigateQualified, toString
 

Method Detail

navigateParameterizedQuery

public Type navigateParameterizedQuery(String name,
                                       Type[] params)
                                throws OclTypeException
Navigate to the result type of the query operation name. This may throw an exception, if the specified operation is not a query. If only Type is implemented, Type.navigateParameterized(java.lang.String, tudresden.ocl.check.types.Type[]) is called instead.

Parameters:
params - the actual argument types
Throws:
OclTypeException

Dresden OCL Toolkit

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