org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters

Class IllegalGenericRewriter

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.rewriters.AbstractExpressionRewriter

org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.IllegalGenericRewriter

All Implemented Interfaces:

ExpressionRewriter

public class IllegalGenericRewriter
extends AbstractExpressionRewriter

Field Summary

Fields

Modifier and Type	Field and Description
private ConstantPool	cp
private java.util.Map<java.lang.String,FormalTypeParameter>	formalParams

Constructor Summary

Constructors

Constructor and Description
IllegalGenericRewriter(ConstantPool cp, java.util.Map<java.lang.String,FormalTypeParameter> formalParams)

Method Summary

Modifier and Type	Method and Description
private boolean	hasIllegalGenerics(JavaTypeInstance javaTypeInstance, boolean constructor)
private void	maybeRewriteExplicitCallTyping(AbstractFunctionInvokation abstractFunctionInvokation)
private void	maybeRewriteExpressionType(InferredJavaType inferredJavaType, boolean constructor)
Expression	rewriteExpression(Expression expression, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
LValue	rewriteExpression(LValue lValue, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.rewriters.AbstractExpressionRewriter

handleStatement, rewriteExpression, rewriteExpression

Methods inherited from class java.lang.Object

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

Field Detail

cp

private final ConstantPool cp

formalParams

private final java.util.Map<java.lang.String,FormalTypeParameter> formalParams

Constructor Detail

IllegalGenericRewriter

public IllegalGenericRewriter(ConstantPool cp,
                              java.util.Map<java.lang.String,FormalTypeParameter> formalParams)

Method Detail

hasIllegalGenerics

private boolean hasIllegalGenerics(JavaTypeInstance javaTypeInstance,
                                   boolean constructor)

maybeRewriteExpressionType

private void maybeRewriteExpressionType(InferredJavaType inferredJavaType,
                                        boolean constructor)

maybeRewriteExplicitCallTyping

private void maybeRewriteExplicitCallTyping(AbstractFunctionInvokation abstractFunctionInvokation)

rewriteExpression

public Expression rewriteExpression(Expression expression,
                                    SSAIdentifiers ssaIdentifiers,
                                    StatementContainer statementContainer,
                                    ExpressionRewriterFlags flags)

Specified by:

rewriteExpression in interface ExpressionRewriter

Overrides:

rewriteExpression in class AbstractExpressionRewriter

rewriteExpression

public LValue rewriteExpression(LValue lValue,
                                SSAIdentifiers ssaIdentifiers,
                                StatementContainer statementContainer,
                                ExpressionRewriterFlags flags)

Specified by:

rewriteExpression in interface ExpressionRewriter

Overrides:

rewriteExpression in class AbstractExpressionRewriter