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

T

testAbs() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestIntegerInstance

Tests the OCL abs operation on Integers.

testAllInstances() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclTypeInstance

Tests the OclType.allInstances() operation.

testAllInstances() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofReflector

Tests the reflection of all instances of a classifier in the context of the UML 1.3 metamodel.

testAllSupertypes() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclTypeInstance

Tests the OclType.AllSupertypes() operation.

testAny() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL any operation on Collections.

testAppend() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance

Tests the OCL append operation on Sequences.

testAssociationEnd() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleReflector

Tests reflection of association ends.

testAssociationEnds() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclTypeInstance

Tests the OclType.associationEnds() operation.

testAssociationMultiplicity() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.5.4.2

testAssociationMultiplicity() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.5.4.2: Navigation over Associations

testAt() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance

Tests the OCL at operation on Sequences.

testAttribute() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleInstanceDesc

Tests the reflection of attributes

testAttributes() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclTypeInstance

Tests the OclType.attributes() operation.

testAttributes() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleReflector

Tests reflection of attributes.

testAttributes() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests attribute examples of OCL 1.5 chapter 6.5.2

testAttributes() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.5.2: Properties: Attributes

TestBagInstance - class de.tuberlin.cs.cis.ocl.eval.instance.test.TestBagInstance.

Testcase testing the class BagInstance.

TestBagInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.TestBagInstance

Constructor for TestBagInstance.

TestClassifier - class de.tuberlin.cs.cis.ocl.type.test.TestClassifier.

Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.Classifier.

TestClassifier(String) - Constructor for class de.tuberlin.cs.cis.ocl.type.test.TestClassifier

Constructor for TestClassifier.

testCollect() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance

Tests the OCL collect operation on Sets.

TestCollectionInstance - class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance.

Testcase testing the class CollectionInstance.

TestCollectionInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Constructor for TestCollectionInstance.

TestCollectionType - class de.tuberlin.cs.cis.ocl.type.test.TestCollectionType.

Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.Type.

TestCollectionType(String) - Constructor for class de.tuberlin.cs.cis.ocl.type.test.TestCollectionType

Constructor for TestRefCollectionType.

testCollectOperation() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.6.2

testCollectOperation() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.6.2: Collect Operation

testCombiningProperties() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.5.4.3

testCombiningProperties() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.5.4.3: Combining Properties

testConcat() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestStringInstance

Tests the OCL concat operation on Strings.

testConforms() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestClassifier

testConforms() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestCollectionType

testConforms() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestExpressionType

testConforms() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestModelType

testConforms() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestType

testConstructor() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestCollectionType

TestContextChecker - class de.tuberlin.cs.cis.ocl.check.test.TestContextChecker.

Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.ContextChecker.

TestContextChecker(String) - Constructor for class de.tuberlin.cs.cis.ocl.check.test.TestContextChecker

Constructs the test.

testCorrectFiles() - Method in class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlContextChecker

Context checks well-defined constraints included in "/test_files/context_checker/uml14" in the context of the UML metamodel 1.4.

testCorrectFiles() - Method in class de.tuberlin.cs.cis.ocl.check.test.TestContextChecker

Tests files that are correctly defined.

testCorrectFiles() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofContextChecker

Context checks well-defined constraints included in "/test_files/context_checker/mof" in the context of the MOF Model.

testCount() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL count operation on Collections.

testDiv() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestIntegerInstance

Tests the OCL div operation on Integers.

testDivision() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestRealInstance

Tests the division of Real values.

testEnumerationTypes() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.4.2

testEnumerationTypes() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.4.2: EnumerationTypes

TestEnvironment - class de.tuberlin.cs.cis.ocl.env.test.TestEnvironment.

Tests the environment of the validator

TestEnvironment(String) - Constructor for class de.tuberlin.cs.cis.ocl.env.test.TestEnvironment

Constructor for TestEnvironment.

testEquals() - Method in class de.tuberlin.cs.cis.ocl.env.test.TestNodeIdentifier

Tests the equal method of a node identifier.

testEquals() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestClassifier

testEquals() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestCollectionType

testEquals() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestModelType

testEquals() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestModelInstance

Tests the OCL '=' operation on model instances.

testEvaluate() - Method in class de.tuberlin.cs.cis.ocl.eval.test.TestEvaluator

Tests the evaluation of constraints included in "test_files/evaluator".

TestEvaluator - class de.tuberlin.cs.cis.ocl.eval.test.TestEvaluator.

Testcase testing the class Evaluator.

TestEvaluator(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.test.TestEvaluator

Constructor for TestEvaluator.

TestExampleInstanceDesc - class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleInstanceDesc.

Testcase testing the class ExampleInstanceDesc.

TestExampleInstanceDesc(String) - Constructor for class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleInstanceDesc

Constructor for TestExampleInstanceDescriptor.

TestExampleModel - class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleModel.

TestExampleModel(String) - Constructor for class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleModel

Constructor for TestExampleModel.

TestExampleReflector - class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleReflector.

TestExampleReflector(String) - Constructor for class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleReflector

Constructor for TestExampleReflector.

testExcludes() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL excludes operation on Collections.

testExcludesAll() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL excludesAll operation on Collections.

testExcluding() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance

Tests the OCL excluding operation on Sequences.

testExcluding() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance

Tests the OCL excluding operation on Sets.

testExists() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL exists operation on Collections.

testExistsOperation() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.6.4

testExistsOperation() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.6.4: Exists Operation

testExpression() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestExpressionType

TestExpressionType - class de.tuberlin.cs.cis.ocl.type.test.TestExpressionType.

Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.ExpressionType.

TestExpressionType(String) - Constructor for class de.tuberlin.cs.cis.ocl.type.test.TestExpressionType

testFails() - Method in class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlContextChecker

Tests files containing constraints that are malformed

testFails() - Method in class de.tuberlin.cs.cis.ocl.check.test.TestContextChecker

Tests files containing constraints that are malformed

testFeaturesOnClassesThemselves() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.5.11

testFeaturesOnClassesThemselves() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.5.11: Features on Classes Themselves

testFloor() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestRealInstance

Tests the Real.floor() operation.

testForAll() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL forAll operation on Collections.

testForAllOperation() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.6.3

testForAllOperation() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.6.3: For All Operation

testFrist() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance

Tests the OCL first operation on Sequences.

testGetAttribute() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofClassifierDescriptor

Tests the access to attributes in the context of the MOF Model

testGetClassifier() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestClassifier

testGetElementType() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestClassifier

testGetElementType() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestCollectionType

testGetEnumeration() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofFacade

Tests resolution of enumeration types in the context of the MOF Model.

testGetInstanceType() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestClassifier

testGetModelType() - Method in class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlFacade

Tests the UML Facade accessing classifiers of the UML 1.4 metamodel.

testGetModelType() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofFacade

Tests resolution of classifiers in the context of the MOF Model.

testGetOperation() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestExpressionType

testGetOperationType() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestClassifier

testGetOperationType() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestCollectionType

testGetOperationType() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestType

testGetPredefinedParent() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofInstance

Tests the correctness of UML 1.3 instance descriptions with respect to predefined parents.

testGetPredefinedType() - Method in class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlTypeMapping

Tests the mapping of Alias Types to OCL primitive types.

testGetReflector() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleModel

Tests access to the meta-level of the example model.

testGetStructuralType() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestModelType

testIncludes() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL includes operation on Collections.

testIncludesAll() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL includesAll operation on Collections.

testIncluding() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance

Tests the OCL including operation on Sets.

testInheritedFeatures() - Method in class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlTypeDescriptor

Tests access of inherited features.

TestIntegerInstance - class de.tuberlin.cs.cis.ocl.eval.instance.test.TestIntegerInstance.

Testcase testing the class IntegerInstance.

TestIntegerInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.TestIntegerInstance

Constructor for TestIntegerInstance.

testIntersection() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestBagInstance

Tests the OCL operation intersection on Bags.

testIntersection() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance

Tests the OCL intersection operation on Sets.

testInvariants() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.3.3

testInvariants() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests the examples of chapter 6.3.3 Invariants

testInvokeOperation() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleInstanceDesc

Tests the invocation of operations.

testIsEmpty() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL isEmpty operation on Collections.

testIsInstanceOf() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestClassifier

testIsInstanceOf() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestType

testIsUnique() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL isUnique operation on Collections.

testLast() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance

Tests the OCL mod operation on Sequences.

testLetExpressions() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.4.3

testLetExpressions() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.4.3: Let Expressions and <> constraints

testListRep() - Method in class de.tuberlin.cs.cis.ocl.util.test.TestQualifiedName

Tests transformation to lists.

testMinus() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance

Tests the OCL mod operation on Sets.

testMod() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestIntegerInstance

Tests the OCL mod operation on Integers.

TestModelInstance - class de.tuberlin.cs.cis.ocl.eval.instance.test.TestModelInstance.

Testcase testing the class ModelInstance.

TestModelInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.TestModelInstance

Constructor for TestModelInstance.

TestModelType - class de.tuberlin.cs.cis.ocl.type.test.TestModelType.

Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.ModelType.

TestModelType(String) - Constructor for class de.tuberlin.cs.cis.ocl.type.test.TestModelType

Constructor for TestModelType.

TestMofClassifierDescriptor - class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofClassifierDescriptor.

Tests a MofClassifierDescriptor.

TestMofClassifierDescriptor(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofClassifierDescriptor

Constructor for TestMofModelTypeDescriptor.

TestMofContextChecker - class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofContextChecker.

Tests the MOF Bridge by building a context checker for the MOF Model.

TestMofContextChecker(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofContextChecker

Constructor for TestMofContextChecker.

TestMofEvaluation - class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofEvaluation.

Tests the MOF Bridge by building an interpreter for the UML metamodel.

TestMofEvaluation(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofEvaluation

Constructor for TestMofEvaluation.

TestMofFacade - class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofFacade.

Test the class MofFacade

TestMofFacade(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofFacade

Constructor for TestMofFacade.

TestMofInstance - class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofInstance.

Test the class MofInstance

TestMofInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofInstance

Constructor for TestMofInstance.

TestMofReflector - class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofReflector.

Test the class MofReflector

TestMofReflector(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofReflector

Constructor for TestMofReflector.

testName() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclTypeInstance

Tests the OclType.name() operation.

testNavigateAssociation() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleInstanceDesc

Test the navigation of associations.

testNavigateAssociation() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofClassifierDescriptor

Tests the navigation of associations in the context of the MOF Model

testNavigation() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests navigation examples of OCL 1.5 chapter 6.5.4

testNavigation() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.5.4: Association Ends and Navigation

testNavigationFromAssocClass() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.5.6

testNavigationFromAssocClass() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.5.6: Navigation from Association Classes

testNavigationMult0() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestModelInstance

Tests the OCL navigation of association with multiplicity zero.

testNavigationMult1() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestModelInstance

Tests the OCL navigation of association with multiplicity one.

testNegation() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestIntegerInstance

Tests the OCL negation '-' operator on Integers.

testNodeBinding() - Method in class de.tuberlin.cs.cis.ocl.env.test.TestEnvironment

Test node binding made by the environment

TestNodeIdentifier - class de.tuberlin.cs.cis.ocl.env.test.TestNodeIdentifier.

Tests node identifiers.

TestNodeIdentifier(String) - Constructor for class de.tuberlin.cs.cis.ocl.env.test.TestNodeIdentifier

Constructor for TestNodeIdentifier.

TestOclAnyInstance - class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclAnyInstance.

Testcase testing the class OclAnyInstance.

TestOclAnyInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclAnyInstance

Constructor for TestOclAnyInstance.

TestOclExampleCheck - class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck.

Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.ContextCheck.

TestOclExampleCheck(String) - Constructor for class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Constructs the test

TestOclExampleEvaluation - class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation.

Testcase testing the evaluation of example constraints specified in OCL 1.5.

TestOclExampleEvaluation(String) - Constructor for class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Constructor for TestExampleEvaluation.

testOclIsKindOf() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclAnyInstance

Tests the OclAny.oclIsKindOf() operation.

testOclIsTypeOf() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclAnyInstance

Tests the OclAny.oclIsTypeOf() operation.

TestOclParser - class de.tuberlin.cs.cis.ocl.parser.test.TestOclParser.

Tests the class OclParser.

TestOclParser(String) - Constructor for class de.tuberlin.cs.cis.ocl.parser.test.TestOclParser

Constructor for TestParser.

testOclType() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestClassifier

TestOclTypeInstance - class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclTypeInstance.

Testcase testing the class OclTypeInstance.

TestOclTypeInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclTypeInstance

Constructor for TestOclType.

testOne() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL one operation on Collections.

testOperations() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclTypeInstance

Tests the OclType.operations() operation.

testOperations() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestExampleReflector

Tests reflection of operations.

testOperations() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests operation examples of OCL 1.5 chapter 6.5.2

testOperations() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.5.2: Properties: Operations

testParserWithTestFiles() - Method in class de.tuberlin.cs.cis.ocl.parser.test.TestOclParser

Test the parser with constraints stored in files contained in test_files.parser

testPlus() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestIntegerInstance

Tests the OCL '+' operator on Integers.

testPreAndPostconditions() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.3.4

testPreAndPostconditions() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.3.4 Pre- and Postconditions

testPredefinedPropertiesOnAllObjects() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.5.10 Predefined properties nn All Objects

testPrepend() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance

Tests the OCL mod operation on Sequences.

testPreviousValuesInPostconditions() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.5.15

testPreviousValuesInPostconditions() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.5.15: Previous Values in Postconditions

TestQualifiedName - class de.tuberlin.cs.cis.ocl.util.test.TestQualifiedName.

Tests the class QualifiedName.

TestQualifiedName(String) - Constructor for class de.tuberlin.cs.cis.ocl.util.test.TestQualifiedName

Constructor for TestQualifiedName.

TestQualifiedNameResolver - class de.tuberlin.cs.cis.ocl.model.mofbridge.util.test.TestQualifiedNameResolver.

Tests the class QualifiedNameResolver.

TestQualifiedNameResolver(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.util.test.TestQualifiedNameResolver

Constructor for TestQualifiedNameResolver.

testQualifiedNavigation() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.5.7: Navigation through Qualified Associations

TestRealInstance - class de.tuberlin.cs.cis.ocl.eval.instance.test.TestRealInstance.

Testcase testing the class RealInstance.

TestRealInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.TestRealInstance

Constructor for TestRealInstance.

testReject() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance

Tests the OCL reject operation on Sets.

testResolveQn() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.util.test.TestQualifiedNameResolver

Test the resolution of qualified names in the context of the UML metamodel 1.4.

testResolveQnWithPrefix() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.util.test.TestQualifiedNameResolver

Tests the resolution of prefixed qualified names in the context of the UML metamodel 1.4.

testResolveUnqualifiedName() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.util.test.TestQualifiedNameResolver

Test the resolution of unqualified names in the context of the UML 1.4 metamodel.

testResolvingProperties() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.6.7

testResolvingProperties() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.6.7: Resolving Properties

testRound() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestRealInstance

Tests the Real.round() operation.

testSelect() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance

Tests the OCL select operation on Sets.

testSelectAndRejectOperations() - Method in class de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

Tests examples of OCL 1.5 chapter 6.6.1

testSelectAndRejectOperations() - Method in class de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck

Tests [OCL1.5] 6.6.1: Select and Reject Operations

TestSequenceInstance - class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance.

Testcase testing the class SequenceInstance.

TestSequenceInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance

Constructor for TestSequenceInstance.

TestSetInstance - class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance.

Testcase testing the class SetInstance.

TestSetInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance

Constructor for TestSetInstance.

testSimpleModel() - Method in class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlEvaluator

Tests the interpretation of metamodel constraints included in "test_files/eval/uml13/test.ocl" in the context of the UML 1.3 metamodel.

testSize() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL size operation on Collections.

testSize() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestStringInstance

Tests the OCL size operation on Strings.

testSortedBy() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL sortedBy operation on Collections.

TestStringInstance - class de.tuberlin.cs.cis.ocl.eval.instance.test.TestStringInstance.

Testcase testing the class StringInstance.

TestStringInstance(String) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.test.TestStringInstance

Constructor for TestStringInstance.

testStringRep() - Method in class de.tuberlin.cs.cis.ocl.util.test.TestQualifiedName

Tests transformation to strings.

testSubSequence() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance

Tests the OCL subSequence operation on Sequences.

testSubstring() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestStringInstance

testSum() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestCollectionInstance

Tests the OCL sum operation on Collections.

testSupertyes() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclTypeInstance

Tests the OclType.supertyes() operation.

testSymetricDifference() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance

Tests the OCL symetricDifference operation on Sets.

testToLower() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestStringInstance

Tests the OCL toLower operation on Strings.

testToString() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestCollectionType

testToUpper() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestStringInstance

Tests the OCL toUpper operation on Strings.

TestType - class de.tuberlin.cs.cis.ocl.type.test.TestType.

Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.Type.

TestType(String) - Constructor for class de.tuberlin.cs.cis.ocl.type.test.TestType

testUml() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.test.TestMofEvaluation

Interpretes the correct files included in "test_files/eval/mof/test.ocl" in the context of the UML 1.4 metamodel.

TestUmlContextChecker - class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlContextChecker.

Tests the context checker in the context of UML metamodel constraints.

TestUmlContextChecker(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlContextChecker

Constructor for TestUmlTypeChecker.

TestUmlEvaluator - class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlEvaluator.

Tests the interpretation of UML metamodel constraints.

TestUmlEvaluator(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlEvaluator

Constructor for TestUmlEvaluator.

TestUmlFacade - class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlFacade.

Tests the class UmlFacade.

TestUmlFacade(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlFacade

TestUmlTypeDescriptor - class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlTypeDescriptor.

Tests the UML type descriptors.

TestUmlTypeDescriptor(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlTypeDescriptor

Constructor for TestUmlTypeDescriptor.

TestUmlTypeMapping - class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlTypeMapping.

Tests the contextual binding of UML.

TestUmlTypeMapping(String) - Constructor for class de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlTypeMapping

Constructor for TestUmlTypeMapper.

testUnion() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestBagInstance

Tests the OCL operation union on Bags.

testUnion() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance

Tests the OCL union operation on Sequences.

testUnion() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.test.TestSetInstance

Tests the OCL union operation on Sets.

testWithMalformedDescriptor() - Method in class de.tuberlin.cs.cis.ocl.type.test.TestModelType

title - Variable in class de.tuberlin.cs.cis.ocl.example.eval.Job

Represents the attribute title

tokenize(Node) - Static method in class de.tuberlin.cs.cis.ocl.util.NodeTokenizer

Extracts all tokens of a node.

toList() - Method in class de.tuberlin.cs.cis.ocl.util.QualifiedName

toLower() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.StringInstance

toLower() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclString

Results in the value of this instance with all uppercase characters converted to lowercase characters.

toString() - Method in class de.tuberlin.cs.cis.ocl.eval.report.ConstraintParameter

toString() - Method in class de.tuberlin.cs.cis.ocl.eval.report.ConstraintSummary

toString() - Method in class de.tuberlin.cs.cis.ocl.eval.report.ContextSummary

toString() - Method in class de.tuberlin.cs.cis.ocl.eval.report.Report

toString() - Method in class de.tuberlin.cs.cis.ocl.util.OclAnalysisException

toString() - Method in class de.tuberlin.cs.cis.ocl.util.QualifiedName

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

toString() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.ModelInstance

toString() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.OclStateInstance

toString() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.PredefinedInstance

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

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

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

toString() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.mdr.UmlMDRepository

toString() - Method in class de.tuberlin.cs.cis.ocl.example.eval.Bank

toString() - Method in class de.tuberlin.cs.cis.ocl.example.eval.Company

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

toString() - Method in class de.tuberlin.cs.cis.ocl.example.eval.Job

toString() - Method in class de.tuberlin.cs.cis.ocl.example.eval.Marriage

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

toString() - Method in class de.tuberlin.cs.cis.ocl.example.eval.Sex

toString() - Method in class de.tuberlin.cs.cis.ocl.example.eval.Void

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

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

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

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

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

toString() - Method in class de.tuberlin.cs.cis.ocl.env.Binding

toString() - Method in class de.tuberlin.cs.cis.ocl.env.NameIdentifier

toString() - Method in class de.tuberlin.cs.cis.ocl.env.NodeIdentifier

toString() - Method in class de.tuberlin.cs.cis.ocl.env.OperationIdentifier

toString() - Method in class de.tuberlin.cs.cis.ocl.env.PropertyIdentifier

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

toString() - Method in class de.tuberlin.cs.cis.ocl.model.mofbridge.MofFeature

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

toUpper() - Method in class de.tuberlin.cs.cis.ocl.eval.instance.StringInstance

toUpper() - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclString

Results in the value of this instance with all lowercase characters converted to uppercase characters.

TRUE - Static variable in class de.tuberlin.cs.cis.ocl.eval.instance.BooleanInstance

Constant describing the boolean OCL value true

Type - class de.tuberlin.cs.cis.ocl.type.Type.

OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

TypeCastException - exception de.tuberlin.cs.cis.ocl.model.eval.TypeCastException.

Thrown when an instance's actual type does not conform to a type it is tried to cast the instance to.

TypeCastException() - Constructor for class de.tuberlin.cs.cis.ocl.model.eval.TypeCastException

TypeConformanceException - exception de.tuberlin.cs.cis.ocl.check.TypeConformanceException.

Thrown when a type or a property of a type does not conform to the OCL 1.5 type system or is ambigious.

TypeConformanceException(Token, String) - Constructor for class de.tuberlin.cs.cis.ocl.check.TypeConformanceException

Constructs an type conformance exception.

TypedAssociation - interface de.tuberlin.cs.cis.ocl.model.check.TypedAssociation.

A TypedAssociation describes an association within the context of OCL 1.5.

TypedProperty - interface de.tuberlin.cs.cis.ocl.model.check.TypedProperty.

Describes a model-property as defined in OCL 1.5.

TypeFacade - interface de.tuberlin.cs.cis.ocl.model.check.TypeFacade.

A TypeFacade is a facade used to access the types of a model via its names.