Uses of Package
org.eclipse.ocl.examples.domain.evaluation

Packages that use org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.codegen.inliner   
org.eclipse.ocl.examples.codegen.java   
org.eclipse.ocl.examples.debug.evaluator   
org.eclipse.ocl.examples.debug.vm.evaluator   
org.eclipse.ocl.examples.debug.vm.utils   
org.eclipse.ocl.examples.domain.evaluation   
org.eclipse.ocl.examples.domain.library   
org.eclipse.ocl.examples.domain.values.impl   
org.eclipse.ocl.examples.library.classifier   
org.eclipse.ocl.examples.library.collection   
org.eclipse.ocl.examples.library.ecore   
org.eclipse.ocl.examples.library.enumeration   
org.eclipse.ocl.examples.library.executor   
org.eclipse.ocl.examples.library.integer   
org.eclipse.ocl.examples.library.iterator   
org.eclipse.ocl.examples.library.logical   
org.eclipse.ocl.examples.library.numeric   
org.eclipse.ocl.examples.library.oclany   
org.eclipse.ocl.examples.library.real   
org.eclipse.ocl.examples.library.string   
org.eclipse.ocl.examples.pivot   
org.eclipse.ocl.examples.pivot.ecore   
org.eclipse.ocl.examples.pivot.evaluation   
org.eclipse.ocl.examples.pivot.library   
org.eclipse.ocl.examples.pivot.manager   
org.eclipse.ocl.examples.pivot.uml   
org.eclipse.ocl.examples.pivot.utilities   
org.eclipse.ocl.examples.xtext.console   
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.codegen.inliner
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.codegen.java
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.debug.evaluator
DomainEvaluationEnvironment
           
DomainEvaluator
           
DomainLogger
           
DomainModelManager
          DomainModelManager provides the models to be used during evaluation.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.debug.vm.evaluator
DomainEvaluationEnvironment
           
DomainEvaluator
           
DomainModelManager
          DomainModelManager provides the models to be used during evaluation.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.debug.vm.utils
DomainException
           
EvaluationHaltedException
          Exception indicating a managed interruption of evaluation.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.domain.evaluation
DomainEvaluationEnvironment
           
DomainEvaluator
           
DomainException
           
DomainIterationManager
          DomainIterationManager defines the supervisor for an iteration.
DomainLogger
           
DomainModelManager
          DomainModelManager provides the models to be used during evaluation.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.domain.library
DomainEvaluationEnvironment
           
DomainEvaluator
           
DomainIterationManager
          DomainIterationManager defines the supervisor for an iteration.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.domain.values.impl
DomainException
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.classifier
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.collection
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.ecore
DomainEvaluator
           
DomainModelManager
          DomainModelManager provides the models to be used during evaluation.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.enumeration
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.executor
DomainEvaluationEnvironment
           
DomainEvaluator
           
DomainIterationManager
          DomainIterationManager defines the supervisor for an iteration.
DomainLogger
           
DomainModelManager
          DomainModelManager provides the models to be used during evaluation.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.integer
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.iterator
DomainEvaluator
           
DomainIterationManager
          DomainIterationManager defines the supervisor for an iteration.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.logical
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.numeric
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.oclany
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.real
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.string
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot
DomainModelManager
          DomainModelManager provides the models to be used during evaluation.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.ecore
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.evaluation
DomainEvaluationEnvironment
           
DomainEvaluator
           
DomainLogger
           
DomainModelManager
          DomainModelManager provides the models to be used during evaluation.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.library
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.manager
DomainEvaluator
           
DomainModelManager
          DomainModelManager provides the models to be used during evaluation.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.uml
DomainEvaluator
           
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.utilities
DomainEvaluator
           
DomainException
           
DomainModelManager
          DomainModelManager provides the models to be used during evaluation.
 

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.xtext.console
DomainEvaluator
           
DomainModelManager
          DomainModelManager provides the models to be used during evaluation.