Modifier and Type | Field and Description |
---|---|
private SSAIdentifiers<LValue> |
Op03SimpleStatement.ssaIdentifiers |
Modifier and Type | Method and Description |
---|---|
private LValue |
Op02WithProcessedDataAndRefs.getStackLValue(int idx) |
Modifier and Type | Method and Description |
---|---|
SSAIdentifiers<LValue> |
Op03SimpleStatement.getSSAIdentifiers() |
SSAIdentifiers<LValue> |
Op04StructuredStatement.getSSAIdentifiers() |
Modifier and Type | Method and Description |
---|---|
private static java.lang.String |
Op04StructuredStatement.getInnerClassOuterArgName(Method method,
LValue lValueArg) |
private static void |
Op04StructuredStatement.hideField(Op04StructuredStatement root,
MethodPrototype prototype,
ClassFile classFile,
int x,
LocalVariable protoVar,
LValue lValueArg,
java.lang.String overrideName) |
Modifier and Type | Method and Description |
---|---|
private static void |
Op04StructuredStatement.applyLValueReplacer(java.util.Map<LValue,LValue> replacements,
Op04StructuredStatement root) |
private static void |
Op04StructuredStatement.applyLValueReplacer(java.util.Map<LValue,LValue> replacements,
Op04StructuredStatement root) |
private void |
Op03SimpleStatement.collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
void |
Op03SimpleStatement.forceSSAIdentifiers(SSAIdentifiers<LValue> newIdentifiers) |
Constructor and Description |
---|
Op03SimpleStatement(java.util.Set<BlockIdentifier> containedIn,
Statement statement,
SSAIdentifiers<LValue> ssaIdentifiers,
InstrIndex index) |
Modifier and Type | Field and Description |
---|---|
(package private) LValue |
ConditionalRewriter.DiscoveredTernary.lValue |
private LValue |
PrePostchangeAssignmentRewriter.UsageWatcher.needle |
Modifier and Type | Field and Description |
---|---|
private SSAIdentifiers<LValue> |
StatementEquivalenceConstraint.ident1 |
private SSAIdentifiers<LValue> |
StatementEquivalenceConstraint.ident2 |
(package private) java.util.Set<LValue> |
InlineDeAssigner.Deassigner.read |
(package private) java.util.Set<LValue> |
InlineDeAssigner.Deassigner.write |
Modifier and Type | Method and Description |
---|---|
LValue |
InlineDeAssigner.Deassigner.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
NullTypedLValueRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
PrePostchangeAssignmentRewriter.UsageWatcher.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Modifier and Type | Method and Description |
---|---|
private static java.util.Set<LValue> |
WhileRewriter.findForInvariants(Op03SimpleStatement start,
BlockIdentifier whileLoop) |
Modifier and Type | Method and Description |
---|---|
void |
NarrowingTypeRewriter.LValueAssignmentCollector.collect(LValue lValue,
JavaTypeInstance type) |
void |
LValuePropSimple.UsageCollector.collect(LValue lValue,
ReadWrite rw) |
void |
LValuePropSimple.AssignmentCollector.collectMutatedLValue(LValue lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
(package private) static boolean |
Misc.findHiddenIter(Statement statement,
LValue lValue,
Expression rValue,
java.util.Set<Expression> poison) |
private static Op03SimpleStatement |
WhileRewriter.findMovableAssignment(Op03SimpleStatement start,
LValue lValue) |
private static Op03SimpleStatement |
WhileRewriter.getForInvariant(Op03SimpleStatement start,
LValue invariant,
BlockIdentifier whileLoop) |
private static java.util.List<Op03SimpleStatement> |
WhileRewriter.getMutations(java.util.List<Op03SimpleStatement> backSources,
LValue loopVariable,
BlockIdentifier whileBlockIdentifier) |
private static boolean |
RemoveDeterministicJumps.propagateLiteralReturn(Method method,
Op03SimpleStatement original,
Op03SimpleStatement orignext,
LValue originalLValue,
Expression originalRValue,
java.util.Map<LValue,Literal> display) |
(package private) static void |
Misc.replaceHiddenIter(Statement statement,
LValue lValue,
Expression rValue) |
LValue |
InlineDeAssigner.Deassigner.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
NullTypedLValueRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
PrePostchangeAssignmentRewriter.UsageWatcher.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Modifier and Type | Method and Description |
---|---|
private static boolean |
RemoveDeterministicJumps.propagateLiteralReturn(Method method,
Op03SimpleStatement original,
java.util.Map<LValue,Literal> display) |
private static boolean |
RemoveDeterministicJumps.propagateLiteralReturn(Method method,
Op03SimpleStatement original,
Op03SimpleStatement orignext,
LValue originalLValue,
Expression originalRValue,
java.util.Map<LValue,Literal> display) |
Constructor and Description |
---|
DiscoveredTernary(LValue lValue,
Expression e1,
Expression e2) |
UsageWatcher(LValue needle) |
Modifier and Type | Field and Description |
---|---|
(package private) LValue |
SwitchEnumRewriter.EclipseVarResultCollector.field |
(package private) LValue |
SwitchExpressionRewriter.SwitchExpressionSearcher.found |
(package private) LValue |
SwitchEnumRewriter.EclipseVarResultCollector.lookup |
private LValue |
SwitchStringRewriter.EmptySwitchStringMatchResultCollector.lvalue |
private LValue |
SwitchStringRewriter.SwitchStringMatchResultCollector.lvalue |
(package private) LValue |
SyntheticAccessorRewriter.AccessorMatchCollector.lValue |
(package private) LValue |
SyntheticAccessorRewriter.FuncMatchCollector.lValue |
private LValue |
SwitchExpressionRewriter.UsageCheck.target |
private LValue |
SwitchExpressionRewriter.SwitchExpressionTransformer.target |
Modifier and Type | Field and Description |
---|---|
private java.util.Map<LValue,java.util.List<StructuredStatement>> |
InstanceofMatchTidyingRewriter.definitions |
private java.util.Map<LValue,LValue> |
LValueReplacingRewriter.replacements |
private java.util.Map<LValue,LValue> |
LValueReplacingRewriter.replacements |
private java.util.Map<LValue,Expression> |
LambdaRewriter.LambdaInternalRewriter.rewrites |
(package private) java.util.Map<LValue,java.lang.Boolean> |
SwitchExpressionRewriter.LValueSingleUsageCheckingRewriter.usages |
(package private) java.util.Map<LValue,Op04StructuredStatement> |
SwitchExpressionRewriter.LValueSingleUsageCheckingRewriter.usageSites |
Modifier and Type | Method and Description |
---|---|
private LValue |
SwitchExpressionRewriter.extractSwitchLValue(BlockIdentifier blockIdentifier,
Op04StructuredStatement item,
boolean last) |
private static LValue |
EnumSuperRewriter.getLValue(WildcardMatch wcm,
java.lang.String name) |
LValue |
IllegalGenericRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
InstanceofMatchTidyingRewriter.SearchPassRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
LValueReplacingRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
LambdaRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
LambdaRewriter.LambdaInternalRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
PrimitiveBoxingRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
SwitchExpressionRewriter.LValueSingleUsageCheckingRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
SwitchExpressionRewriter.UsageCheck.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
SyntheticAccessorRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
SyntheticAccessorRewriter.VisibiliyDecreasingRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
SyntheticOuterRefRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
VarArgsRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<LValue> |
EnumSuperRewriter.getDeclarationsToNop(WildcardMatch wcm) |
protected java.util.Set<LValue> |
RedundantSuperRewriter.getDeclarationsToNop(WildcardMatch wcm) |
Modifier and Type | Method and Description |
---|---|
private void |
InstanceofMatchTidyingRewriter.addDefinition(StructuredStatement in,
LValue lvalue) |
private void |
ClashDeclarationReducer.doReplace(LValue lv,
java.util.List<LValue> replaceThese,
java.util.List<Op04StructuredStatement> inThese) |
private Expression |
SwitchExpressionRewriter.extractSwitchEntry(LValue target,
BlockIdentifier blockIdentifier,
Op04StructuredStatement body,
java.util.List<Pair<Op04StructuredStatement,StructuredStatement>> replacements,
boolean last) |
private Pair<StructuredCase,Expression> |
SwitchExpressionRewriter.extractSwitchEntryPair(LValue target,
BlockIdentifier blockIdentifier,
Op04StructuredStatement item,
java.util.List<Pair<Op04StructuredStatement,StructuredStatement>> replacements,
boolean last) |
private static ClassFileField |
RecordRewriter.getCFF(LValue lhs,
JavaRefTypeInstance thisType) |
private KleeneStar |
SwitchEnumRewriter.getEnumSugarKleeneStar(LValue lookupTable,
Expression enumObject,
WildcardMatch wcm) |
static Matcher<StructuredStatement> |
ResourceReleaseDetector.getNonTestingStructuredStatementMatcher(WildcardMatch wcm,
LValue throwableLValue,
LValue autoclose) |
static Matcher<StructuredStatement> |
ResourceReleaseDetector.getSimpleStructuredStatementMatcher(WildcardMatch wcm,
LValue throwableLValue,
LValue autoclose) |
static Matcher<StructuredStatement> |
ResourceReleaseDetector.getStructuredStatementMatcher(WildcardMatch wcm,
LValue throwableLValue,
LValue autoclose) |
private static boolean |
SwitchStringRewriter.isLVOk(Expression lve,
LValue lv,
StructuredStatement assign) |
LValue |
IllegalGenericRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
InstanceofMatchTidyingRewriter.SearchPassRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
LValueReplacingRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
LambdaRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
LambdaRewriter.LambdaInternalRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
PrimitiveBoxingRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
SwitchExpressionRewriter.LValueSingleUsageCheckingRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
SwitchExpressionRewriter.UsageCheck.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
SyntheticAccessorRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
SyntheticAccessorRewriter.VisibiliyDecreasingRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
SyntheticOuterRefRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
VarArgsRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
private void |
SwitchEnumRewriter.tryRewriteJavac(SwitchEnumRewriter.SwitchEnumMatchResultCollector mrc,
LValue lookupTable,
boolean expression) |
Modifier and Type | Method and Description |
---|---|
private void |
ClashDeclarationReducer.doReplace(LValue lv,
java.util.List<LValue> replaceThese,
java.util.List<Op04StructuredStatement> inThese) |
private int |
ClashDeclarationReducer.goBack(int idx,
java.util.List<Op04StructuredStatement> statements,
JavaTypeInstance type,
int slot,
java.util.List<LValue> replaceThese,
java.util.List<Op04StructuredStatement> inThese) |
private static boolean |
LambdaRewriter.isNewArrayLambda(Expression e,
java.util.List<Expression> curriedArgs,
java.util.List<LValue> anonymousLambdaArgs) |
Constructor and Description |
---|
SwitchExpressionTransformer(LValue target,
BlockIdentifier blockIdentifier,
java.util.List<Pair<Op04StructuredStatement,StructuredStatement>> replacements,
boolean last) |
UsageCheck(LValue target) |
Constructor and Description |
---|
LambdaInternalRewriter(java.util.Map<LValue,Expression> rewrites) |
LValueReplacingRewriter(java.util.Map<LValue,LValue> replacements) |
LValueReplacingRewriter(java.util.Map<LValue,LValue> replacements) |
Modifier and Type | Field and Description |
---|---|
(package private) LValue |
TryResourcesTransformerBase.ResourceMatch.resource |
(package private) LValue |
TryResourcesTransformerBase.TryResourcesMatchResultCollector.resource |
private LValue |
InstanceOfAssignRewriter.scopedEntity |
(package private) LValue |
TryResourcesTransformerBase.ResourceMatch.throwable |
(package private) LValue |
TryResourcesTransformerBase.TryResourcesMatchResultCollector.throwable |
Modifier and Type | Field and Description |
---|---|
(package private) java.util.Set<LValue> |
TryResourcesTransformerBase.LValueUsageCheckingRewriter.used |
Modifier and Type | Method and Description |
---|---|
private LValue |
ObjectTypeUsageRewriter.handleFieldVariable(FieldVariable fieldVariable) |
LValue |
ControlFlowCleaningTransformer.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
LocalDeclarationRemover.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
NakedNullCaster.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
ObjectTypeUsageRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
TryResourcesTransformerBase.LValueUsageCheckingRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
TypeAnnotationTransformer.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
TypedBooleanTidier.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
VariableNameTidier.NameSimplifier.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Modifier and Type | Method and Description |
---|---|
void |
LValueTypeClashCheck.collect(LValue lValue,
ReadWrite rw) |
void |
LValueTypeClashCheck.collectExpression(LValue lValue,
Expression value) |
void |
LValueTypeClashCheck.collectMutatedLValue(LValue lValue,
StatementContainer<StructuredStatement> statementContainer,
Expression value) |
private Op04StructuredStatement |
TryResourcesTransformerBase.findAutoclosableAssignment(java.util.List<Op04StructuredStatement> preceeding,
LValue resource) |
LValue |
ControlFlowCleaningTransformer.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
LocalDeclarationRemover.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
NakedNullCaster.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
ObjectTypeUsageRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
TryResourcesTransformerBase.LValueUsageCheckingRewriter.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
TypeAnnotationTransformer.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
TypedBooleanTidier.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
VariableNameTidier.NameSimplifier.rewriteExpression(LValue lValue,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Modifier and Type | Method and Description |
---|---|
private void |
VariableNameTidier.NameDiscoverer.addLValues(java.util.Collection<LValue> definedHere) |
Constructor and Description |
---|
InstanceOfAssignRewriter(LValue scopedEntity) |
ResourceMatch(Method resourceMethod,
LValue resource,
LValue throwable) |
ResourceMatch(Method resourceMethod,
LValue resource,
LValue throwable,
boolean reprocessException,
java.util.List<Op04StructuredStatement> removeThese) |
Modifier and Type | Method and Description |
---|---|
LValue |
LValue.applyExpressionRewriter(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
Statement.getCreatedLValue() |
LValue |
LValue.replaceSingleUsageLValues(LValueRewriter lValueRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer) |
Modifier and Type | Method and Description |
---|---|
SSAIdentifiers<LValue> |
Statement.collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
LValue.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
StatementContainer.getSSAIdentifiers() |
java.util.Set<LValue> |
Statement.wantsLifetimeHint() |
Modifier and Type | Method and Description |
---|---|
boolean |
LValue.doesBlackListLValueReplacement(LValue replace,
Expression with) |
boolean |
Statement.doesBlackListLValueReplacement(LValue lValue,
Expression expression) |
static Dumper |
LValue.Creation.dump(Dumper d,
LValue lValue) |
void |
Statement.setLifetimeHint(LValue lv,
boolean usedInChildren) |
Modifier and Type | Method and Description |
---|---|
SSAIdentifiers<LValue> |
Statement.collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
LValue.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
Literal |
Expression.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Modifier and Type | Field and Description |
---|---|
private LValue |
InstanceOfExpressionDefining.defines |
private LValue |
AssignmentExpression.lValue |
private LValue |
LValueExpression.lValue |
private LValue |
ArithmeticMutationOperation.mutated |
private LValue |
ArithmeticPostMutationOperation.mutated |
private LValue |
ArithmeticPreMutationOperation.mutated |
Modifier and Type | Field and Description |
---|---|
private java.util.List<LValue> |
LambdaExpression.args |
Modifier and Type | Method and Description |
---|---|
LValue |
AssignmentExpression.getlValue() |
LValue |
LValueExpression.getLValue() |
abstract LValue |
AbstractAssignmentExpression.getUpdatedLValue() |
LValue |
ArithmeticMutationOperation.getUpdatedLValue() |
LValue |
ArithmeticPostMutationOperation.getUpdatedLValue() |
LValue |
ArithmeticPreMutationOperation.getUpdatedLValue() |
LValue |
AssignmentExpression.getUpdatedLValue() |
Modifier and Type | Method and Description |
---|---|
java.util.List<LValue> |
LambdaExpression.getArgs() |
java.util.Set<LValue> |
BooleanExpression.getLoopLValues() |
java.util.Set<LValue> |
BooleanOperation.getLoopLValues() |
java.util.Set<LValue> |
ComparisonOperation.getLoopLValues() |
java.util.Set<LValue> |
ConditionalExpression.getLoopLValues() |
java.util.Set<LValue> |
NotOperation.getLoopLValues() |
Modifier and Type | Method and Description |
---|---|
boolean |
ArrayIndex.doesBlackListLValueReplacement(LValue replace,
Expression with) |
AbstractMutatingAssignmentExpression |
ArithmeticOperation.getMutationOf(LValue lValue) |
boolean |
ArithmeticOperation.isLiteralFunctionOf(LValue lValue) |
private boolean |
ArithmeticOperation.isLValueExprFor(LValueExpression expression,
LValue lValue) |
boolean |
ArithmeticOperation.isMutationOf(LValue lValue) |
abstract boolean |
AbstractAssignmentExpression.isSelfMutatingOp1(LValue lValue,
ArithOp arithOp) |
boolean |
ArithmeticMutationOperation.isSelfMutatingOp1(LValue lValue,
ArithOp arithOp) |
boolean |
ArithmeticPostMutationOperation.isSelfMutatingOp1(LValue lValue,
ArithOp arithOp) |
boolean |
ArithmeticPreMutationOperation.isSelfMutatingOp1(LValue lValue,
ArithOp arithOp) |
boolean |
AssignmentExpression.isSelfMutatingOp1(LValue lValue,
ArithOp arithOp) |
Modifier and Type | Method and Description |
---|---|
protected void |
BooleanExpression.addIfLValue(Expression expression,
java.util.Set<LValue> res) |
private void |
ComparisonOperation.addIfLValue(Expression expression,
java.util.Set<LValue> res) |
private static java.lang.Boolean |
BooleanOperation.getComputed(Expression e,
java.util.Map<LValue,Literal> display) |
Literal |
AbstractExpression.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
ArithmeticMonOperation.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
ArithmeticOperation.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
AssignmentExpression.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
BooleanExpression.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
BooleanOperation.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
CastExpression.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
ComparisonOperation.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
LValueExpression.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
Literal.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
NotOperation.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Literal |
StackValue.getComputedLiteral(java.util.Map<LValue,Literal> display) |
Constructor and Description |
---|
ArithmeticMutationOperation(BytecodeLoc loc,
LValue mutated,
Expression mutation,
ArithOp op) |
ArithmeticPostMutationOperation(BytecodeLoc loc,
LValue mutated,
ArithOp op) |
ArithmeticPreMutationOperation(BytecodeLoc loc,
LValue mutated,
ArithOp op) |
AssignmentExpression(BytecodeLoc loc,
LValue lValue,
Expression rValue) |
InstanceOfExpressionDefining(BytecodeLoc loc,
InferredJavaType inferredJavaType,
Expression lhs,
JavaTypeInstance typeInstance,
LValue defines) |
LValueExpression(BytecodeLoc loc,
LValue lValue) |
LValueExpression(LValue lValue) |
Constructor and Description |
---|
LambdaExpression(BytecodeLoc loc,
InferredJavaType castJavaType,
java.util.List<LValue> args,
java.util.List<JavaTypeInstance> explicitArgType,
Expression result) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractFieldVariable |
class |
AbstractLValue |
class |
ArrayVariable |
class |
FieldVariable
Note - a field variable LValue means an lValue of ANY object.
|
class |
LocalVariable |
class |
SentinelLocalClassLValue
This is NOT an lvalue, however the definition of a local class follows the same scoping rules
|
class |
StackSSALabel |
class |
StaticVariable |
Modifier and Type | Method and Description |
---|---|
SSAIdentifiers<LValue> |
AbstractFieldVariable.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
ArrayVariable.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
LocalVariable.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
SentinelLocalClassLValue.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
StackSSALabel.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractLValue.doesBlackListLValueReplacement(LValue replace,
Expression with) |
boolean |
ArrayVariable.doesBlackListLValueReplacement(LValue replace,
Expression with) |
Modifier and Type | Method and Description |
---|---|
SSAIdentifiers<LValue> |
AbstractFieldVariable.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
ArrayVariable.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
LocalVariable.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
SentinelLocalClassLValue.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
StackSSALabel.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
Modifier and Type | Field and Description |
---|---|
private static java.util.Map<LValue,Literal> |
ConstantFoldingRewriter.DISPLAY_MAP |
private java.util.Map<LValue,LValue> |
CloneHelper.lValueMap |
private java.util.Map<LValue,LValue> |
CloneHelper.lValueMap |
Modifier and Type | Method and Description |
---|---|
private java.util.Map<LValue,Literal> |
ConstantFoldingRewriter.getDisplayMap() |
Constructor and Description |
---|
CloneHelper(java.util.Map<Expression,Expression> expressionMap,
java.util.Map<LValue,LValue> lValueMap) |
CloneHelper(java.util.Map<Expression,Expression> expressionMap,
java.util.Map<LValue,LValue> lValueMap) |
Modifier and Type | Field and Description |
---|---|
private LValue |
CatchStatement.catching |
private LValue |
ForIterStatement.hiddenList |
private LValue |
ForIterStatement.iterator |
private LValue |
AssignmentPreMutation.lvalue |
private LValue |
AssignmentSimple.lvalue |
Modifier and Type | Method and Description |
---|---|
LValue |
AbstractStatement.getCreatedLValue() |
LValue |
AssignmentPreMutation.getCreatedLValue() |
LValue |
AssignmentSimple.getCreatedLValue() |
LValue |
CatchStatement.getCreatedLValue() |
LValue |
CompoundStatement.getCreatedLValue() |
LValue |
FinallyStatement.getCreatedLValue() |
LValue |
ForIterStatement.getCreatedLValue() |
LValue |
ForIterStatement.getHiddenList() |
Modifier and Type | Method and Description |
---|---|
SSAIdentifiers<LValue> |
AbstractStatement.collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
AssignmentPreMutation.collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
AssignmentSimple.collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
java.util.Set<LValue> |
AbstractStatement.wantsLifetimeHint() |
java.util.Set<LValue> |
SwitchStatement.wantsLifetimeHint() |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractStatement.doesBlackListLValueReplacement(LValue lValue,
Expression expression) |
boolean |
AssignmentSimple.doesBlackListLValueReplacement(LValue lValue,
Expression expression) |
abstract boolean |
AbstractAssignment.isSelfMutatingOp1(LValue lValue,
ArithOp arithOp) |
boolean |
AssignmentPreMutation.isSelfMutatingOp1(LValue lValue,
ArithOp arithOp) |
boolean |
AssignmentSimple.isSelfMutatingOp1(LValue lValue,
ArithOp arithOp) |
void |
AbstractStatement.setLifetimeHint(LValue lv,
boolean usedInChildren) |
void |
SwitchStatement.setLifetimeHint(LValue lv,
boolean usedInChildren) |
Modifier and Type | Method and Description |
---|---|
SSAIdentifiers<LValue> |
AbstractStatement.collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
AssignmentPreMutation.collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
SSAIdentifiers<LValue> |
AssignmentSimple.collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
Constructor and Description |
---|
AssignmentPreMutation(BytecodeLoc loc,
LValue lvalue,
AbstractAssignmentExpression rvalue) |
AssignmentPreMutation(BytecodeLoc loc,
LValue lvalue,
AbstractMutatingAssignmentExpression rvalue) |
AssignmentSimple(BytecodeLoc loc,
LValue lvalue,
Expression rvalue) |
CatchStatement(BytecodeLoc loc,
java.util.List<ExceptionGroup.Entry> exceptions,
LValue catching) |
ForIterStatement(BytecodeLoc loc,
BlockIdentifier blockIdentifier,
LValue iterator,
Expression list,
LValue hiddenList) |
Modifier and Type | Field and Description |
---|---|
private LValue |
LValueAssignmentAndAliasCondenser.LValueStatementContainer.lValue |
private LValue |
LValueAssignmentAndAliasCondenser.VersionedLValue.lValue |
private LValue |
LValueAssignmentExpressionRewriter.lValue |
Modifier and Type | Field and Description |
---|---|
private java.util.List<Pair<LValue,CreationCollector.StatementPair<MemberFunctionInvokation>>> |
CreationCollector.collectedConstructions |
private java.util.Map<LValue,java.util.List<StatementContainer>> |
CreationCollector.collectedCreations |
private java.util.Set<LValue> |
LValueAssignmentAndAliasCondenser.keepConstant |
private java.util.Set<LValue> |
LValueUsageCollectorSimpleRW.read |
private java.util.Set<LValue> |
LValueUsageCollectorSimple.used |
private java.util.Set<LValue> |
LValueUsageCollectorSimpleRW.write |
Modifier and Type | Method and Description |
---|---|
private LValue |
LValueAssignmentAndAliasCondenser.AliasRewriter.getAlias(StackSSALabel stackSSALabel,
LValueAssignmentAndAliasCondenser.ExpressionStatementPair target) |
Modifier and Type | Method and Description |
---|---|
private java.util.Set<LValue> |
LValueAssignmentAndAliasCondenser.findAssignees(Statement s) |
java.util.Set<LValue> |
LValueUsageCollectorSimpleRW.getRead() |
java.util.Collection<LValue> |
LValueUsageCollectorSimple.getUsedLValues() |
java.util.Set<LValue> |
LValueUsageCollectorSimpleRW.getWritten() |
Modifier and Type | Method and Description |
---|---|
void |
LValueAssignmentAndAliasCondenser.checkPostConditions(LValue lValue,
Expression rValue) |
void |
LValueAssignmentAndAliasCondenser.AliasRewriter.checkPostConditions(LValue lValue,
Expression rValue) |
void |
LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass.checkPostConditions(LValue lValue,
Expression rValue) |
void |
LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass.checkPostConditions(LValue lValue,
Expression rValue) |
void |
LValueRewriter.checkPostConditions(LValue lValue,
Expression rValue) |
void |
LValueUsageCollector.collect(LValue lValue,
ReadWrite rw) |
void |
LValueUsageCollectorSimple.collect(LValue lValue,
ReadWrite rw) |
void |
LValueUsageCollectorSimpleRW.collect(LValue lValue,
ReadWrite rw) |
void |
CreationCollector.collectCreation(LValue lValue,
Expression rValue,
StatementContainer container) |
void |
LValueAssignmentAndAliasCondenser.collectMutatedLValue(LValue lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
void |
LValueAssignmentCollector.collectMutatedLValue(LValue lValue,
StatementContainer<T> statementContainer,
Expression value) |
boolean |
LValueAssignmentAndAliasCondenser.explicitlyReplaceThisLValue(LValue lValue) |
boolean |
LValueAssignmentAndAliasCondenser.AliasRewriter.explicitlyReplaceThisLValue(LValue lValue) |
boolean |
LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass.explicitlyReplaceThisLValue(LValue lValue) |
boolean |
LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass.explicitlyReplaceThisLValue(LValue lValue) |
boolean |
LValueRewriter.explicitlyReplaceThisLValue(LValue lValue) |
Expression |
LValueAssignmentAndAliasCondenser.getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<Statement> lvSc) |
Expression |
LValueAssignmentAndAliasCondenser.AliasRewriter.getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<Statement> statementContainer) |
Expression |
LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass.getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<Statement> statementContainer) |
Expression |
LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass.getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<Statement> statementContainer) |
Expression |
LValueRewriter.getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<T> statementContainer) |
static boolean |
SSAIdentifierUtils.isMovableUnder(java.util.Collection<LValue> lValues,
LValue lValueMove,
SSAIdentifiers atTarget,
SSAIdentifiers atSource) |
boolean |
LValueUsageCollectorSimple.isUsed(LValue lValue) |
private void |
CreationCollector.markConstruction(LValue lValue,
MemberFunctionInvokation rValue,
StatementContainer container) |
private void |
CreationCollector.moveDupPostCreation(LValue lValue,
StatementContainer oldCreation,
StatementContainer oldConstruction) |
Modifier and Type | Method and Description |
---|---|
Expression |
LValueAssignmentAndAliasCondenser.getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<Statement> lvSc) |
Expression |
LValueAssignmentAndAliasCondenser.AliasRewriter.getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<Statement> statementContainer) |
Expression |
LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass.getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<Statement> statementContainer) |
Expression |
LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass.getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<Statement> statementContainer) |
Expression |
LValueRewriter.getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<T> statementContainer) |
static boolean |
SSAIdentifierUtils.isMovableUnder(java.util.Collection<LValue> lValues,
LValue lValueMove,
SSAIdentifiers atTarget,
SSAIdentifiers atSource) |
LValueRewriter<Statement> |
LValueAssignmentAndAliasCondenser.keepConstant(java.util.Collection<LValue> usedLValues) |
LValueRewriter<Statement> |
LValueAssignmentAndAliasCondenser.AliasRewriter.keepConstant(java.util.Collection<LValue> usedLValues) |
LValueRewriter<Statement> |
LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass.keepConstant(java.util.Collection<LValue> usedLValues) |
LValueRewriter<Statement> |
LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass.keepConstant(java.util.Collection<LValue> usedLValues) |
LValueRewriter<T> |
LValueRewriter.keepConstant(java.util.Collection<LValue> usedLValues) |
Constructor and Description |
---|
LValueAssignmentExpressionRewriter(LValue lValue,
AbstractAssignmentExpression lValueReplacement,
Op03SimpleStatement source) |
LValueStatementContainer(LValue lValue,
StatementContainer statementContainer) |
VersionedLValue(LValue lValue,
SSAIdent ssaIdent) |
Constructor and Description |
---|
LValueAssignmentAndAliasCondenser(LValueAssignmentAndAliasCondenser other,
java.util.Set<LValue> keepConstant) |
Modifier and Type | Method and Description |
---|---|
void |
FinallyGraphHelper.FinallyEquivalenceConstraint.collectMutatedLValue(LValue lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
Modifier and Type | Field and Description |
---|---|
private LValue |
AbstractLValueScopeDiscoverer.ScopeKey.lValue |
private LValue |
AbstractLValueScopeDiscoverer.ScopeDefinition.lValue |
Modifier and Type | Method and Description |
---|---|
private LValue |
AbstractLValueScopeDiscoverer.ScopeKey.getlValue() |
LValue |
AbstractLValueScopeDiscoverer.ScopeDefinition.getlValue() |
Modifier and Type | Method and Description |
---|---|
void |
LValueScopeDiscoverImpl.collect(LValue lValue,
ReadWrite rw) |
void |
LValueScopeDiscoverer.collect(LValue lValue,
ReadWrite rw) |
void |
LocalClassScopeDiscoverImpl.collect(LValue lValue,
ReadWrite rw) |
void |
AbstractLValueScopeDiscoverer.collectMutatedLValue(LValue lValue,
StatementContainer<StructuredStatement> statementContainer,
Expression value) |
void |
LValueScopeDiscoverer.collectMutatedLValue(LValue lValue,
StatementContainer<StructuredStatement> statementContainer,
Expression value) |
private void |
LocalClassScopeDiscoverImpl.defineHere(LValue lValue,
JavaTypeInstance type,
boolean immediate) |
private boolean |
AbstractLValueScopeDiscoverer.defineInsideSwitchContent(LValue scopedEntity,
java.util.List<AbstractLValueScopeDiscoverer.ScopeDefinition> definitions,
java.util.List<StatementContainer<StructuredStatement>> commonScope) |
private Pair<java.util.List<StatementContainer<StructuredStatement>>,StatementContainer<StructuredStatement>> |
AbstractLValueScopeDiscoverer.ScopeDefinition.getBestScopeFor(LValue lValue,
java.util.Collection<StatementContainer<StructuredStatement>> nestedScope,
StatementContainer<StructuredStatement> exactStatement) |
Constructor and Description |
---|
ScopeDefinition(int depth,
java.util.Stack<StatementContainer<StructuredStatement>> nestedScope,
StatementContainer<StructuredStatement> exactStatement,
LValue lValue,
InferredJavaType inferredJavaType,
NamedVariable name) |
ScopeDefinition(int depth,
java.util.Stack<StatementContainer<StructuredStatement>> nestedScope,
StatementContainer<StructuredStatement> exactStatement,
LValue lValue,
JavaTypeInstance type,
NamedVariable name,
StatementContainer<StructuredStatement> hint,
boolean immediate) |
ScopeKey(LValue lValue,
JavaTypeInstance type) |
Modifier and Type | Class and Description |
---|---|
class |
WildcardMatch.LValueWildcard |
class |
WildcardMatch.StackLabelWildCard |
class |
WildcardMatch.StaticVariableWildcard |
Modifier and Type | Field and Description |
---|---|
private LValue |
WildcardMatch.LValueWildcard.matchedValue |
Modifier and Type | Field and Description |
---|---|
private OptionalMatch<LValue> |
WildcardMatch.ArithmeticMutationWildcard.lhs |
private Predicate<LValue> |
WildcardMatch.LValueWildcard.test |
Modifier and Type | Method and Description |
---|---|
LValue |
WildcardMatch.LValueWildcard.applyExpressionRewriter(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
LValue |
WildcardMatch.LValueWildcard.deepClone(CloneHelper cloneHelper) |
LValue |
WildcardMatch.LValueWildcard.getMatch() |
LValue |
WildcardMatch.LValueWildcard.outerDeepClone(CloneHelper cloneHelper) |
LValue |
WildcardMatch.LValueWildcard.replaceSingleUsageLValues(LValueRewriter lValueRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer) |
Modifier and Type | Method and Description |
---|---|
SSAIdentifiers<LValue> |
WildcardMatch.LValueWildcard.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
java.util.Set<LValue> |
WildcardMatch.ConditionalExpressionWildcard.getLoopLValues() |
Modifier and Type | Method and Description |
---|---|
boolean |
WildcardMatch.LValueWildcard.doesBlackListLValueReplacement(LValue replace,
Expression with) |
WildcardMatch.ArithmeticMutationWildcard |
WildcardMatch.getArithmeticMutationWildcard(java.lang.String name,
LValue lhs,
Expression rhs) |
Modifier and Type | Method and Description |
---|---|
SSAIdentifiers<LValue> |
WildcardMatch.LValueWildcard.collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
private WildcardMatch.ArithmeticMutationWildcard |
WildcardMatch.getArithmeticMutationWildcard(java.lang.String name,
Optional<LValue> lhs,
Optional<Expression> rhs,
Optional<ArithOp> op) |
Literal |
WildcardMatch.AbstractBaseExpressionWildcard.getComputedLiteral(java.util.Map<LValue,Literal> display) |
WildcardMatch.LValueWildcard |
WildcardMatch.getLValueWildCard(java.lang.String name,
Predicate<LValue> test) |
Constructor and Description |
---|
ArithmeticMutationWildcard(Optional<LValue> lhs,
Optional<Expression> rhs,
Optional<ArithOp> op) |
LValueWildcard(Predicate<LValue> test) |
Modifier and Type | Method and Description |
---|---|
java.util.List<LValue> |
StructuredStatement.findCreatedHere() |
Modifier and Type | Method and Description |
---|---|
boolean |
StructuredStatement.alwaysDefines(LValue scopedEntity) |
boolean |
StructuredStatement.canDefine(LValue scopedEntity,
ScopeDiscoverInfoCache factCache) |
void |
StructuredStatement.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
Modifier and Type | Field and Description |
---|---|
private LValue |
StructuredCatch.catching |
private LValue |
UnstructuredCatch.catching |
private LValue |
StructuredIter.iterator |
private LValue |
UnstructuredIter.iterator |
private LValue |
StructuredAssignment.lvalue |
private LValue |
StructuredDefinition.scopedEntity |
Modifier and Type | Method and Description |
---|---|
LValue |
StructuredAssignment.getLvalue() |
LValue |
StructuredDefinition.getLvalue() |
Modifier and Type | Method and Description |
---|---|
java.util.List<LValue> |
AbstractStructuredStatement.findCreatedHere() |
java.util.List<LValue> |
AbstractUnStructuredStatement.findCreatedHere() |
java.util.List<LValue> |
StructuredAssignment.findCreatedHere() |
java.util.List<LValue> |
StructuredCatch.findCreatedHere() |
java.util.List<LValue> |
StructuredDefinition.findCreatedHere() |
java.util.List<LValue> |
StructuredFor.findCreatedHere() |
java.util.List<LValue> |
StructuredIter.findCreatedHere() |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractStructuredStatement.alwaysDefines(LValue scopedEntity) |
boolean |
Block.alwaysDefines(LValue scopedEntity) |
boolean |
StructuredIter.alwaysDefines(LValue scopedEntity) |
boolean |
AbstractStructuredStatement.canDefine(LValue scopedEntity,
ScopeDiscoverInfoCache factCache) |
boolean |
StructuredFor.canDefine(LValue scopedEntity,
ScopeDiscoverInfoCache factCache) |
boolean |
StructuredIf.canDefine(LValue scopedEntity,
ScopeDiscoverInfoCache factCache) |
boolean |
StructuredIter.canDefine(LValue scopedEntity,
ScopeDiscoverInfoCache factCache) |
boolean |
StructuredAssignment.isCreator(LValue lvalue) |
void |
AbstractStructuredStatement.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
Block.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredAssignment.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredCatch.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredFor.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredIf.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredIter.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
Constructor and Description |
---|
StructuredAssignment(BytecodeLoc loc,
LValue lvalue,
Expression rvalue) |
StructuredAssignment(BytecodeLoc loc,
LValue lvalue,
Expression rvalue,
boolean creator) |
StructuredCatch(java.util.Collection<JavaRefTypeInstance> catchTypes,
Op04StructuredStatement catchBlock,
LValue catching,
java.util.Set<BlockIdentifier> possibleTryBlocks) |
StructuredDefinition(LValue scopedEntity) |
StructuredIter(BytecodeLoc loc,
BlockIdentifier block,
LValue iterator,
Expression list,
Op04StructuredStatement body) |
UnstructuredCatch(java.util.List<ExceptionGroup.Entry> exceptions,
BlockIdentifier blockIdentifier,
LValue catching) |
UnstructuredIter(BytecodeLoc loc,
BlockIdentifier blockIdentifier,
LValue iterator,
Expression list) |
Modifier and Type | Method and Description |
---|---|
java.util.List<LValue> |
AbstractPlaceholder.findCreatedHere() |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractPlaceholder.alwaysDefines(LValue scopedEntity) |
boolean |
AbstractPlaceholder.canDefine(LValue scopedEntity,
ScopeDiscoverInfoCache factCache) |
void |
AbstractPlaceholder.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
Modifier and Type | Field and Description |
---|---|
private java.util.Map<LValue,LValue> |
VariableFactory.cache |
private java.util.Map<LValue,LValue> |
VariableFactory.cache |
Modifier and Type | Method and Description |
---|---|
LValue |
VariableFactory.ignoredVariable(InferredJavaType type) |
LValue |
VariableFactory.localVariable(int stackPosition,
Ident ident,
int origCodeRawOffset) |
LValue |
VariableFactory.tempVariable(InferredJavaType type) |