Overview  Package  Class  Use  Tree  Deprecated   Index  Help 
 PREV LETTER   NEXT LETTER FRAMES    NO FRAMES    
A B C D E F G H I J L M N O P Q R S T U V W X

D

date - Variable in class de.tuberlin.cs.cis.ocl.example.eval.Marriage
Represents the attribute date
DATE - Static variable in class de.tuberlin.cs.cis.ocl.example.check.ExampleTypeDesc
The utility type Date
de.tuberlin.cs.cis.ocl.check - package de.tuberlin.cs.cis.ocl.check
Provides classes for OCL context and type checking.
de.tuberlin.cs.cis.ocl.check.test - package de.tuberlin.cs.cis.ocl.check.test
Provides classes for testing the framework's context checker.
de.tuberlin.cs.cis.ocl.env - package de.tuberlin.cs.cis.ocl.env
Provides classes for the framework's parsing environment.
de.tuberlin.cs.cis.ocl.env.test - package de.tuberlin.cs.cis.ocl.env.test
Provides classes for testing the framework's environment.
de.tuberlin.cs.cis.ocl.eval - package de.tuberlin.cs.cis.ocl.eval
Provides classes for evaluation of OCL constraints.
de.tuberlin.cs.cis.ocl.eval.instance - package de.tuberlin.cs.cis.ocl.eval.instance
Provides classes for representing the instance level of OCL.
de.tuberlin.cs.cis.ocl.eval.instance.test - package de.tuberlin.cs.cis.ocl.eval.instance.test
Provides classes for testing the framework's instance level representation.
de.tuberlin.cs.cis.ocl.eval.report - package de.tuberlin.cs.cis.ocl.eval.report
Provides classes summarising the interpretation results of OCL constraints.
de.tuberlin.cs.cis.ocl.eval.test - package de.tuberlin.cs.cis.ocl.eval.test
Provides classes for testing the framework's evaluator.
de.tuberlin.cs.cis.ocl.example.check - package de.tuberlin.cs.cis.ocl.example.check
Provides classes implementing an example type level of a model.
de.tuberlin.cs.cis.ocl.example.check.test - package de.tuberlin.cs.cis.ocl.example.check.test
Provides classes for testing the framework's context checker with the example model's type level.
de.tuberlin.cs.cis.ocl.example.eval - package de.tuberlin.cs.cis.ocl.example.eval
Provides classes implementing an example instance level of a model.
de.tuberlin.cs.cis.ocl.example.eval.test - package de.tuberlin.cs.cis.ocl.example.eval.test
Provides classes for testing the framework's evaluator with the example model's type and instance level.
de.tuberlin.cs.cis.ocl.model - package de.tuberlin.cs.cis.ocl.model
Provides classes to describe arbitrary models in terms of OCL.
de.tuberlin.cs.cis.ocl.model.check - package de.tuberlin.cs.cis.ocl.model.check
Provides classes to describe the type level of arbitrary models in terms of OCL.
de.tuberlin.cs.cis.ocl.model.eval - package 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.mof - package de.tuberlin.cs.cis.ocl.model.mof
Provides classes bridging the JMI description of the MOF Model which enables the validation of M2-level constraints on MOF metamodels (e.g. the UML metamodel).
de.tuberlin.cs.cis.ocl.model.mofbridge - package 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.
de.tuberlin.cs.cis.ocl.model.mofbridge.mdr - package de.tuberlin.cs.cis.ocl.model.mofbridge.mdr
Provides classes initialising the Meta Data Repository for test purposes of the MOF Bridge.
de.tuberlin.cs.cis.ocl.model.mofbridge.test - package de.tuberlin.cs.cis.ocl.model.mofbridge.test
Provides classes for testing the framework's MOF Bridge.
de.tuberlin.cs.cis.ocl.model.mofbridge.util - package de.tuberlin.cs.cis.ocl.model.mofbridge.util
Provides utility classes for the MOF Bridge.
de.tuberlin.cs.cis.ocl.model.mofbridge.util.test - package de.tuberlin.cs.cis.ocl.model.mofbridge.util.test
Provides classes for testing the MOF Bridge's utility classes.
de.tuberlin.cs.cis.ocl.model.uml - package de.tuberlin.cs.cis.ocl.model.uml
Provides classes bridging the JMI description of the UML metamodel which enables the validation of M1-level constraints on UML models.
de.tuberlin.cs.cis.ocl.model.uml.test - package de.tuberlin.cs.cis.ocl.model.uml.test
Provides classes for testing the framework's validation of OCL constraints on the instance level of the UML metamodel.
de.tuberlin.cs.cis.ocl.parser - package de.tuberlin.cs.cis.ocl.parser
Provides classes for an OCL parser.
de.tuberlin.cs.cis.ocl.parser.test - package de.tuberlin.cs.cis.ocl.parser.test
Provides classes for testing the framework's parser.
de.tuberlin.cs.cis.ocl.test - package de.tuberlin.cs.cis.ocl.test
Provides classes for testing the whole framework.
de.tuberlin.cs.cis.ocl.type - package de.tuberlin.cs.cis.ocl.type
Provides classes to internally represent OCL types.
de.tuberlin.cs.cis.ocl.type.reflect - package de.tuberlin.cs.cis.ocl.type.reflect
Provides classes to reflect predefined OCL types from the Java type system.
de.tuberlin.cs.cis.ocl.type.test - package de.tuberlin.cs.cis.ocl.type.test
Provides classes for testing the internally used type system implementation.
de.tuberlin.cs.cis.ocl.util - package de.tuberlin.cs.cis.ocl.util
Provides utility classes used throughout the framework.
de.tuberlin.cs.cis.ocl.util.test - package de.tuberlin.cs.cis.ocl.util.test
Provides classes for testing the framework's utility classes.
DEFAULT_REPOSITORY - Static variable in class de.tuberlin.cs.cis.ocl.model.mofbridge.mdr.EveMDRManager
 
DEFAULT_STORAGE_MECHANISM - Static variable in class de.tuberlin.cs.cis.ocl.model.mofbridge.mdr.Constants
The key used to indicate to the MDR the storage mechanism to use.
definesState(String) - Method in class de.tuberlin.cs.cis.ocl.type.ModelType
Tests if this model type defines the specified state.
DescAdapter - class de.tuberlin.cs.cis.ocl.type.test.DescAdapter.
A description adapter used for testing purposes only.
DescAdapter() - Constructor for class de.tuberlin.cs.cis.ocl.type.test.DescAdapter
 
DIAGRAM - Static variable in class de.tuberlin.cs.cis.ocl.example.check.ExampleTypeFacade
All types contained in the example model class diagram.
div(OclInteger) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.IntegerInstance
 
div(OclInteger) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclInteger
Results in the number of times that i2 fits completely within this instance.
division(OclInteger) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.IntegerInstance
 
division(OclInteger) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclInteger
Represents the operation '/'.
division(OclReal) - Method in class de.tuberlin.cs.cis.ocl.eval.instance.RealInstance
 
division(OclReal) - Method in interface de.tuberlin.cs.cis.ocl.type.reflect.OclReal
Represents the operation '/'.
DOT_SEPERATOR - Static variable in class de.tuberlin.cs.cis.ocl.util.QualifiedName
Contains the standard '.' seperator widly used.
doubleValue(OclReal) - Static method in class de.tuberlin.cs.cis.ocl.eval.instance.RealInstance
Determines the Java double representation of an OclReal value.
Overview  Package  Class  Use  Tree  Deprecated   Index  Help 
 PREV LETTER   NEXT LETTER FRAMES    NO FRAMES    
A B C D E F G H I J L M N O P Q R S T U V W X