A B C D E F G H I J L M N O P Q R S T U V W X

I

IDE_VERSION - Static variable in class de.tuberlin.cs.cis.ocl.model.mofbridge.mdr.Constants

Key to determine whether running in Netbeans IDE environment

Identifier - interface de.tuberlin.cs.cis.ocl.env.Identifier.

An identifier useable in the environment.

implies(OclBoolean) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.BooleanInstance

implies(OclBoolean) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclBoolean

Results in True if this instance is false, or if b is true and b2 is true.

includes(Node) - Method in class de.tuberlin.cs.cis.ocl.env.Scope

Determines if this scope completly includes the specified node.

includes(OclAny) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.CollectionInstance

includes(OclAny) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclCollection

Results in True if object is an element of this collection, False otherwise.

includes(Scope) - Method in class de.tuberlin.cs.cis.ocl.env.Scope

Determines if this scope completly includes the specified scope.

includesAll(OclCollection) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.CollectionInstance

includesAll(OclCollection) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclCollection

Does this collection contains all the elements of c2 ?

including(Object) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.BagInstance

including(Object) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SequenceInstance

including(Object) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SetInstance

including(Object) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclBag

including(Object) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclSequence

including(Object) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclSet

income(Date) - Method in class de.tuberlin.cs.cis.ocl.example.eval.Person

Represents the operation Person.income(Date)

Instance - interface de.tuberlin.cs.cis.ocl.eval.instance.Instance.

Abstracts and represents instances for the evaluation proccess.

InstanceDescriptor - interface de.tuberlin.cs.cis.ocl.model.eval.InstanceDescriptor.

Describes an instance of a type within the model.

Integer - Static variable in class de.tuberlin.cs.cis.ocl.type.Classifier

The predefined type Integer as defined in OCL 1.5 (6.8.1.8)

INTEGER - Static variable in class de.tuberlin.cs.cis.ocl.example.check.ExampleTypeDesc

The utility type Integer

IntegerInstance - class de.tuberlin.cs.cis.ocl.eval.instance.IntegerInstance.

Represents an instance of the OCL type Integer.

IntegerInstance(int) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.IntegerInstance

Constructs an instance of the OCL type Real via a Java int.

IntegerInstance(Integer) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.IntegerInstance

Constructs an instance of the OCL type Integer via a Java Integer.

intersection(OclBag) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.BagInstance

intersection(OclBag) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclBag

intersection(OclSet) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.BagInstance

intersection(OclSet) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SetInstance

intersection(OclSet) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclBag

intersection(OclSet) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclSet

intValue(OclInteger) - Static method in class de.tuberlin.cs.cis.ocl.eval.instance.IntegerInstance

Determines the Java int representation of an OclInteger value.

invoke(Property, Instance[]) - Method in interface de.tuberlin.cs.cis.ocl.eval.instance.Instance

Invokes an operation on this instance.

invoke(Property, Instance[]) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.ModelInstance

invoke(Property, Instance[]) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.PredefinedInstance

invoke(TypedProperty, InstanceDescriptor[]) - Method in class de.tuberlin.cs.cis.ocl.example.eval.ExampleInstanceDesc

invoke(TypedProperty, InstanceDescriptor[]) - Method in interface de.tuberlin.cs.cis.ocl.model.eval.InstanceDescriptor

Invokes an operation on this instance with the arguments args.

invoke(TypedProperty, InstanceDescriptor[]) - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofInstance

isAssociation() - Method in class de.tuberlin.cs.cis.ocl.type.Property

Shows whether this property is an association.

isAttribute() - Method in class de.tuberlin.cs.cis.ocl.type.Property

Shows whether this property is an attribute.

isClassifier() - Method in class de.tuberlin.cs.cis.ocl.type.Classifier

Provides the information that this type is a classifier.

isClassifier() - Method in class de.tuberlin.cs.cis.ocl.type.Type

Provides the information if this instance is a classifier.

isCollectionType() - Method in class de.tuberlin.cs.cis.ocl.type.Classifier

Tests if this is a collection type (e.g.

isCollectionType() - Method in class de.tuberlin.cs.cis.ocl.type.ExpressionType

uses the inherited contract from Type.

isCollectionType() - Method in class de.tuberlin.cs.cis.ocl.type.Type

Tests if this is an general instance of a predefined collection type (i.e.

isDescribedBy(ClassifierDescriptor) - Method in class de.tuberlin.cs.cis.ocl.type.ModelType

Tests if this model type is described by the specified ClassifierDescriptor.

isDescribedBy(ClassifierDescriptor) - Method in class de.tuberlin.cs.cis.ocl.type.Type

Tests if this instance's type is described by the specified model type descriptor.

isEmpty() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.CollectionInstance

isEmpty() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclCollection

Is this collection the empty collection?

isEnumerationType() - Method in class de.tuberlin.cs.cis.ocl.type.Type

Tests if this type is an enumeration type.

isExpressionType() - Method in class de.tuberlin.cs.cis.ocl.type.ExpressionType

uses the inherited contract from Type.

isExpressionType() - Method in class de.tuberlin.cs.cis.ocl.type.Type

Tests if this type is derived from the OclExpression-type.

isInstanceOf(Classifier) - Method in class de.tuberlin.cs.cis.ocl.type.Classifier

Tests if this is an instance of the specified type.

isInstanceOf(Classifier) - Method in class de.tuberlin.cs.cis.ocl.type.Type

Tests if this is an instance of the specified type.

isInstanceOf(ClassifierDescriptor, boolean) - Method in class de.tuberlin.cs.cis.ocl.example.eval.ExampleInstanceDesc

isInstanceOf(ClassifierDescriptor, boolean) - Method in interface de.tuberlin.cs.cis.ocl.model.eval.InstanceDescriptor

Determines if this instance is an instance of the specified type.

isInstanceOf(ClassifierDescriptor, boolean) - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofInstance

isInState(String) - Method in class de.tuberlin.cs.cis.ocl.example.eval.ExampleInstanceDesc

isInState(String) - Method in interface de.tuberlin.cs.cis.ocl.model.eval.InstanceDescriptor

Determines if this instance is in state state.

isInState(String) - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofInstance

isLetDefined() - Method in class de.tuberlin.cs.cis.ocl.type.Property

Shows if this property is defined via an let expression.

isMarried - Variable in class de.tuberlin.cs.cis.ocl.example.eval.Person

Represents the attribute isMarried

isModelProperty() - Method in class de.tuberlin.cs.cis.ocl.type.Property

Shows whether this property via the model

isModelType() - Method in class de.tuberlin.cs.cis.ocl.type.ExpressionType

uses the inherited contract from Type.

isModelType() - Method in class de.tuberlin.cs.cis.ocl.type.ModelType

uses the inherited contract from Type.

isModelType() - Method in class de.tuberlin.cs.cis.ocl.type.Type

Tests if this type is a model type.

isNavigated() - Method in class de.tuberlin.cs.cis.ocl.type.ModelType

Provides the information whether this model type has been addressed in an ocl expression via an navigation.

isOperation() - Method in class de.tuberlin.cs.cis.ocl.type.Property

Shows whether this property is an operation.

isOrdered() - Method in interface de.tuberlin.cs.cis.ocl.model.check.TypedAssociation

Returns true if the navigation of this association should result in an ordered collection.

isOrdered() - Method in class de.tuberlin.cs.cis.ocl.example.check.ExampleTypedProperty

isOrdered() - Method in class de.tuberlin.cs.cis.ocl.type.test.DescAdapter

isOrdered() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofAssociationEnd

isPredefined() - Method in class de.tuberlin.cs.cis.ocl.type.Property

Shows whether this property is predefined within OCL 1.5.

isStateDefined(String) - Method in interface de.tuberlin.cs.cis.ocl.model.check.ClassifierDescriptor

Returns true if the specified state is defined on the statemachine attached to this type.

isStateDefined(String) - Method in class de.tuberlin.cs.cis.ocl.example.check.ExampleEnumDesc

isStateDefined(String) - Method in class de.tuberlin.cs.cis.ocl.example.check.ExampleTypeDesc

isStateDefined(String) - Method in class de.tuberlin.cs.cis.ocl.example.check.StateModel

isStateDefined(String) - Method in class de.tuberlin.cs.cis.ocl.type.test.DescAdapter

isStateDefined(String) - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofClassifier

isSubtypeOf(ClassifierDescriptor) - Method in interface de.tuberlin.cs.cis.ocl.model.check.ClassifierDescriptor

Returns true if this type is a subtype of the specified type.

isSubtypeOf(ClassifierDescriptor) - Method in class de.tuberlin.cs.cis.ocl.example.check.ExampleEnumDesc

isSubtypeOf(ClassifierDescriptor) - Method in class de.tuberlin.cs.cis.ocl.example.check.ExampleTypeDesc

isSubtypeOf(ClassifierDescriptor) - Method in class de.tuberlin.cs.cis.ocl.example.check.StateModel

isSubtypeOf(ClassifierDescriptor) - Method in class de.tuberlin.cs.cis.ocl.type.test.DescAdapter

isSubtypeOf(ClassifierDescriptor) - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofClassifier

isUnemployed - Variable in class de.tuberlin.cs.cis.ocl.example.eval.Person

Represents the attribute isUnemployed

isUnique(OclExpression) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.CollectionInstance

isUnique(OclExpression) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclCollection

Results in True if expr evaluates to a different value for each element in this collection; otherwise, result is False.

iterate(OclExpression) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.CollectionInstance

Deprecated. iterations will be implemented in EvaluationAnalzyer

iterate(OclExpression) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclCollection

Iterates over the collection.

iterate(OclExpression) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclSequence