de.tuberlin.cs.cis.ocl.type.reflect
Interface OclState

All Superinterfaces:
OclAny

public interface OclState
extends OclAny

Represents and identifies the OCL 1.5 type OclState. It is used by the context checker to identify the type within the OCL-context. Each instance of this interface is handled as an OCL instance of the type OclState during the evaluation process. For a complete description of the type and its properties (to be specific for this class and its methods) refer to the type description of OCL 1.5.

Author:
fchabar
See Also:
OCL 1.5 Standard, de.tuberlin.cs.cis.ocl.type, de.tuberlin.cs.cis.ocl.eval.instance

Methods inherited from interface de.tuberlin.cs.cis.ocl.type.reflect.OclAny
eq, neq, oclAsType, oclInState, oclIsKindOf, oclIsNew, oclIsTypeOf