public class FlowAnalysis
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
protected static class |
FlowAnalysis.AbstractDeducer
A deducer performs a reverse evaluation of an expression whose result is known and defined by the derived class.
|
protected static class |
FlowAnalysis.CallPath |
protected static class |
FlowAnalysis.DeducerFromFalse |
protected static class |
FlowAnalysis.DeducerFromNull |
protected static class |
FlowAnalysis.DeducerFromTrue |
Modifier and Type | Field and Description |
---|---|
protected OCLExpression |
contextExpression |
protected EnvironmentFactory |
environmentFactory |
Modifier | Constructor and Description |
---|---|
protected |
FlowAnalysis(EnvironmentFactory environmentFactory,
OCLExpression contextExpression) |
Modifier and Type | Method and Description |
---|---|
protected void |
addFalseExpression(OCLExpression object) |
protected void |
addNonNullExpression(OCLExpression object) |
protected void |
addNullExpression(OCLExpression object) |
protected void |
addTrueExpression(OCLExpression object) |
protected java.lang.Boolean |
getCallPath(OCLExpression object) |
static OCLExpression |
getControlExpression(OCLExpression contextExpression)
Return the ancestor of contextExpression that shares the same FlowAnalysis as contextExpression
|
static FlowAnalysis |
getFlowAnalysis(EnvironmentFactory environmentFactory,
OCLExpression contextExpression) |
protected java.lang.Boolean |
getVariable(VariableDeclaration variable) |
boolean |
isNonNull(OCLExpression asExpression) |
boolean |
isNull(OCLExpression asExpression) |
protected java.lang.Boolean |
setCallPath(CallExp object,
boolean isNull) |
protected boolean |
setVariable(VariableDeclaration variable,
boolean isNullOrNonNull) |
@NonNull protected final EnvironmentFactory environmentFactory
@NonNull protected final OCLExpression contextExpression
protected FlowAnalysis(@NonNull EnvironmentFactory environmentFactory, @NonNull OCLExpression contextExpression)
@NonNull public static FlowAnalysis getFlowAnalysis(@NonNull EnvironmentFactory environmentFactory, @NonNull OCLExpression contextExpression)
@NonNull public static OCLExpression getControlExpression(@NonNull OCLExpression contextExpression)
protected void addFalseExpression(@NonNull OCLExpression object)
protected void addNonNullExpression(@NonNull OCLExpression object)
protected void addNullExpression(@NonNull OCLExpression object)
protected void addTrueExpression(@NonNull OCLExpression object)
@Nullable protected java.lang.Boolean getCallPath(@NonNull OCLExpression object)
@Nullable protected java.lang.Boolean getVariable(@NonNull VariableDeclaration variable)
public boolean isNonNull(@NonNull OCLExpression asExpression)
public boolean isNull(@NonNull OCLExpression asExpression)
@Nullable protected java.lang.Boolean setCallPath(@NonNull CallExp object, boolean isNull)
protected boolean setVariable(@NonNull VariableDeclaration variable, boolean isNullOrNonNull)