Package | Description |
---|---|
org.eclipse.ocl.cst | |
org.eclipse.ocl.cst.impl | |
org.eclipse.ocl.cst.util | |
org.eclipse.ocl.parser |
Modifier and Type | Method and Description |
---|---|
InvCS |
CSTFactory.createInvCS()
Returns a new object of class 'Inv CS'.
|
Modifier and Type | Class and Description |
---|---|
class |
InvCSImpl
An implementation of the model object 'Inv CS'.
|
Modifier and Type | Method and Description |
---|---|
InvCS |
CSTFactoryImpl.createInvCS() |
Modifier and Type | Method and Description |
---|---|
T |
CSTSwitch.caseInvCS(InvCS object)
Returns the result of interpreting the object as an instance of 'Inv CS'.
|
Modifier and Type | Method and Description |
---|---|
protected InvCS |
AbstractOCLParser.createInvCS(SimpleNameCS simpleNameCS,
OCLExpressionCS oclExpressionCS)
Creates an invariant constraint.
|
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
|