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

Class LValueTypeClashCheck

java.lang.Object

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

All Implemented Interfaces:

StructuredStatementTransformer, LValueAssignmentCollector<StructuredStatement>, LValueUsageCollector, LValueScopeDiscoverer

public class LValueTypeClashCheck
extends java.lang.Object
implements LValueScopeDiscoverer, StructuredStatementTransformer

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	LValueTypeClashCheck.Check

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<java.lang.Integer>	clashes

Constructor Summary

Constructors

Constructor and Description
LValueTypeClashCheck()

Method Summary

Modifier and Type	Method and Description
void	collect(LValue lValue, ReadWrite rw)
void	collect(StackSSALabel lValue, StatementContainer<StructuredStatement> statementContainer, Expression value)
void	collectExpression(LValue lValue, Expression value)
void	collectLocalVariableAssignment(LocalVariable localVariable, StatementContainer<StructuredStatement> statementContainer, Expression value)
void	collectMultiUse(StackSSALabel lValue, StatementContainer<StructuredStatement> statementContainer, Expression value)
void	collectMutatedLValue(LValue lValue, StatementContainer<StructuredStatement> statementContainer, Expression value)
boolean	descendLambdas()
void	enterBlock(StructuredStatement structuredStatement)
java.util.Set<java.lang.Integer>	getClashes()
boolean	ifCanDefine()
void	leaveBlock(StructuredStatement structuredStatement)
void	mark(StatementContainer<StructuredStatement> mark)
void	processOp04Statement(Op04StructuredStatement statement)
StructuredStatement	transform(StructuredStatement in, StructuredScope scope)

Methods inherited from class java.lang.Object

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

Field Detail

clashes

private final java.util.Set<java.lang.Integer> clashes

Constructor Detail

LValueTypeClashCheck

public LValueTypeClashCheck()

Method Detail

processOp04Statement

public void processOp04Statement(Op04StructuredStatement statement)

Specified by:

processOp04Statement in interface LValueScopeDiscoverer

enterBlock

public void enterBlock(StructuredStatement structuredStatement)

Specified by:

enterBlock in interface LValueScopeDiscoverer

leaveBlock

public void leaveBlock(StructuredStatement structuredStatement)

Specified by:

leaveBlock in interface LValueScopeDiscoverer

mark

public void mark(StatementContainer<StructuredStatement> mark)

Specified by:

mark in interface LValueScopeDiscoverer

ifCanDefine

public boolean ifCanDefine()

Specified by:

ifCanDefine in interface LValueScopeDiscoverer

collect

public void collect(StackSSALabel lValue,
                    StatementContainer<StructuredStatement> statementContainer,
                    Expression value)

Specified by:

collect in interface LValueAssignmentCollector<StructuredStatement>

Specified by:

collect in interface LValueScopeDiscoverer

collectMultiUse

public void collectMultiUse(StackSSALabel lValue,
                            StatementContainer<StructuredStatement> statementContainer,
                            Expression value)

Specified by:

collectMultiUse in interface LValueAssignmentCollector<StructuredStatement>

Specified by:

collectMultiUse in interface LValueScopeDiscoverer

collectMutatedLValue

public void collectMutatedLValue(LValue lValue,
                                 StatementContainer<StructuredStatement> statementContainer,
                                 Expression value)

Specified by:

collectMutatedLValue in interface LValueAssignmentCollector<StructuredStatement>

Specified by:

collectMutatedLValue in interface LValueScopeDiscoverer

collectLocalVariableAssignment

public void collectLocalVariableAssignment(LocalVariable localVariable,
                                           StatementContainer<StructuredStatement> statementContainer,
                                           Expression value)

Specified by:

collectLocalVariableAssignment in interface LValueAssignmentCollector<StructuredStatement>

Specified by:

collectLocalVariableAssignment in interface LValueScopeDiscoverer

collect

public void collect(LValue lValue,
                    ReadWrite rw)

Specified by:

collect in interface LValueUsageCollector

Specified by:

collect in interface LValueScopeDiscoverer

collectExpression

public void collectExpression(LValue lValue,
                              Expression value)

transform

public StructuredStatement transform(StructuredStatement in,
                                     StructuredScope scope)

Specified by:

transform in interface StructuredStatementTransformer

descendLambdas

public boolean descendLambdas()

Specified by:

descendLambdas in interface LValueScopeDiscoverer

getClashes

public java.util.Set<java.lang.Integer> getClashes()