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
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
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.