Modifier and Type | Method and Description |
---|---|
private static Expression |
Op02WithProcessedDataAndRefs.ensureNonBool(Expression e) |
private Expression |
Op02WithProcessedDataAndRefs.getDynamicLiteral(Method method,
ConstantPoolEntryDynamicInfo cpe,
DecompilerComments comments) |
private Expression |
Op02WithProcessedDataAndRefs.getLiteralConstantPoolEntry(Method m,
ConstantPoolEntry cpe,
DecompilerComments comments) |
private Expression |
Op02WithProcessedDataAndRefs.getMethodHandleLiteral(ConstantPoolEntryMethodHandle cpe) |
private Expression |
Op02WithProcessedDataAndRefs.getMethodTypeLiteral(ConstantPoolEntryMethodType cpe) |
Modifier and Type | Method and Description |
---|---|
private java.util.List<Expression> |
Op02WithProcessedDataAndRefs.buildInvokeBootstrapArgs(MethodPrototype prototype,
MethodPrototype dynamicPrototype,
MethodHandleBehaviour bootstrapBehaviour,
BootstrapMethodInfo bootstrapMethodInfo,
ConstantPoolEntryMethodRef methodRef,
boolean showBoilerArgs,
ClassFile classFile,
DCCommonState state,
DecompilerComments comments) |
private java.util.List<Expression> |
Op02WithProcessedDataAndRefs.buildInvokeDynamicAltMetaFactoryArgs(MethodPrototype prototype,
MethodPrototype dynamicPrototype,
MethodHandleBehaviour bootstrapBehaviour,
BootstrapMethodInfo bootstrapMethodInfo,
ConstantPoolEntryMethodRef methodRef,
java.util.List<JavaTypeInstance> markerTypes) |
private java.util.List<Expression> |
Op02WithProcessedDataAndRefs.buildInvokeDynamicMetaFactoryArgs(MethodPrototype prototype,
MethodPrototype dynamicPrototype,
MethodHandleBehaviour bootstrapBehaviour,
BootstrapMethodInfo bootstrapMethodInfo,
ConstantPoolEntryMethodRef methodRef) |
private java.util.List<Expression> |
Op02WithProcessedDataAndRefs.getNStackRValuesAsExpressions(int count) |
private java.util.List<Expression> |
Op02WithProcessedDataAndRefs.getVarArgs(JavaTypeInstance last,
ConstantPoolEntry[] bootstrapArguments) |
Modifier and Type | Method and Description |
---|---|
private JavaTypeInstance |
Op02WithProcessedDataAndRefs.determineDynamicGeneric(JavaTypeInstance callsiteReturn,
MethodPrototype proto,
Expression instantiated,
DCCommonState dcCommonState) |
private static Expression |
Op02WithProcessedDataAndRefs.ensureNonBool(Expression e) |
Modifier and Type | Method and Description |
---|---|
private static java.util.List<java.lang.Boolean> |
Op02WithProcessedDataAndRefs.getNullsByType(java.util.List<Expression> expressions) |
Modifier and Type | Field and Description |
---|---|
(package private) Expression |
ConditionalRewriter.DiscoveredTernary.e1 |
(package private) Expression |
ConditionalRewriter.DiscoveredTernary.e2 |
private Expression |
NOPSearchingExpressionRewriter.needle |
(package private) Expression |
StaticInstanceCondenser.Rewriter.object |
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Expression> |
NOPSearchingExpressionRewriter.poison |
(package private) java.util.Map<StackSSALabel,Expression> |
LValuePropSimple.AssignmentCollector.values |
Modifier and Type | Method and Description |
---|---|
private static Expression |
SynchronizedBlocks.removeCasts(Expression e) |
Expression |
BadBoolAssignmentRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
BadCompareRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
BadNarrowingArgRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
BadNarrowingArgRewriter.InternalBadNarrowingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
InlineDeAssigner.Deassigner.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
NOPSearchingExpressionRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
NarrowingTypeRewriter.LValueAssignmentCollector.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
StaticInstanceCondenser.Rewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
private Expression |
BadNarrowingArgRewriter.InternalBadNarrowingRewriter.rewriteLiteral(Expression original,
Expression possibleLiteral,
InferredJavaType tgtType) |
private Expression |
BadCompareRewriter.rewriteTemporary(ArithmeticOperation arith) |
private Expression |
InlineDeAssigner.Deassigner.tryExtractAssignment(AssignmentExpression assignmentExpression) |
Modifier and Type | Method and Description |
---|---|
void |
LValuePropSimple.AssignmentCollector.collect(StackSSALabel lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
void |
LValuePropSimple.AssignmentCollector.collectLocalVariableAssignment(LocalVariable localVariable,
StatementContainer<Statement> statementContainer,
Expression value) |
void |
LValuePropSimple.AssignmentCollector.collectMultiUse(StackSSALabel lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
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 void |
SynchronizedBlocks.findSynchronizedRange(Op03SimpleStatement start,
Expression monitorEnterExpression) |
private static JavaTypeInstance |
NarrowingTypeRewriter.getListType(Expression e) |
private static Troolean |
ConditionalRewriter.DiscoveredTernary.isOneOrZeroLiteral(Expression e) |
private boolean |
BadCompareRewriter.isSideEffectFree(Expression lhs) |
private static boolean |
RemoveDeterministicJumps.propagateLiteralReturn(Method method,
Op03SimpleStatement original,
Op03SimpleStatement orignext,
LValue originalLValue,
Expression originalRValue,
java.util.Map<LValue,Literal> display) |
private static Expression |
SynchronizedBlocks.removeCasts(Expression e) |
(package private) static void |
Misc.replaceHiddenIter(Statement statement,
LValue lValue,
Expression rValue) |
Expression |
BadBoolAssignmentRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
BadCompareRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
BadNarrowingArgRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
BadNarrowingArgRewriter.InternalBadNarrowingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
InlineDeAssigner.Deassigner.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
NOPSearchingExpressionRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
NarrowingTypeRewriter.LValueAssignmentCollector.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
StaticInstanceCondenser.Rewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
private Expression |
BadNarrowingArgRewriter.InternalBadNarrowingRewriter.rewriteLiteral(Expression original,
Expression possibleLiteral,
InferredJavaType tgtType) |
Modifier and Type | Method and Description |
---|---|
(package private) static boolean |
Misc.findHiddenIter(Statement statement,
LValue lValue,
Expression rValue,
java.util.Set<Expression> poison) |
Constructor and Description |
---|
DiscoveredTernary(LValue lValue,
Expression e1,
Expression e2) |
NOPSearchingExpressionRewriter(Expression needle,
java.util.Set<Expression> poison) |
Rewriter(Expression object,
JavaTypeInstance typ) |
Constructor and Description |
---|
NOPSearchingExpressionRewriter(Expression needle,
java.util.Set<Expression> poison) |
Modifier and Type | Field and Description |
---|---|
private Expression |
SwitchEnumRewriter.SwitchEnumMatchResultCollector.enumObject |
(package private) Expression |
SyntheticAccessorRewriter.FuncMatchCollector.functionInvokation |
private Expression |
SwitchEnumRewriter.SwitchEnumMatchResultCollector.lookupTable |
private Expression |
ExpressionReplacingRewriter.replace |
(package private) Expression |
SyntheticAccessorRewriter.AccessorMatchCollector.rValue |
private Expression |
ExpressionReplacingRewriter.search |
private Expression |
ExpressionWildcardReplacingRewriter.search |
(package private) Expression |
AssertRewriter.ControlFlowSwitchExpressionTransformer.single |
private Expression |
SwitchExpressionRewriter.SwitchExpressionTransformer.singleValue |
private Expression |
SwitchStringRewriter.EmptySwitchStringMatchResultCollector.string |
private Expression |
SwitchStringRewriter.SwitchStringMatchResultCollector.stringExpression |
private Expression |
SwitchStringRewriter.EmptySwitchStringMatchResultCollector.verify |
private Expression |
SwitchStringRewriter.SwitchStringMatchResultCollector.verify |
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Expression> |
SwitchExpressionRewriter.RollState.directs |
private java.util.LinkedList<Expression> |
LambdaRewriter.processingStack |
private NonaryFunction<Expression> |
ExpressionWildcardReplacingRewriter.replacementFunction |
private java.util.Map<java.lang.String,Expression> |
InlinedConstantRewriter.rewrites |
private java.util.Map<LValue,Expression> |
LambdaRewriter.LambdaInternalRewriter.rewrites |
Modifier and Type | Method and Description |
---|---|
private Expression |
SwitchExpressionRewriter.extractSwitchEntry(LValue target,
BlockIdentifier blockIdentifier,
Op04StructuredStatement body,
java.util.List<Pair<Op04StructuredStatement,StructuredStatement>> replacements,
boolean last) |
private Expression |
SyntheticAccessorRewriter.getCastFriendArg(JavaTypeInstance otherType,
LocalVariable methodArg,
Expression appliedArg) |
(package private) Expression |
SwitchEnumRewriter.SwitchEnumMatchResultCollector.getEnumObject() |
private static Expression |
LambdaRewriter.getLambdaVariable(Expression e) |
(package private) Expression |
SwitchEnumRewriter.SwitchEnumMatchResultCollector.getLookupTable() |
(package private) Expression |
SwitchStringRewriter.SwitchStringMatchResultCollector.getStringExpression() |
private Expression |
PrimitiveBoxingRewriter.removeRedundantCastOnly(Expression in) |
private Expression |
LambdaRewriter.rewriteDynamicExpression(DynamicInvokation dynamicExpression) |
private Expression |
LambdaRewriter.rewriteDynamicExpression(DynamicInvokation dynamicExpression,
StaticFunctionInvokation functionInvokation,
java.util.List<Expression> curriedArgs) |
Expression |
AnonymousClassConstructorRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
BadCastChainRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
ExpressionReplacingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
ExpressionWildcardReplacingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
FakeMethodRewriter.Rewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
IllegalGenericRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
InlinedConstantRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
InstanceofMatchTidyingRewriter.SearchPassRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
InstanceofMatchTidyingRewriter.AssignRemover.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
LambdaRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
LambdaRewriter.LambdaInternalRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
PrimitiveBoxingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
SyntheticAccessorRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
SyntheticOuterRefRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
UnreachableStaticRewriter.Rewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
VarArgsRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
private Expression |
SyntheticAccessorRewriter.rewriteFunctionExpression(StaticFunctionInvokation functionInvokation) |
private Expression |
SyntheticAccessorRewriter.rewriteFunctionExpression2(StaticFunctionInvokation functionInvokation) |
Expression |
PrimitiveBoxingRewriter.sugarNonParameterBoxing(Expression in,
JavaTypeInstance tgtType) |
Expression |
PrimitiveBoxingRewriter.sugarParameterBoxing(Expression in,
int argIdx,
OverloadMethodSet possibleMethods,
GenericTypeBinder gtb,
MethodPrototype methodPrototype) |
Expression |
PrimitiveBoxingRewriter.sugarUnboxing(Expression in) |
private Expression |
SyntheticAccessorRewriter.tryRewriteAccessor(java.util.List<StructuredStatement> structuredStatements,
JavaTypeInstance otherType,
java.util.List<Expression> appliedArgs,
java.util.List<LocalVariable> methodArgs) |
private Expression |
SyntheticAccessorRewriter.tryRewriteFunctionCall(java.util.List<StructuredStatement> structuredStatements,
JavaTypeInstance otherType,
java.util.List<Expression> appliedArgs,
java.util.List<LocalVariable> methodArgs) |
Modifier and Type | Method and Description |
---|---|
private Pair<StructuredCase,Expression> |
SwitchExpressionRewriter.extractSwitchEntryPair(LValue target,
BlockIdentifier blockIdentifier,
Op04StructuredStatement item,
java.util.List<Pair<Op04StructuredStatement,StructuredStatement>> replacements,
boolean last) |
protected java.util.List<Expression> |
EnumSuperRewriter.getSuperArgs(WildcardMatch wcm) |
protected java.util.List<Expression> |
RedundantSuperRewriter.getSuperArgs(WildcardMatch wcm) |
private Pair<java.lang.Boolean,Expression> |
AssertRewriter.SwitchAssertUseCollector.getThrowExpression(StructuredStatement throwS) |
Modifier and Type | Method and Description |
---|---|
private static boolean |
RecordRewriter.classArgEq(Expression expression,
JavaTypeInstance thisType) |
private static boolean |
RecordRewriter.cmpArgsEq(Expression cmpArgs,
JavaTypeInstance thisType,
java.util.List<ClassFileField> instances) |
private void |
LambdaRewriter.couldBeAmbiguous(Expression fn,
Expression arg,
LambdaExpression res) |
private Expression |
SyntheticAccessorRewriter.getCastFriendArg(JavaTypeInstance otherType,
LocalVariable methodArg,
Expression appliedArg) |
private KleeneStar |
SwitchEnumRewriter.getEnumSugarKleeneStar(LValue lookupTable,
Expression enumObject,
WildcardMatch wcm) |
private static java.lang.Integer |
SwitchStringRewriter.getInt(Expression e) |
private java.lang.Integer |
SwitchEnumRewriter.getIntegerFromLiteralExpression(Expression exp) |
private static Expression |
LambdaRewriter.getLambdaVariable(Expression e) |
private static java.lang.String |
SwitchStringRewriter.getString(Expression e) |
private boolean |
NonStaticLifter.hasLegitArgs(Expression rValue,
java.util.Set<Expression> usedFvs) |
private static boolean |
SwitchStringRewriter.isLVOk(Expression lve,
LValue lv,
StructuredStatement assign) |
private static boolean |
LambdaRewriter.isNewArrayLambda(Expression e,
java.util.List<Expression> curriedArgs,
java.util.List<LValue> anonymousLambdaArgs) |
private static boolean |
RecordRewriter.isThis(Expression obj,
JavaTypeInstance thisType) |
boolean |
PrimitiveBoxingRewriter.isUnboxedType(Expression in) |
private static boolean |
RecordRewriter.methodHandleEq(Expression expression,
java.lang.String name) |
private Expression |
PrimitiveBoxingRewriter.removeRedundantCastOnly(Expression in) |
private boolean |
SwitchEnumRewriter.replaceIndexedSwitch(SwitchEnumRewriter.SwitchEnumMatchResultCollector mrc,
boolean expression,
Expression enumObject,
SwitchEnumRewriter.SwitchForeignEnumMatchResultCollector matchResultCollector) |
Expression |
AnonymousClassConstructorRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
BadCastChainRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
ExpressionReplacingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
ExpressionWildcardReplacingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
FakeMethodRewriter.Rewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
IllegalGenericRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
InlinedConstantRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
InstanceofMatchTidyingRewriter.SearchPassRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
InstanceofMatchTidyingRewriter.AssignRemover.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
LambdaRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
LambdaRewriter.LambdaInternalRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
PrimitiveBoxingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
SyntheticAccessorRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
SyntheticOuterRefRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
UnreachableStaticRewriter.Rewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
VarArgsRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
private static boolean |
RecordRewriter.stringArgEq(Expression expression,
java.lang.String name) |
Expression |
PrimitiveBoxingRewriter.sugarNonParameterBoxing(Expression in,
JavaTypeInstance tgtType) |
Expression |
PrimitiveBoxingRewriter.sugarParameterBoxing(Expression in,
int argIdx,
OverloadMethodSet possibleMethods,
GenericTypeBinder gtb,
MethodPrototype methodPrototype) |
Expression |
PrimitiveBoxingRewriter.sugarUnboxing(Expression in) |
private boolean |
NonStaticLifter.tryLift(FieldVariable lValue,
Expression rValue,
java.util.Map<java.lang.String,Pair<java.lang.Integer,ClassFileField>> fieldMap,
java.util.Set<Expression> usedFvs) |
Modifier and Type | Method and Description |
---|---|
private boolean |
NonStaticLifter.hasLegitArgs(Expression rValue,
java.util.Set<Expression> usedFvs) |
private static boolean |
LambdaRewriter.isNewArrayLambda(Expression e,
java.util.List<Expression> curriedArgs,
java.util.List<LValue> anonymousLambdaArgs) |
private boolean |
SwitchExpressionRewriter.prequelAssign(Op04StructuredStatement item,
java.util.Set<Expression> directs) |
void |
PrimitiveBoxingRewriter.removeRedundantCastOnly(java.util.List<Expression> mutableIn) |
private Expression |
LambdaRewriter.rewriteDynamicExpression(DynamicInvokation dynamicExpression,
StaticFunctionInvokation functionInvokation,
java.util.List<Expression> curriedArgs) |
void |
VarArgsRewriter.rewriteVarArgsArg(OverloadMethodSet overloadMethodSet,
MethodPrototype methodPrototype,
java.util.List<Expression> args,
GenericTypeBinder gtb) |
private boolean |
NonStaticLifter.tryLift(FieldVariable lValue,
Expression rValue,
java.util.Map<java.lang.String,Pair<java.lang.Integer,ClassFileField>> fieldMap,
java.util.Set<Expression> usedFvs) |
private Expression |
SyntheticAccessorRewriter.tryRewriteAccessor(java.util.List<StructuredStatement> structuredStatements,
JavaTypeInstance otherType,
java.util.List<Expression> appliedArgs,
java.util.List<LocalVariable> methodArgs) |
private Expression |
SyntheticAccessorRewriter.tryRewriteFunctionCall(java.util.List<StructuredStatement> structuredStatements,
JavaTypeInstance otherType,
java.util.List<Expression> appliedArgs,
java.util.List<LocalVariable> methodArgs) |
Constructor and Description |
---|
ExpressionReplacingRewriter(Expression search,
Expression replace) |
ExpressionWildcardReplacingRewriter(WildcardMatch wildcardMatch,
Expression search,
NonaryFunction<Expression> replacementFunction) |
Constructor and Description |
---|
ExpressionWildcardReplacingRewriter(WildcardMatch wildcardMatch,
Expression search,
NonaryFunction<Expression> replacementFunction) |
InlinedConstantRewriter(java.util.Map<java.lang.String,Expression> rewrites) |
LambdaInternalRewriter(java.util.Map<LValue,Expression> rewrites) |
RollState(java.util.List<Op04StructuredStatement> prequel,
java.util.LinkedList<SwitchExpressionRewriter.ClassifiedStm> switchdata,
java.util.List<Op04StructuredStatement> remainder,
Block block,
java.util.Set<Expression> directs) |
Modifier and Type | Field and Description |
---|---|
private Expression |
InfiniteAssertRewriter.match1 |
private Expression |
InfiniteAssertRewriter.match2 |
private Expression |
PreconditionAssertRewriter.test |
Modifier and Type | Method and Description |
---|---|
static Expression |
BoxingHelper.sugarBoxing(StaticFunctionInvokation staticFunctionInvokation) |
static Expression |
BoxingHelper.sugarUnboxing(MemberFunctionInvokation memberFunctionInvokation) |
Modifier and Type | Method and Description |
---|---|
Expression |
Expression.applyExpressionRewriter(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
Expression.applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
Statement.getRValue() |
Expression |
Expression.pushDown(Expression toPush,
Expression parent) |
Expression |
Expression.replaceSingleUsageLValues(LValueRewriter lValueRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer) |
Modifier and Type | Method and Description |
---|---|
<T> void |
LValue.collectLValueAssignments(Expression assignedTo,
StatementContainer<T> statementContainer,
LValueAssignmentCollector<T> lValueAssigmentCollector) |
boolean |
LValue.doesBlackListLValueReplacement(LValue replace,
Expression with) |
boolean |
Statement.doesBlackListLValueReplacement(LValue lValue,
Expression expression) |
Expression |
Expression.pushDown(Expression toPush,
Expression parent) |
Modifier and Type | Interface and Description |
---|---|
interface |
ConditionalExpression |
Modifier and Type | Field and Description |
---|---|
private Expression |
ArrayIndex.array |
private Expression |
ArrayLength.array |
private Expression |
CastExpression.child |
private Expression |
DynamicConstExpression.content |
private Expression |
ArrayIndex.index |
private Expression |
BooleanExpression.inner |
private Expression |
DynamicInvokation.innerInvokation |
private Expression |
ArithmeticMonOperation.lhs |
private Expression |
ArithmeticOperation.lhs |
private Expression |
ComparisonOperation.lhs |
private Expression |
InstanceOfExpression.lhs |
private Expression |
InstanceOfExpressionDefining.lhs |
private Expression |
TernaryExpression.lhs |
private Expression |
ArithmeticMutationOperation.mutation |
private Expression |
AbstractMemberFunctionInvokation.object |
private Expression |
MemberFunctionInvokationExplicit.object |
private Expression |
StaticFunctionInvokation.object |
private Expression |
LambdaExpression.result |
private Expression |
ArithmeticOperation.rhs |
private Expression |
ComparisonOperation.rhs |
private Expression |
TernaryExpression.rhs |
private Expression |
AssignmentExpression.rValue |
private Expression |
NewPrimitiveArray.size |
private Expression |
SwitchExpression.value |
(package private) Expression |
SwitchExpression.Branch.value |
Modifier and Type | Field and Description |
---|---|
private java.util.List<Expression> |
AbstractConstructorInvokation.args |
private java.util.List<Expression> |
AbstractFunctionInvokationExplicit.args |
private java.util.List<Expression> |
AbstractMemberFunctionInvokation.args |
protected java.util.List<Expression> |
StaticFunctionInvokation.args |
(package private) java.util.List<Expression> |
SwitchExpression.Branch.cases |
private java.util.List<Expression> |
LambdaExpressionFallback.curriedArgs |
private java.util.List<Expression> |
NewObjectArray.dimSizes |
private java.util.List<Expression> |
DynamicInvokation.dynamicArgs |
private java.util.List<Expression> |
NewAnonymousArray.values |
Modifier and Type | Method and Description |
---|---|
java.util.List<Expression> |
AbstractConstructorInvokation.getArgs() |
abstract java.util.List<Expression> |
AbstractFunctionInvokation.getArgs() |
protected java.util.List<Expression> |
AbstractFunctionInvokationExplicit.getArgs() |
java.util.List<Expression> |
AbstractMemberFunctionInvokation.getArgs() |
java.util.List<Expression> |
StaticFunctionInvokation.getArgs() |
java.util.List<Expression> |
DynamicInvokation.getDynamicArgs() |
java.util.List<Expression> |
NewAnonymousArray.getValues() |
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) |
boolean |
ArrayIndex.doesBlackListLValueReplacement(LValue replace,
Expression with) |
static boolean |
Literal.equalsAnyOne(Expression expression) |
void |
StaticFunctionInvokation.forceObject(Expression object) |
private static java.lang.Boolean |
BooleanOperation.getComputed(Expression e,
java.util.Map<LValue,Literal> display) |
private ConditionalExpression |
ComparisonOperation.getConditionalExpression(Expression booleanExpression,
ComparisonOperation.BooleanComparisonType booleanComparisonType) |
static Expression |
MethodHandlePlaceholder.getMethodType(Expression descriptorString) |
private Expression |
AbstractMemberFunctionInvokation.insertCastOrIgnore(Expression arg,
OverloadMethodSet overloadMethodSet,
int x) |
private static ComparisonOperation.BooleanComparisonType |
ComparisonOperation.isBooleanComparison(Expression a,
Expression b,
CompOp op) |
private static boolean |
AbstractMemberFunctionInvokation.isResolveNull(Expression arg) |
Expression |
AbstractExpression.pushDown(Expression toPush,
Expression parent) |
Expression |
ArithmeticOperation.pushDown(Expression toPush,
Expression parent) |
static Expression |
CastExpression.removeImplicit(Expression e) |
static Expression |
CastExpression.removeImplicitOuterType(Expression e,
GenericTypeBinder gtb,
boolean rawArg) |
static Expression |
CastExpression.tryRemoveCast(Expression e) |
InstanceOfExpressionDefining |
InstanceOfExpressionDefining.withReplacedExpression(Expression e) |
MemberFunctionInvokation |
MemberFunctionInvokation.withReplacedObject(Expression object) |
Modifier and Type | Method and Description |
---|---|
private static InferredJavaType |
StaticFunctionInvokation.getTypeForFunction(ConstantPoolEntryMethodRef function,
java.util.List<Expression> args) |
Constructor and Description |
---|
AbstractConstructorInvokation(BytecodeLoc loc,
InferredJavaType inferredJavaType,
ConstantPoolEntryMethodRef function,
java.util.List<Expression> args) |
AbstractFunctionInvokationExplicit(BytecodeLoc loc,
InferredJavaType res,
JavaTypeInstance clazz,
java.lang.String method,
java.util.List<Expression> args) |
AbstractMemberFunctionInvokation(BytecodeLoc loc,
ConstantPool cp,
ConstantPoolEntryMethodRef function,
Expression object,
JavaTypeInstance bestType,
java.util.List<Expression> args,
java.util.List<java.lang.Boolean> nulls) |
AbstractMemberFunctionInvokation(BytecodeLoc loc,
ConstantPool cp,
ConstantPoolEntryMethodRef function,
Expression object,
java.util.List<Expression> args,
java.util.List<java.lang.Boolean> nulls) |
Branch(java.util.List<Expression> cases,
Expression value) |
ConstructorInvokationAnonymousInner(BytecodeLoc loc,
MemberFunctionInvokation constructorInvokation,
InferredJavaType inferredJavaType,
java.util.List<Expression> args,
DCCommonState dcCommonState,
JavaTypeInstance anonymousTypeInstance) |
ConstructorInvokationExplicit(BytecodeLoc loc,
InferredJavaType res,
JavaTypeInstance clazz,
java.util.List<Expression> args) |
ConstructorInvokationSimple(BytecodeLoc loc,
MemberFunctionInvokation constructorInvokation,
InferredJavaType inferredJavaType,
InferredJavaType constructionType,
java.util.List<Expression> args) |
DynamicInvokation(BytecodeLoc loc,
InferredJavaType castJavaType,
Expression innerInvokation,
java.util.List<Expression> dynamicArgs) |
LambdaExpressionFallback(BytecodeLoc loc,
InferredJavaType inferredJavaType,
boolean methodRef,
boolean instance,
java.util.List<Expression> curriedArgs,
java.util.List<JavaTypeInstance> targetFnArgTypes,
MethodPrototype lambdaFn,
JavaTypeInstance callClassType) |
LambdaExpressionFallback(BytecodeLoc loc,
JavaTypeInstance callClassType,
InferredJavaType castJavaType,
MethodPrototype lambdaFn,
java.util.List<JavaTypeInstance> targetFnArgTypes,
java.util.List<Expression> curriedArgs,
boolean instance) |
MemberFunctionInvokation(BytecodeLoc loc,
ConstantPool cp,
ConstantPoolEntryMethodRef function,
Expression object,
boolean special,
java.util.List<Expression> args,
java.util.List<java.lang.Boolean> nulls) |
MemberFunctionInvokation(BytecodeLoc loc,
ConstantPool cp,
ConstantPoolEntryMethodRef function,
Expression object,
JavaTypeInstance bestType,
boolean special,
java.util.List<Expression> args,
java.util.List<java.lang.Boolean> nulls) |
MemberFunctionInvokationExplicit(BytecodeLoc loc,
InferredJavaType res,
JavaTypeInstance clazz,
Expression object,
java.lang.String method,
java.util.List<Expression> args) |
NewAnonymousArray(BytecodeLoc loc,
InferredJavaType type,
int numDims,
java.util.List<Expression> values,
boolean isCompletelyAnonymous) |
NewObjectArray(BytecodeLoc loc,
InferredJavaType inferredJavaType,
JavaTypeInstance resultType,
int numDims,
JavaTypeInstance allocatedType,
java.util.List<Expression> dimSizes) |
NewObjectArray(BytecodeLoc loc,
java.util.List<Expression> dimSizes,
JavaTypeInstance resultInstance) |
StaticFunctionInvokation(BytecodeLoc loc,
ConstantPoolEntryMethodRef function,
java.util.List<Expression> args) |
StaticFunctionInvokation(BytecodeLoc loc,
ConstantPoolEntryMethodRef function,
java.util.List<Expression> args,
Expression object) |
StaticFunctionInvokationExplicit(BytecodeLoc loc,
InferredJavaType res,
JavaTypeInstance clazz,
java.lang.String method,
java.util.List<Expression> args) |
SuperFunctionInvokation(BytecodeLoc loc,
ConstantPool cp,
ConstantPoolEntryMethodRef function,
Expression object,
java.util.List<Expression> args,
java.util.List<java.lang.Boolean> nulls,
boolean isOnInterface) |
SuperFunctionInvokation(BytecodeLoc loc,
ConstantPool cp,
ConstantPoolEntryMethodRef function,
Expression object,
java.util.List<Expression> args,
java.util.List<java.lang.Boolean> nulls,
boolean isOnInterface,
JavaTypeInstance name) |
Modifier and Type | Field and Description |
---|---|
private Expression |
FieldVariable.object |
Modifier and Type | Method and Description |
---|---|
Expression |
FieldVariable.getObject() |
Modifier and Type | Method and Description |
---|---|
<Statement> |
StackSSALabel.collectLValueAssignments(Expression rhsAssigned,
StatementContainer<Statement> statementContainer,
LValueAssignmentCollector<Statement> lValueAssigmentCollector) |
<T> void |
LocalVariable.collectLValueAssignments(Expression assignedTo,
StatementContainer<T> statementContainer,
LValueAssignmentCollector<T> lValueAssigmentCollector) |
<T> void |
SentinelLocalClassLValue.collectLValueAssignments(Expression assignedTo,
StatementContainer<T> statementContainer,
LValueAssignmentCollector<T> lValueAssigmentCollector) |
void |
AbstractFieldVariable.collectLValueAssignments(Expression assignedTo,
StatementContainer statementContainer,
LValueAssignmentCollector lValueAssigmentCollector) |
void |
ArrayVariable.collectLValueAssignments(Expression assignedTo,
StatementContainer statementContainer,
LValueAssignmentCollector lValueAssigmentCollector) |
boolean |
AbstractLValue.doesBlackListLValueReplacement(LValue replace,
Expression with) |
boolean |
ArrayVariable.doesBlackListLValueReplacement(LValue replace,
Expression with) |
FieldVariable |
FieldVariable.withReplacedObject(Expression object) |
Constructor and Description |
---|
FieldVariable(Expression object,
ConstantPoolEntry field) |
FieldVariable(FieldVariable other,
Expression object) |
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Expression,Expression> |
CloneHelper.expressionMap |
private java.util.Map<Expression,Expression> |
CloneHelper.expressionMap |
private static java.util.Map<java.lang.Double,NonaryFunction<Expression>> |
LiteralRewriter.PI_DOUBLES |
private static java.util.Map<java.lang.Float,NonaryFunction<Expression>> |
LiteralRewriter.PI_FLOATS |
Modifier and Type | Method and Description |
---|---|
private Expression |
StringBuilderRewriter.extractStringConcat(StaticFunctionInvokation staticFunctionInvokation) |
private Expression |
StringBuilderRewriter.extractStringConcatSimple(StaticFunctionInvokation staticFunctionInvokation) |
private Expression |
StringBuilderRewriter.genStringConcat(java.util.List<Expression> revList) |
private static Expression |
LiteralRewriter.maybeGetPiExpression(double value) |
private static Expression |
LiteralRewriter.maybeGetPiExpression(float value) |
Expression |
CloneHelper.replaceOrClone(Expression source) |
private Expression |
LiteralRewriter.rewriteDouble(Literal literal,
double value) |
Expression |
AbstractExpressionRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
AccountingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
ConditionalSimplifyingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
ConstantFoldingRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
ExplicitTypeCallRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
ExplicitTypeCallRewriter.InnerExplicitTypeCallRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
ExpressionRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
LiteralRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
StackVarToLocalRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
StringBuilderRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
XorRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
private Expression |
LiteralRewriter.rewriteFloat(Literal literal,
float value) |
private Expression |
ExplicitTypeCallRewriter.InnerExplicitTypeCallRewriter.rewriteFunctionInvokation(AbstractFunctionInvokation invokation) |
private Expression |
LiteralRewriter.rewriteInteger(Literal literal,
int value) |
private Expression |
LiteralRewriter.rewriteLong(Literal literal,
long value) |
private Expression |
StringBuilderRewriter.testAppendChain(Expression lhs) |
Modifier and Type | Method and Description |
---|---|
static void |
ExpressionRewriterHelper.applyBackwards(java.util.List<Expression> list,
ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
static void |
ExpressionRewriterHelper.applyForwards(java.util.List<Expression> list,
ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
private Expression |
StringBuilderRewriter.genStringConcat(java.util.List<Expression> revList) |
Constructor and Description |
---|
CloneHelper(java.util.Map<Expression,Expression> expressionMap) |
CloneHelper(java.util.Map<Expression,Expression> expressionMap) |
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 | Class and Description |
---|---|
private static class |
CommentStatement.StatementExpression |
Modifier and Type | Field and Description |
---|---|
private Expression |
ExpressionStatement.expression |
private Expression |
ForIterStatement.list |
private Expression |
MonitorEnterStatement.monitor |
private Expression |
MonitorExitStatement.monitor |
private Expression |
JSRRetStatement.ret |
private Expression |
AssignmentSimple.rvalue |
private Expression |
ReturnValueStatement.rvalue |
private Expression |
ThrowStatement.rvalue |
private Expression |
RawSwitchStatement.switchOn |
private Expression |
SwitchStatement.switchOn |
private Expression |
CommentStatement.text |
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Expression> |
TryStatement.monitors |
private java.util.List<Expression> |
CaseStatement.values |
Modifier and Type | Method and Description |
---|---|
Expression |
CommentStatement.StatementExpression.applyExpressionRewriter(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
CommentStatement.StatementExpression.applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
CommentStatement.StatementExpression.deepClone(CloneHelper cloneHelper) |
Expression |
ExpressionStatement.getExpression() |
Expression |
ForIterStatement.getList() |
Expression |
MonitorEnterStatement.getMonitor() |
Expression |
MonitorExitStatement.getMonitor() |
abstract Expression |
AbstractAssignment.getPostMutation() |
Expression |
AssignmentPreMutation.getPostMutation() |
Expression |
AssignmentSimple.getPostMutation() |
abstract Expression |
AbstractAssignment.getPreMutation() |
Expression |
AssignmentPreMutation.getPreMutation() |
Expression |
AssignmentSimple.getPreMutation() |
Expression |
ReturnValueStatement.getReturnValue() |
Expression |
AbstractStatement.getRValue() |
Expression |
AssignmentPreMutation.getRValue() |
Expression |
AssignmentSimple.getRValue() |
Expression |
CompoundStatement.getRValue() |
Expression |
RawSwitchStatement.getSwitchOn() |
Expression |
SwitchStatement.getSwitchOn() |
Expression |
CommentStatement.StatementExpression.replaceSingleUsageLValues(LValueRewriter lValueRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Expression> |
TryStatement.getMonitors() |
java.util.List<Expression> |
CaseStatement.getValues() |
Modifier and Type | Method and Description |
---|---|
void |
TryStatement.addExitMutex(Expression e) |
boolean |
AbstractStatement.doesBlackListLValueReplacement(LValue lValue,
Expression expression) |
boolean |
AssignmentSimple.doesBlackListLValueReplacement(LValue lValue,
Expression expression) |
void |
AssignmentSimple.setRValue(Expression rvalue) |
void |
SwitchStatement.setSwitchOn(Expression switchOn) |
Constructor and Description |
---|
AssignmentSimple(BytecodeLoc loc,
LValue lvalue,
Expression rvalue) |
CommentStatement(Expression expression) |
ExpressionStatement(Expression expression) |
ForIterStatement(BytecodeLoc loc,
BlockIdentifier blockIdentifier,
LValue iterator,
Expression list,
LValue hiddenList) |
JSRRetStatement(BytecodeLoc loc,
Expression ret) |
MonitorEnterStatement(BytecodeLoc loc,
Expression monitor,
BlockIdentifier blockIdentifier) |
MonitorExitStatement(BytecodeLoc loc,
Expression monitor) |
RawSwitchStatement(BytecodeLoc loc,
Expression switchOn,
DecodedSwitch switchData) |
ReturnValueStatement(BytecodeLoc loc,
Expression rvalue,
JavaTypeInstance fnReturnType) |
SwitchStatement(BytecodeLoc loc,
Expression switchOn,
BlockIdentifier switchBlock) |
ThrowStatement(BytecodeLoc loc,
Expression rvalue) |
Constructor and Description |
---|
CaseStatement(BytecodeLoc loc,
java.util.List<Expression> values,
InferredJavaType caseType,
BlockIdentifier switchBlock,
BlockIdentifier caseBlock) |
Modifier and Type | Field and Description |
---|---|
private Expression |
LValueAssignmentAndAliasCondenser.ExpressionStatementPair.expression |
Modifier and Type | Field and Description |
---|---|
private java.util.Map<StackSSALabel,Expression> |
LValueAssignmentAndAliasCondenser.aliasReplacements |
private java.util.Map<Expression,Expression> |
LValueAssignmentAndAliasCondenser.cache |
private java.util.Map<Expression,Expression> |
LValueAssignmentAndAliasCondenser.cache |
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) |
Expression |
LValueAssignmentExpressionRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
static Expression |
ConditionalUtils.simplify(TernaryExpression condition) |
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 |
LValueAssignmentAndAliasCondenser.collect(StackSSALabel lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
void |
LValueAssignmentCollector.collect(StackSSALabel lValue,
StatementContainer<T> statementContainer,
Expression value) |
void |
CreationCollector.collectConstruction(Expression expression,
MemberFunctionInvokation rValue,
StatementContainer container) |
void |
CreationCollector.collectCreation(LValue lValue,
Expression rValue,
StatementContainer container) |
void |
LValueAssignmentAndAliasCondenser.collectLocalVariableAssignment(LocalVariable localVariable,
StatementContainer<Statement> statementContainer,
Expression value) |
void |
LValueAssignmentCollector.collectLocalVariableAssignment(LocalVariable localVariable,
StatementContainer<T> statementContainer,
Expression value) |
void |
LValueAssignmentAndAliasCondenser.collectMultiUse(StackSSALabel lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
void |
LValueAssignmentCollector.collectMultiUse(StackSSALabel lValue,
StatementContainer<T> statementContainer,
Expression value) |
void |
LValueAssignmentAndAliasCondenser.collectMutatedLValue(LValue lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
void |
LValueAssignmentCollector.collectMutatedLValue(LValue lValue,
StatementContainer<T> statementContainer,
Expression value) |
private boolean |
LValueAssignmentAndAliasCondenser.isSimple(Expression res) |
Expression |
LValueAssignmentExpressionRewriter.rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Modifier and Type | Method and Description |
---|---|
static void |
LValueRewriter.Util.rewriteArgArray(LValueRewriter lValueRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
java.util.List<Expression> args) |
Constructor and Description |
---|
ExpressionStatementPair(Expression expression,
StatementContainer<Statement> statementContainer) |
Modifier and Type | Method and Description |
---|---|
void |
FinallyGraphHelper.FinallyEquivalenceConstraint.collect(StackSSALabel lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
void |
FinallyGraphHelper.FinallyEquivalenceConstraint.collectLocalVariableAssignment(LocalVariable localVariable,
StatementContainer<Statement> statementContainer,
Expression value) |
void |
FinallyGraphHelper.FinallyEquivalenceConstraint.collectMultiUse(StackSSALabel lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
void |
FinallyGraphHelper.FinallyEquivalenceConstraint.collectMutatedLValue(LValue lValue,
StatementContainer<Statement> statementContainer,
Expression value) |
Modifier and Type | Class and Description |
---|---|
private static class |
WildcardMatch.AbstractBaseExpressionWildcard |
static class |
WildcardMatch.AnyOneOfExpression |
class |
WildcardMatch.ArithmeticMutationWildcard |
class |
WildcardMatch.CastExpressionWildcard |
class |
WildcardMatch.ConditionalExpressionWildcard |
class |
WildcardMatch.ConstructorInvokationAnonymousInnerWildcard |
class |
WildcardMatch.ConstructorInvokationSimpleWildcard |
class |
WildcardMatch.ExpressionWildcard |
class |
WildcardMatch.MemberFunctionInvokationWildcard |
class |
WildcardMatch.NewArrayWildcard |
class |
WildcardMatch.StaticFunctionInvokationWildcard |
class |
WildcardMatch.SuperFunctionInvokationWildcard |
Modifier and Type | Field and Description |
---|---|
private Expression |
WildcardMatch.CastExpressionWildcard.expression |
private Expression |
WildcardMatch.ExpressionWildcard.matchedValue |
private Expression |
WildcardMatch.MemberFunctionInvokationWildcard.object |
Modifier and Type | Field and Description |
---|---|
private java.util.List<Expression> |
WildcardMatch.MemberFunctionInvokationWildcard.args |
private java.util.List<Expression> |
WildcardMatch.SuperFunctionInvokationWildcard.args |
private java.util.List<Expression> |
WildcardMatch.StaticFunctionInvokationWildcard.args |
private java.util.List<Expression> |
WildcardMatch.ConstructorInvokationSimpleWildcard.args |
private java.util.List<Expression> |
WildcardMatch.ConstructorInvokationAnonymousInnerWildcard.args |
private java.util.Set<Expression> |
WildcardMatch.AnyOneOfExpression.possibles |
private OptionalMatch<Expression> |
WildcardMatch.ArithmeticMutationWildcard.rhs |
Modifier and Type | Method and Description |
---|---|
Expression |
WildcardMatch.AbstractBaseExpressionWildcard.applyExpressionRewriter(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
WildcardMatch.AbstractBaseExpressionWildcard.applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
WildcardMatch.AbstractBaseExpressionWildcard.deepClone(CloneHelper cloneHelper) |
Expression |
WildcardMatch.ExpressionWildcard.getMatch() |
Expression |
WildcardMatch.AnyOneOfExpression.getMatch() |
Expression |
WildcardMatch.AbstractBaseExpressionWildcard.outerDeepClone(CloneHelper cloneHelper) |
Expression |
WildcardMatch.AbstractBaseExpressionWildcard.pushDown(Expression toPush,
Expression parent) |
Expression |
WildcardMatch.AbstractBaseExpressionWildcard.replaceSingleUsageLValues(LValueRewriter lValueRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer) |
Modifier and Type | Method and Description |
---|---|
void |
WildcardMatch.LValueWildcard.collectLValueAssignments(Expression assignedTo,
StatementContainer statementContainer,
LValueAssignmentCollector lValueAssigmentCollector) |
boolean |
WildcardMatch.LValueWildcard.doesBlackListLValueReplacement(LValue replace,
Expression with) |
WildcardMatch.ArithmeticMutationWildcard |
WildcardMatch.getArithmeticMutationWildcard(java.lang.String name,
LValue lhs,
Expression rhs) |
WildcardMatch.CastExpressionWildcard |
WildcardMatch.getCastExpressionWildcard(java.lang.String name,
Expression expression) |
WildcardMatch.MemberFunctionInvokationWildcard |
WildcardMatch.getMemberFunction(java.lang.String name,
java.lang.String methodname,
boolean isInitMethod,
Expression object,
java.util.List<Expression> args) |
WildcardMatch.MemberFunctionInvokationWildcard |
WildcardMatch.getMemberFunction(java.lang.String name,
java.lang.String methodname,
Expression object) |
WildcardMatch.MemberFunctionInvokationWildcard |
WildcardMatch.getMemberFunction(java.lang.String name,
java.lang.String methodname,
Expression object,
Expression... args) |
WildcardMatch.MemberFunctionInvokationWildcard |
WildcardMatch.getMemberFunction(java.lang.String name,
java.lang.String methodname,
Expression object,
Expression... args) |
WildcardMatch.StaticFunctionInvokationWildcard |
WildcardMatch.getStaticFunction(java.lang.String name,
JavaTypeInstance clazz,
JavaTypeInstance returnType,
java.lang.String methodname,
Expression... args) |
Expression |
WildcardMatch.AbstractBaseExpressionWildcard.pushDown(Expression toPush,
Expression parent) |
Modifier and Type | Method and Description |
---|---|
private WildcardMatch.ArithmeticMutationWildcard |
WildcardMatch.getArithmeticMutationWildcard(java.lang.String name,
Optional<LValue> lhs,
Optional<Expression> rhs,
Optional<ArithOp> op) |
WildcardMatch.MemberFunctionInvokationWildcard |
WildcardMatch.getMemberFunction(java.lang.String name,
java.lang.String methodname,
boolean isInitMethod,
Expression object,
java.util.List<Expression> args) |
WildcardMatch.StaticFunctionInvokationWildcard |
WildcardMatch.getStaticFunction(java.lang.String name,
JavaTypeInstance clazz,
JavaTypeInstance returnType,
java.lang.String methodname,
java.util.List<Expression> args) |
WildcardMatch.SuperFunctionInvokationWildcard |
WildcardMatch.getSuperFunction(java.lang.String name,
java.util.List<Expression> args) |
Constructor and Description |
---|
CastExpressionWildcard(JavaTypeInstance clazz,
Expression expression) |
MemberFunctionInvokationWildcard(java.lang.String name,
boolean isInitMethod,
Expression object,
java.util.List<Expression> args) |
Constructor and Description |
---|
AnyOneOfExpression(java.util.Set<Expression> possibles) |
ArithmeticMutationWildcard(Optional<LValue> lhs,
Optional<Expression> rhs,
Optional<ArithOp> op) |
ConstructorInvokationAnonymousInnerWildcard(JavaTypeInstance clazz,
java.util.List<Expression> args) |
ConstructorInvokationSimpleWildcard(JavaTypeInstance clazz,
java.util.List<Expression> args) |
MemberFunctionInvokationWildcard(java.lang.String name,
boolean isInitMethod,
Expression object,
java.util.List<Expression> args) |
StaticFunctionInvokationWildcard(java.lang.String name,
JavaTypeInstance clazz,
JavaTypeInstance returnType,
java.util.List<Expression> args) |
SuperFunctionInvokationWildcard(java.util.List<Expression> args) |
Modifier and Type | Class and Description |
---|---|
class |
StructuredStatementExpression |
Modifier and Type | Method and Description |
---|---|
Expression |
StructuredStatementExpression.applyExpressionRewriter(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
StructuredStatementExpression.applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Expression |
StructuredStatementExpression.deepClone(CloneHelper cloneHelper) |
Expression |
StructuredStatementExpression.replaceSingleUsageLValues(LValueRewriter lValueRewriter,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer) |
Modifier and Type | Field and Description |
---|---|
private Expression |
StructuredAssert.arg |
private Expression |
StructuredComment.expression |
private Expression |
StructuredExpressionStatement.expression |
private Expression |
StructuredIter.list |
private Expression |
UnstructuredIter.list |
private Expression |
StructuredSynchronized.monitor |
private Expression |
UnstructuredSynchronized.monitor |
private Expression |
StructuredAssignment.rvalue |
private Expression |
StructuredSwitch.switchOn |
private Expression |
UnstructuredSwitch.switchOn |
private Expression |
StructuredExpressionYield.value |
private Expression |
StructuredReturn.value |
private Expression |
StructuredThrow.value |
Modifier and Type | Field and Description |
---|---|
private java.util.List<Expression> |
StructuredCase.values |
private java.util.List<Expression> |
UnstructuredCase.values |
Modifier and Type | Method and Description |
---|---|
Expression |
StructuredExpressionStatement.getExpression() |
Expression |
StructuredAssignment.getRvalue() |
Expression |
StructuredSwitch.getSwitchOn() |
Expression |
StructuredExpressionYield.getValue() |
Expression |
StructuredReturn.getValue() |
Expression |
StructuredThrow.getValue() |
Modifier and Type | Method and Description |
---|---|
java.util.List<Expression> |
StructuredCase.getValues() |
Modifier and Type | Method and Description |
---|---|
private static StaticVariable |
StructuredCase.getEnumStatic(Expression expression) |
static StructuredAssert |
StructuredAssert.mkStructuredAssert(BytecodeLoc loc,
ConditionalExpression conditionalExpression,
Expression arg) |
Constructor and Description |
---|
StructuredCase(BytecodeLoc loc,
java.util.List<Expression> values,
InferredJavaType inferredJavaTypeOfSwitch,
Op04StructuredStatement body,
BlockIdentifier blockIdentifier) |
StructuredCase(BytecodeLoc loc,
java.util.List<Expression> values,
InferredJavaType inferredJavaTypeOfSwitch,
Op04StructuredStatement body,
BlockIdentifier blockIdentifier,
boolean enumSwitch) |
UnstructuredCase(java.util.List<Expression> values,
InferredJavaType caseType,
BlockIdentifier blockIdentifier) |
Modifier and Type | Method and Description |
---|---|
Expression |
MethodPrototype.getAppropriatelyCastedArgument(Expression expression,
int argidx) |
Modifier and Type | Method and Description |
---|---|
void |
MethodPrototype.dumpAppropriatelyCastedArgumentString(Expression expression,
Dumper d) |
Expression |
MethodPrototype.getAppropriatelyCastedArgument(Expression expression,
int argidx) |
void |
MethodPrototype.tightenArgs(Expression object,
java.util.List<Expression> expressions) |
Modifier and Type | Method and Description |
---|---|
private JavaTypeInstance |
MethodPrototype.getResultBoundAccordingly(JavaTypeInstance result,
JavaGenericRefTypeInstance boundInstance,
java.util.List<Expression> invokingArgs) |
private JavaTypeInstance |
MethodPrototype.getResultBoundAccordinglyInner(JavaTypeInstance result,
JavaGenericRefTypeInstance boundInstance,
java.util.List<Expression> invokingArgs) |
JavaTypeInstance |
MethodPrototype.getReturnType(JavaTypeInstance thisTypeInstance,
java.util.List<Expression> invokingArgs) |
GenericTypeBinder |
MethodPrototype.getTypeBinderFor(java.util.List<Expression> invokingArgs) |
void |
MethodPrototype.tightenArgs(Expression object,
java.util.List<Expression> expressions) |
Modifier and Type | Method and Description |
---|---|
abstract Expression |
CastAction.performCastAction(Expression orig,
InferredJavaType tgtType) |
Modifier and Type | Method and Description |
---|---|
abstract Expression |
CastAction.performCastAction(Expression orig,
InferredJavaType tgtType) |
Modifier and Type | Field and Description |
---|---|
private Expression |
ClassFileField.initialValue |
Modifier and Type | Method and Description |
---|---|
Expression |
ClassFileField.getInitialValue() |
Modifier and Type | Method and Description |
---|---|
void |
ClassFileField.setInitialValue(Expression rValue) |
Modifier and Type | Method and Description |
---|---|
private boolean |
OverloadMethodSet.callsCorrectApproxObjMethod(Expression newArg,
JavaTypeInstance actual,
int idx,
GenericTypeBinder gtb) |
boolean |
OverloadMethodSet.callsCorrectMethod(Expression newArg,
int idx,
GenericTypeBinder gtb) |
Modifier and Type | Method and Description |
---|---|
boolean |
OverloadMethodSet.callsCorrectEntireMethod(java.util.List<Expression> args,
GenericTypeBinder gtb) |
Dumper |
ClassFileDumperAnonymousInner.dumpWithArgs(ClassFile classFile,
MethodPrototype usedMethod,
java.util.List<Expression> args,
boolean isEnum,
Dumper d) |
Modifier and Type | Method and Description |
---|---|
boolean |
ExceptionCheck.checkAgainstException(Expression expression) |
boolean |
ExceptionCheckImpl.checkAgainstException(Expression expression) |
boolean |
ExceptionCheckSimple.checkAgainstException(Expression expression) |
Modifier and Type | Method and Description |
---|---|
static ConstantPoolEntryMethodHandle |
LambdaUtils.getHandle(Expression e) |
static MethodPrototype |
LambdaUtils.getLiteralProto(Expression arg) |
private static TypedLiteral.LiteralType |
LambdaUtils.getLiteralType(Expression e) |
private static ConstantPoolEntryMethodType |
LambdaUtils.getType(Expression e) |
private static TypedLiteral |
LambdaUtils.getTypedLiteral(Expression e) |