/** * Returns whether the specified variable is alive before the instruction * at the given offset. */ public boolean isAliveBefore(int instructionOffset, int variableIndex) { return variableIndex >= MAX_VARIABLES_SIZE ? partialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex) != null : (isAliveBefore[instructionOffset] & (1L << variableIndex)) != 0; }
/** * Returns whether the specified variable is alive before the instruction * at the given offset. */ public boolean isAliveBefore(int instructionOffset, int variableIndex) { return variableIndex >= MAX_VARIABLES_SIZE ? partialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex) != null : (isAliveBefore[instructionOffset] & (1L << variableIndex)) != 0; }
/** * Returns whether the specified variable is alive before the instruction * at the given offset. */ public boolean isAliveBefore(int instructionOffset, int variableIndex) { return variableIndex >= MAX_VARIABLES_SIZE ? partialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex) != null : (isAliveBefore[instructionOffset] & (1L << variableIndex)) != 0; }
/** * Returns whether the specified variable is alive after the instruction * at the given offset. */ public boolean isAliveAfter(int instructionOffset, int variableIndex) { return variableIndex >= MAX_VARIABLES_SIZE ? partialEvaluator.getVariablesAfter(instructionOffset).getValue(variableIndex) != null : (isAliveAfter[instructionOffset] & (1L << variableIndex)) != 0; }
/** * Returns whether the specified variable is alive after the instruction * at the given offset. */ public boolean isAliveAfter(int instructionOffset, int variableIndex) { return variableIndex >= MAX_VARIABLES_SIZE ? partialEvaluator.getVariablesAfter(instructionOffset).getValue(variableIndex) != null : (isAliveAfter[instructionOffset] & (1L << variableIndex)) != 0; }
/** * Returns whether the specified variable is alive after the instruction * at the given offset. */ public boolean isAliveAfter(int instructionOffset, int variableIndex) { return variableIndex >= MAX_VARIABLES_SIZE ? partialEvaluator.getVariablesAfter(instructionOffset).getValue(variableIndex) != null : (isAliveAfter[instructionOffset] & (1L << variableIndex)) != 0; }
/** * Returns whether the specified variable takes up two entries after the * instruction at the given offset. */ public boolean isCategory2(int instructionOffset, int variableIndex) { return variableIndex >= MAX_VARIABLES_SIZE ? partialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex) != null && partialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex).isCategory2() : (isCategory2[instructionOffset] & (1L << variableIndex)) != 0; }
/** * Returns whether the specified variable takes up two entries after the * instruction at the given offset. */ public boolean isCategory2(int instructionOffset, int variableIndex) { return variableIndex >= MAX_VARIABLES_SIZE ? partialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex) != null && partialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex).isCategory2() : (isCategory2[instructionOffset] & (1L << variableIndex)) != 0; }
/** * Returns whether the specified variable takes up two entries after the * instruction at the given offset. */ public boolean isCategory2(int instructionOffset, int variableIndex) { return variableIndex >= MAX_VARIABLES_SIZE ? partialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex) != null && partialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex).isCategory2() : (isCategory2[instructionOffset] & (1L << variableIndex)) != 0; }
/** * Marks the enum class of the specified stored type as complex. */ private void markStoredComplexEnumType(int offset, int variableIndex) { ReferenceValue referenceValue = partialEvaluator.getVariablesAfter(offset).getValue(variableIndex).referenceValue(); markComplexEnumType(referenceValue); }
/** * Marks the enum class of the specified stored type as complex. */ private void markStoredComplexEnumType(int offset, int variableIndex) { ReferenceValue referenceValue = partialEvaluator.getVariablesAfter(offset).getValue(variableIndex).referenceValue(); markComplexEnumType(referenceValue); }
/** * Marks the enum class of the specified stored type as complex. */ private void markStoredComplexEnumType(int offset, int variableIndex) { ReferenceValue referenceValue = partialEvaluator.getVariablesAfter(offset).getValue(variableIndex).referenceValue(); markComplexEnumType(referenceValue); }
Value valueBefore = simplePartialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex); if (valueBefore == null) Value valueAfter = simplePartialEvaluator.getVariablesAfter(instructionOffset).getValue(variableIndex); if (valueAfter.computationalType() != valueBefore.computationalType())
Value valueBefore = simplePartialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex); if (valueBefore == null) Value valueAfter = simplePartialEvaluator.getVariablesAfter(instructionOffset).getValue(variableIndex); if (valueAfter.computationalType() != valueBefore.computationalType())
Value valueBefore = simplePartialEvaluator.getVariablesBefore(instructionOffset).getValue(variableIndex); if (valueBefore == null) Value valueAfter = simplePartialEvaluator.getVariablesAfter(instructionOffset).getValue(variableIndex); if (valueAfter.computationalType() != valueBefore.computationalType())
if (partialEvaluator.getVariablesAfter(producerOffset).getValue(variableIndex).referenceValue().isNull() == Value.ALWAYS)
if (partialEvaluator.getVariablesAfter(producerOffset).getValue(variableIndex).referenceValue().isNull() == Value.ALWAYS)
if (partialEvaluator.getVariablesAfter(producerOffset).getValue(variableIndex).referenceValue().isNull() == Value.ALWAYS)
Value variable = variablesBefore.getValue(variableIndex); if (variable != null && variable.computationalType() == Value.TYPE_REFERENCE)
Value variable = variablesBefore.getValue(variableIndex); if (variable != null && variable.computationalType() == Value.TYPE_REFERENCE)