Dresden OCL Toolkit

tudresden.ocl.lib
Interface OclStateAdapter


public interface OclStateAdapter

This interface must be implemented if OclAnys operation oclInState is used. The implementation must be able to check the state of objects. That can be done either in a object dependent way, or in object independent way if the state machines are generated by a CASE tool and that tools generation schemes permits a general solution. If the proposed way of state evaluation through OclStates String seems inadequate for performance reasons, consider creating a more efficient subclass of OclState, and a subclass of DefaultOclFactory that uses these custom OclStates.

Author:
Frank Finger
See Also:
OclAny.oclInState(OclState state), OclState, Ocl.getOclStateFor(String s)

Method Summary
 boolean objectInState(Object obj, String stateName)
           
 

Method Detail

objectInState

public boolean objectInState(Object obj,
                             String stateName)
Parameters:
obj - an application object whos state is to be checked
stateName - a String containing the state name
Returns:
true (not OclBoolean.TRUE) if obj is in the state denoted by stateName

Dresden OCL Toolkit

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