protected static class FlowAnalysis.CallPath
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
CallPath(java.util.List<OCLExpression> callPath,
boolean nullOrNonNull) |
Modifier and Type | Method and Description |
---|---|
static java.lang.Integer |
computeHashCode(OCLExpression object)
Return the non-null hashcode of an expression call-path, or null for an unsupported expression term.
|
protected boolean |
getNullOrNonNull() |
protected boolean |
isSamePathAs(OCLExpression candidateObject) |
protected boolean |
isSameTerm(OCLExpression firstExpression,
OCLExpression secondExpression,
java.util.Map<VariableDeclaration,VariableDeclaration> firstVariable2secondVariable) |
protected boolean |
isSameVariable(Variable firstVariable,
Variable secondVariable,
java.util.Map<VariableDeclaration,VariableDeclaration> firstVariable2secondVariable) |
java.lang.String |
toString() |
protected CallPath(@NonNull java.util.List<OCLExpression> callPath, boolean nullOrNonNull)
public static java.lang.Integer computeHashCode(@NonNull OCLExpression object)
protected boolean getNullOrNonNull()
protected boolean isSamePathAs(@NonNull OCLExpression candidateObject)
protected boolean isSameTerm(@NonNull OCLExpression firstExpression, @NonNull OCLExpression secondExpression, @NonNull java.util.Map<VariableDeclaration,VariableDeclaration> firstVariable2secondVariable)
protected boolean isSameVariable(@NonNull Variable firstVariable, @NonNull Variable secondVariable, @NonNull java.util.Map<VariableDeclaration,VariableDeclaration> firstVariable2secondVariable)
@NonNull public java.lang.String toString()
toString
in class java.lang.Object