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

A

ABag(Type) - Static method in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined type Bag(T), where T is a type or an instance of a type that parameterizes the collection as defined in OCL 1.5 (6.8.2.1).
ABoolean - Static variable in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined Type Boolean
abs() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.IntegerInstance
 
abs() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.RealInstance
 
abs() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclReal
Results in the absolute value of this instance.
accept(File, String) - Method in class de.tuberlin.cs.cis.ocl.util.OclFileFilter
Accepts files whose names end with '.ocl' regardless if it's in upper case - or lower case form.
ACollection(Type) - Static method in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined type Collection(T), where T is a type or an instance of a type that parameterizes the collection as defined in OCL 1.5 (6.8.2.1).
addResult(ConstraintParameter, String) - Method in class de.tuberlin.cs.cis.ocl.eval.report.ConstraintSummary
Adds an value to the list of results the constraint is evaluated to.
addResult(ConstraintSummary) - Method in class de.tuberlin.cs.cis.ocl.eval.report.ContextSummary
Adds a result to the list of evaluated constraints.
addResult(ContextSummary) - Method in class de.tuberlin.cs.cis.ocl.eval.report.Report
Adds a result to the report.
age - Variable in class de.tuberlin.cs.cis.ocl.example.eval.Person
Represents the attribute age
allInstances() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.OclTypeInstance
 
allInstances() - Method in class de.tuberlin.cs.cis.ocl.example.eval.ExampleReflector
 
allInstances() - Method in interface de.tuberlin.cs.cis.ocl.model.eval.Reflector
Reflects the set of all instances of this reflector's classifier and all its subtypes in existence.
allInstances() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclType
The set of all instances of this type and all its subtypes in existence.
allInstances() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofReflector
 
allSupertypes() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.OclTypeInstance
 
allSupertypes() - Method in class de.tuberlin.cs.cis.ocl.example.eval.ExampleReflector
 
allSupertypes() - Method in interface de.tuberlin.cs.cis.ocl.model.eval.Reflector
Reflects the transitive closure of the set of all supertypes of this reflector's classifier.
allSupertypes() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclType
The transitive closure of the set of all supertypes of this type.
allSupertypes() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofReflector
 
AllTests - class de.tuberlin.cs.cis.ocl.env.test.AllTests.
Testsuite including all test cases in the package: de.tuberlin.cs.cis.ocl.env.test
AllTests - class de.tuberlin.cs.cis.ocl.type.test.AllTests.
Testsuite including all type-related test cases in the package: de.tuberlin.cs.cis.ocl.check.test
AllTests - class de.tuberlin.cs.cis.ocl.test.AllTests.
Main-Testsuite of the framework.
AllTests - class de.tuberlin.cs.cis.ocl.util.test.AllTests.
 
AllTests - class de.tuberlin.cs.cis.ocl.eval.test.AllTests.
Testsuite including all type-related test cases in the package: de.tuberlin.cs.cis.ocl.eval.test
AllTests - class de.tuberlin.cs.cis.ocl.model.mofbridge.util.test.AllTests.
Tests for de.tuberlin.cs.cis.ocl.model.mofbridge.util.test.
AllTests - class de.tuberlin.cs.cis.ocl.model.uml.test.AllTests.
Tests for de.tuberlin.cs.cis.ocl.model.uml
AllTests - class de.tuberlin.cs.cis.ocl.eval.instance.test.AllTests.
Testsuite including all type-related test cases in the package: de.tuberlin.cs.cis.ocl.eval.instance.test
AllTests - class de.tuberlin.cs.cis.ocl.check.test.AllTests.
Testsuite including all test cases in the package: de.tuberlin.cs.cis.ocl.check.test
AllTests - class de.tuberlin.cs.cis.ocl.example.eval.test.AllTests.
Testsuite including all type-related test cases in the package: de.tuberlin.cs.cis.ocl.example.eval.test
AllTests - class de.tuberlin.cs.cis.ocl.parser.test.AllTests.
Performs all test included in the package de.tuberlin.cs.cis.ocl.parser.test.
AllTests - class de.tuberlin.cs.cis.ocl.model.mofbridge.test.AllTests.
* Test for de.tuberlin.cs.cis.ocl.model.mofbridge.
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.env.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.type.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.util.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.eval.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.util.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.model.uml.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.check.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.example.eval.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.parser.test.AllTests
 
AllTests() - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.test.AllTests
 
AlreadyBoundException - exception de.tuberlin.cs.cis.ocl.env.AlreadyBoundException.
thrown if an identifier is already bound to a type or a value in the environment.
AlreadyBoundException() - Constructor for class de.tuberlin.cs.cis.ocl.env.AlreadyBoundException
 
AmbiguousTypeException - exception de.tuberlin.cs.cis.ocl.model.check.AmbiguousTypeException.
Thrown if a type is ambigiously described within a model.
AmbiguousTypeException() - Constructor for class de.tuberlin.cs.cis.ocl.model.check.AmbiguousTypeException
 
and(OclBoolean) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.BooleanInstance
 
and(OclBoolean) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclBoolean
Results in True if either this instance and b2 is true.
AnEnumeration - Static variable in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined Type Enumeration
AnInteger - Static variable in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined Type Integer
Annotation - class de.tuberlin.cs.cis.ocl.env.Annotation.
An annotation on an Identifier.
Annotation(Identifier, Property) - Constructor for class de.tuberlin.cs.cis.ocl.env.Annotation
Constructs an annotation annotating a property on an identifier.
Annotation(Identifier, Type) - Constructor for class de.tuberlin.cs.cis.ocl.env.Annotation
Constructs an annotation that annotates an identifier with a specified type.
Annotation(Identifier, Type[]) - Constructor for class de.tuberlin.cs.cis.ocl.env.Annotation
Constructs an annotation annotating more then one type on an identifier.
AnOclAny - Static variable in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined Type OclAny
AnOclState - Static variable in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined Type OclState
any(OclExpression) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.CollectionInstance
 
any(OclExpression) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclCollection
Returns any element in this collection for which expr evaluates to True.
append(Object) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SequenceInstance
 
append(Object) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclSequence
 
AReal - Static variable in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined Type Real
asBag() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SequenceInstance
 
asBag() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SetInstance
 
asBag() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclSequence
 
asBag() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclSet
 
ASequence(Type) - Static method in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined type Sequence(T), where T is a type or an instance of a type that parameterizes the collection as defined in OCL 1.5 (6.8.2.1).
ASet(Type) - Static method in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined type Set(T), where T is a type or an instance of a type that parameterizes the collection as defined in OCL 1.5 (6.8.2.1).
asSequence() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.BagInstance
 
asSequence() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SetInstance
 
asSequence() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclBag
 
asSequence() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclSet
 
asSet() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.BagInstance
 
asSet() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SequenceInstance
 
asSet() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclBag
 
asSet() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclSequence
 
ASSOCIATION - Static variable in class de.tuberlin.cs.cis.ocl.type.Property
Indicats that a property is an association
associationEnds() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.OclTypeInstance
 
associationEnds() - Method in class de.tuberlin.cs.cis.ocl.example.eval.ExampleReflector
 
associationEnds() - Method in interface de.tuberlin.cs.cis.ocl.model.eval.Reflector
Reflects the set of names of the navigable associationEnds of this reflector's classifier.
associationEnds() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclType
The set of names of the navigable associationEnds of this type, as they are defined in the model.
associationEnds() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofReflector
 
AString - Static variable in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined Type String
at(OclInteger) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SequenceInstance
 
at(OclInteger) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclSequence
 
ATTRIBUTE - Static variable in class de.tuberlin.cs.cis.ocl.type.Property
Indicats that a property is an attribute
attributes() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.OclTypeInstance
 
attributes() - Method in class de.tuberlin.cs.cis.ocl.example.eval.ExampleReflector
 
attributes() - Method in interface de.tuberlin.cs.cis.ocl.model.eval.Reflector
Reflects the set of names of the attributes of this reflector's classifier.
attributes() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclType
The set of names of the attributes of this type, as they are defined in the model.
attributes() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofReflector
 

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