Uses of Interface
de.tuberlin.cs.cis.ocl.eval.instance.Instance

Packages that use Instance

de.tuberlin.cs.cis.ocl.eval.instance	Provides classes for representing the instance level of OCL.
de.tuberlin.cs.cis.ocl.eval.report	Provides classes summarising the interpretation results of OCL constraints.
de.tuberlin.cs.cis.ocl.example.eval	Provides classes implementing an example instance level of a model.
de.tuberlin.cs.cis.ocl.model.eval	Provides classes to describe the instance level of arbitrary models in terms of OCL.
de.tuberlin.cs.cis.ocl.model.mofbridge	Provides classes bridging MOF model information to implement this framework's model interface and thus supporting validation of OCL constraints on MOF compliant metamodels.

Uses of Instance in de.tuberlin.cs.cis.ocl.eval.instance

Classes in de.tuberlin.cs.cis.ocl.eval.instance that implement Instance

class	BagInstance Represents an instance of the OCL type Bag.
class	BooleanInstance Represents an instance of the OCL type Boolean.
class	CollectionInstance Represents an instance of the OCL type Collection.
class	EnumerationInstance Represents an instance of the OCL type Enumeration.
class	IntegerInstance Represents an instance of the OCL type Integer.
class	ModelInstance Represents instances of OCL model types.
class	OclAnyInstance
class	OclExpressionInstance Represents an instance of the OCL type OclExpression.
class	OclStateInstance Represents an instance of the OCL type OclState.
class	OclTypeInstance Represents an instance of the OCL type OclType.
class	PredefinedInstance Represents instances of OCL predefined types.
class	RealInstance Represents an instance of the OCL type Real.
class	SequenceInstance Represents an instance of the OCL type Sequence.
class	SetInstance Represents an instance of the OCL type Set.
class	StringInstance Represents an instance of the OCL type String.

Methods in de.tuberlin.cs.cis.ocl.eval.instance that return Instance

Instance	Instance.invoke(Property op, Instance[] args) Invokes an operation on this instance.
Instance	Instance.navigate(Property assoc, Instance[] qualifiers) Navigates an association of this instance.
Instance	Instance.getValue(Property attr) Returns the value of an attribut of this instance.
Instance	ModelInstance.getValue(Property attribute)
Instance	ModelInstance.invoke(Property operation, Instance[] args)
Instance	ModelInstance.navigate(Property assoc, Instance[] qs)
static Instance	OclExpressionInstance.evaluate(java.util.Vector parameters, OclExpression expr) Evaluates the specified expression with the specified values as parameters.
static Instance	OclExpressionInstance.evaluate(Instance parameter, OclExpression expr) Evaluates the specified expression parameterized with the specified instance.
Instance	PredefinedInstance.getValue(Property attr)
Instance	PredefinedInstance.invoke(Property operation, Instance[] args)
Instance	PredefinedInstance.navigate(Property assoc, Instance[] qualifiers)

Methods in de.tuberlin.cs.cis.ocl.eval.instance with parameters of type Instance

Instance	Instance.invoke(Property op, Instance[] args) Invokes an operation on this instance.
Instance	Instance.navigate(Property assoc, Instance[] qualifiers) Navigates an association of this instance.
Instance	ModelInstance.invoke(Property operation, Instance[] args)
Instance	ModelInstance.navigate(Property assoc, Instance[] qs)
static Instance	OclExpressionInstance.evaluate(Instance parameter, OclExpression expr) Evaluates the specified expression parameterized with the specified instance.
Instance	PredefinedInstance.invoke(Property operation, Instance[] args)
Instance	PredefinedInstance.navigate(Property assoc, Instance[] qualifiers)

Uses of Instance in de.tuberlin.cs.cis.ocl.eval.report

Constructors in de.tuberlin.cs.cis.ocl.eval.report with parameters of type Instance

ConstraintParameter(Instance self, Instance result)
Constructs a parameter for postconditions.

ConstraintParameter(Instance self, Instance result)
Constructs a parameter for postconditions.

ConstraintParameter(Instance self)
Constructs a parameter invariants and preconditions are parameterized with.

Uses of Instance in de.tuberlin.cs.cis.ocl.example.eval

Methods in de.tuberlin.cs.cis.ocl.example.eval with parameters of type Instance

InstanceDescriptor[]

ExampleInstanceDesc.navigate(TypedAssociation association, Instance[] qualifiers)

Uses of Instance in de.tuberlin.cs.cis.ocl.model.eval

Methods in de.tuberlin.cs.cis.ocl.model.eval with parameters of type Instance

InstanceDescriptor[]

InstanceDescriptor.navigate(TypedAssociation association, Instance[] qualifiers) Navigates an association of this instance with the specified qualifiers.

Uses of Instance in de.tuberlin.cs.cis.ocl.model.mofbridge

Methods in de.tuberlin.cs.cis.ocl.model.mofbridge with parameters of type Instance

InstanceDescriptor[]

MofInstance.navigate(TypedAssociation association, Instance[] qualifiers)