Package | Description |
---|---|
org.eclipse.ocl.pivot.internal.manager |
Modifier and Type | Method and Description |
---|---|
static FlowAnalysis |
FlowAnalysis.getFlowAnalysis(EnvironmentFactory environmentFactory,
OCLExpression contextExpression) |
FlowAnalysis |
MetamodelManagerInternal.MetamodelManagerInternalExtension2.getFlowAnalysis(OCLExpression oclExpression) |
FlowAnalysis |
PivotMetamodelManager.getFlowAnalysis(OCLExpression oclExpression) |
Constructor and Description |
---|
AbstractDeducer(FlowAnalysis flowAnalysis) |
DeducerFromFalse(FlowAnalysis flowAnalysis) |
DeducerFromNull(FlowAnalysis flowAnalysis,
boolean isNull) |
DeducerFromTrue(FlowAnalysis flowAnalysis) |