org.benf.cfr.reader.bytecode.analysis.parse.expression

Class StaticFunctionInvokation

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.expression.AbstractExpression

org.benf.cfr.reader.bytecode.analysis.parse.expression.AbstractFunctionInvokation

org.benf.cfr.reader.bytecode.analysis.parse.expression.StaticFunctionInvokation

All Implemented Interfaces:

HasByteCodeLoc, Expression, BoxingProcessor, FunctionProcessor, DeepCloneable<Expression>, ComparableUnderEC, Dumpable, DumpableWithPrecedence, TypeUsageCollectable

public class StaticFunctionInvokation
extends AbstractFunctionInvokation
implements FunctionProcessor, BoxingProcessor

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<Expression>	args
private JavaTypeInstance	clazz
private java.util.List<JavaTypeInstance>	explicitGenerics
private Expression	object

Constructor Summary

Constructors

Modifier	Constructor and Description
	StaticFunctionInvokation(BytecodeLoc loc, ConstantPoolEntryMethodRef function, java.util.List<Expression> args)
private	StaticFunctionInvokation(BytecodeLoc loc, ConstantPoolEntryMethodRef function, java.util.List<Expression> args, Expression object)

Method Summary

Modifier and Type	Method and Description
Expression	applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
void	applyExpressionRewriterToArgs(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
void	applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
Expression	applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
void	collectTypeUsages(TypeUsageCollector collector)
void	collectUsedLValues(LValueUsageCollector lValueUsageCollector)
Expression	deepClone(CloneHelper cloneHelper)
Dumper	dumpInner(Dumper d)
boolean	equals(java.lang.Object o)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
void	forceObject(Expression object)
java.util.List<Expression>	getArgs()
JavaTypeInstance	getClazz()
BytecodeLoc	getCombinedLoc()
java.util.List<JavaTypeInstance>	getExplicitGenerics()
Precedence	getPrecedence()
private static InferredJavaType	getTypeForFunction(ConstantPoolEntryMethodRef function, java.util.List<Expression> args)
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
boolean	rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)
void	rewriteVarArgs(VarArgsRewriter varArgsRewriter)
void	setExplicitGenerics(java.util.List<JavaTypeInstance> types)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.expression.AbstractFunctionInvokation

getFixedName, getFunction, getMethodPrototype, getName, isValidStatement

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.expression.AbstractExpression

addLoc, canPushDownInto, canThrow, dump, dumpWithOuterPrecedence, getComputedLiteral, getInferredJavaType, getLoc, isSimple, outerDeepClone, pushDown, toString, visit

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

args

protected final java.util.List<Expression> args

clazz

private final JavaTypeInstance clazz

object

private Expression object

explicitGenerics

private java.util.List<JavaTypeInstance> explicitGenerics

Constructor Detail

StaticFunctionInvokation

private StaticFunctionInvokation(BytecodeLoc loc,
                                 ConstantPoolEntryMethodRef function,
                                 java.util.List<Expression> args,
                                 Expression object)

StaticFunctionInvokation

public StaticFunctionInvokation(BytecodeLoc loc,
                                ConstantPoolEntryMethodRef function,
                                java.util.List<Expression> args)

Method Detail

getTypeForFunction

private static InferredJavaType getTypeForFunction(ConstantPoolEntryMethodRef function,
                                                   java.util.List<Expression> args)

deepClone

public Expression deepClone(CloneHelper cloneHelper)

Specified by:

deepClone in interface DeepCloneable<Expression>

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

forceObject

public void forceObject(Expression object)

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractExpression

replaceSingleUsageLValues

public Expression replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                            SSAIdentifiers ssaIdentifiers,
                                            StatementContainer statementContainer)

Specified by:

replaceSingleUsageLValues in interface Expression

applyExpressionRewriter

public Expression applyExpressionRewriter(ExpressionRewriter expressionRewriter,
                                          SSAIdentifiers ssaIdentifiers,
                                          StatementContainer statementContainer,
                                          ExpressionRewriterFlags flags)

Specified by:

applyExpressionRewriter in interface Expression

applyReverseExpressionRewriter

public Expression applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter,
                                                 SSAIdentifiers ssaIdentifiers,
                                                 StatementContainer statementContainer,
                                                 ExpressionRewriterFlags flags)

Specified by:

applyReverseExpressionRewriter in interface Expression

applyExpressionRewriterToArgs

public void applyExpressionRewriterToArgs(ExpressionRewriter expressionRewriter,
                                          SSAIdentifiers ssaIdentifiers,
                                          StatementContainer statementContainer,
                                          ExpressionRewriterFlags flags)

Specified by:

applyExpressionRewriterToArgs in class AbstractFunctionInvokation

setExplicitGenerics

public void setExplicitGenerics(java.util.List<JavaTypeInstance> types)

Specified by:

setExplicitGenerics in class AbstractFunctionInvokation

getExplicitGenerics

public java.util.List<JavaTypeInstance> getExplicitGenerics()

Specified by:

getExplicitGenerics in class AbstractFunctionInvokation

getPrecedence

public Precedence getPrecedence()

Specified by:

getPrecedence in interface DumpableWithPrecedence

Specified by:

getPrecedence in class AbstractExpression

dumpInner

public Dumper dumpInner(Dumper d)

Specified by:

dumpInner in class AbstractExpression

collectUsedLValues

public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)

Specified by:

collectUsedLValues in interface Expression

getClazz

public JavaTypeInstance getClazz()

getArgs

public java.util.List<Expression> getArgs()

Specified by:

getArgs in class AbstractFunctionInvokation

rewriteVarArgs

public void rewriteVarArgs(VarArgsRewriter varArgsRewriter)

Specified by:

rewriteVarArgs in interface FunctionProcessor

rewriteBoxing

public boolean rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)

Specified by:

rewriteBoxing in interface BoxingProcessor

applyNonArgExpressionRewriter

public void applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter,
                                          SSAIdentifiers ssaIdentifiers,
                                          StatementContainer statementContainer,
                                          ExpressionRewriterFlags flags)

Specified by:

applyNonArgExpressionRewriter in interface BoxingProcessor

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class AbstractExpression

equivalentUnder

public boolean equivalentUnder(java.lang.Object o,
                               EquivalenceConstraint constraint)

Specified by:

equivalentUnder in interface Expression

Specified by:

equivalentUnder in interface ComparableUnderEC