Dresden OCL Toolkit

tudresden.ocl.lib
Interface AllInstancesAdapter


public interface AllInstancesAdapter

This interface allows to make the operation allInstances evaluatable in a specific context.

Author:
Frank Finger
See Also:
Ocl.setAllInstancesAdapter(AllInstancesAdapter a)

Method Summary
 OclSet getAllInstances(OclType t)
           
 

Method Detail

getAllInstances

public OclSet getAllInstances(OclType t)
Returns:
an OclSet containing all instances of the specified type

Dresden OCL Toolkit

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