Uses of Interface
org.eclipse.ocl.cst.InvCS

Packages that use InvCS

Package	Description
org.eclipse.ocl.cst
org.eclipse.ocl.cst.impl
org.eclipse.ocl.cst.util
org.eclipse.ocl.parser

Uses of InvCS in org.eclipse.ocl.cst

Methods in org.eclipse.ocl.cst that return InvCS

Modifier and Type	Method and Description
InvCS	CSTFactory.createInvCS() Returns a new object of class 'Inv CS'.

Uses of InvCS in org.eclipse.ocl.cst.impl

Classes in org.eclipse.ocl.cst.impl that implement InvCS

Modifier and Type	Class and Description
class	InvCSImpl An implementation of the model object 'Inv CS'.

Methods in org.eclipse.ocl.cst.impl that return InvCS

Modifier and Type	Method and Description
InvCS	CSTFactoryImpl.createInvCS()

Uses of InvCS in org.eclipse.ocl.cst.util

Methods in org.eclipse.ocl.cst.util with parameters of type InvCS

Modifier and Type	Method and Description
T	CSTSwitch.caseInvCS(InvCS object) Returns the result of interpreting the object as an instance of 'Inv CS'.

Uses of InvCS in org.eclipse.ocl.parser

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

Modifier and Type	Method and Description
protected InvCS	AbstractOCLParser.createInvCS(SimpleNameCS simpleNameCS, OCLExpressionCS oclExpressionCS) Creates an invariant constraint.

Methods in org.eclipse.ocl.parser with parameters of type InvCS

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