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

C

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

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

Casts the actual runtime type of this instance to the specified classifier.

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

checkContext(Start) - Method in class de.tuberlin.cs.cis.ocl.check.ContextChecker

Runs a context check on specified OCL constraints in the context of this context checker's model.

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

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

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

Describes a classifier of the model.

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

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

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

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

collect(OclExpression) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.BagInstance

collect(OclExpression) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SequenceInstance

collect(OclExpression) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.SetInstance

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

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

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

Collection(Classifier) - Static method in class de.tuberlin.cs.cis.ocl.type.Classifier

The predefined type Collection(T), where T is a type that parameterizes the collection as defined in OCL 1.5 (6.8.2.1).

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

Represents an instance of the OCL type Collection.

CollectionInstance(Type, Collection) - Constructor for class de.tuberlin.cs.cis.ocl.eval.instance.CollectionInstance

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

collectionValue(OclCollection) - Static method in class de.tuberlin.cs.cis.ocl.eval.instance.CollectionInstance

Determines the Java Collection representation of an OclCollection value.

Company - class de.tuberlin.cs.cis.ocl.example.eval.Company.

Represents a Company contained in the Example Class Diagram of OCL1.5 chapter 6.2.2.

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

The type Company

Company() - Constructor for class de.tuberlin.cs.cis.ocl.example.eval.Company

Constructs a company

Company(String, Integer) - Constructor for class de.tuberlin.cs.cis.ocl.example.eval.Company

Constructs a company by its name and number of employees.

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

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

Results in the concatenation of this instance and string2.

ConceptFactory - class de.tuberlin.cs.cis.ocl.model.mofbridge.ConceptFactory.

a factory for the construction and mapping of concepts.

ConceptFactory() - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.ConceptFactory

Constructs a stadard ConceptFactory.

ConceptFactory(Properties) - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.ConceptFactory

Constructs a ConceptFactory that is configured with non standard properties.

ConfigurationLoader - class de.tuberlin.cs.cis.ocl.util.ConfigurationLoader.

Loads configurations or properties of configuratable Objects in the framework.

ConfigurationLoader() - Constructor for class de.tuberlin.cs.cis.ocl.util.ConfigurationLoader

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

Test if this type conforms to the parameter.

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

Uses the inherited contract from Type.

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

Uses the contract inherited from Type.

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

A general instance of a type conforms to another general instance if its type conforms to the type of the other general instance.

Constants - class de.tuberlin.cs.cis.ocl.model.mofbridge.mdr.Constants.

various constants used by the xmi module.

Constants() - Constructor for class de.tuberlin.cs.cis.ocl.model.mofbridge.mdr.Constants

ConstraintParameter - class de.tuberlin.cs.cis.ocl.eval.report.ConstraintParameter.

Represents the self and result parameter a constraint can be parameterized with.

ConstraintParameter(Instance) - Constructor for class de.tuberlin.cs.cis.ocl.eval.report.ConstraintParameter

Constructs a parameter invariants and preconditions are parameterized with.

ConstraintParameter(Instance, Instance) - Constructor for class de.tuberlin.cs.cis.ocl.eval.report.ConstraintParameter

Constructs a parameter for postconditions.

ConstraintSummary - class de.tuberlin.cs.cis.ocl.eval.report.ConstraintSummary.

Summarises the results obtained from evaluating a constraint.

ConstraintSummary(AConstraintContextBodypart) - Constructor for class de.tuberlin.cs.cis.ocl.eval.report.ConstraintSummary

Constructs a constraint summary.

contains(Identifier) - Method in class de.tuberlin.cs.cis.ocl.env.Environment

Determines if the identifier is already bound in the environment

ContextChecker - class de.tuberlin.cs.cis.ocl.check.ContextChecker.

Controls the use of OCL constructs represented by an abstract syntax tree produced by the parser.

ContextChecker(TypeFacade) - Constructor for class de.tuberlin.cs.cis.ocl.check.ContextChecker

Constructs a context checker in the context of a model.

ContextSummary - class de.tuberlin.cs.cis.ocl.eval.report.ContextSummary.

Summarises the evaluation of constraints contained in a context.

ContextSummary(PContextDeclaration) - Constructor for class de.tuberlin.cs.cis.ocl.eval.report.ContextSummary

Constructs a summary of a context by its context declaration.

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

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

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

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

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

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

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

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

The number of times that object occurs in this collection.

customerA - Variable in class de.tuberlin.cs.cis.ocl.example.eval.Bank

Represents the association end customer