Uses of Interface
org.eclipse.ocl.expressions.LoopExp

Packages that use LoopExp

Package	Description
org.eclipse.ocl.expressions	Specification of the Expressions package of the Object Constraint Lanuage version 2.0 Abstract Syntax model.
org.eclipse.ocl.expressions.impl	Implementation of the Expressions package of the Object Constraint Lanuage version 2.0 Abstract Syntax model.
org.eclipse.ocl.expressions.operations
org.eclipse.ocl.expressions.util	Generated utilities for working with instances the Expressions model.
org.eclipse.ocl.parser

Uses of LoopExp in org.eclipse.ocl.expressions

Subinterfaces of LoopExp in org.eclipse.ocl.expressions

Modifier and Type	Interface and Description
interface	IterateExp<C,PM> A representation of the model object 'Iterate Exp'.
interface	IteratorExp<C,PM> A representation of the model object 'Iterator Exp'.

Uses of LoopExp in org.eclipse.ocl.expressions.impl

Classes in org.eclipse.ocl.expressions.impl that implement LoopExp

Modifier and Type	Class and Description
class	IterateExpImpl<C,PM> An implementation of the model object 'Iterate Exp'.
class	IteratorExpImpl<C,PM> An implementation of the model object 'Iterator Exp'.
class	LoopExpImpl<C,PM> An implementation of the model object 'Loop Exp'.

Uses of LoopExp in org.eclipse.ocl.expressions.operations

Methods in org.eclipse.ocl.expressions.operations with parameters of type LoopExp

Modifier and Type	Method and Description
static <C,PM> boolean	LoopExpOperations.checkLoopVariableInit(LoopExp<C,PM> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context) self.iterator->forAll(initExpression->isEmpty())
static <C,PM> boolean	LoopExpOperations.checkLoopVariableType(LoopExp<C,PM> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context) self.iterator->forAll(type = source.type.oclAsType(CollectionType).elementType)
static <C,PM> boolean	LoopExpOperations.checkSourceCollection(LoopExp<C,PM> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context) source.type.oclIsKindOf(CollectionType)

Uses of LoopExp in org.eclipse.ocl.expressions.util

Methods in org.eclipse.ocl.expressions.util with parameters of type LoopExp

Modifier and Type	Method and Description
<C,PM> T	ExpressionsSwitch.caseLoopExp(LoopExp<C,PM> object) Returns the result of interpreting the object as an instance of 'Loop Exp'.
boolean	ExpressionsValidator.validateLoopExp_checkLoopVariableInit(LoopExp<?,?> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkLoopVariableInit constraint of 'Loop Exp'.
boolean	ExpressionsValidator.validateLoopExp_checkLoopVariableType(LoopExp<?,?> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkLoopVariableType constraint of 'Loop Exp'.
boolean	ExpressionsValidator.validateLoopExp_checkSourceCollection(LoopExp<?,?> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkSourceCollection constraint of 'Loop Exp'.
boolean	ExpressionsValidator.validateLoopExp(LoopExp<?,?> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context)

Uses of LoopExp in org.eclipse.ocl.parser

Methods in org.eclipse.ocl.parser that return LoopExp

Modifier and Type	Method and Description
protected LoopExp<C,PM>	AbstractOCLAnalyzer.loopExpCS(LoopExpCS loopExpCS, Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env) LoopExpCS