Class AbstractLValueScopeDiscoverer

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.utils.scope.AbstractLValueScopeDiscoverer

All Implemented Interfaces:

LValueAssignmentCollector<StructuredStatement>, LValueUsageCollector, LValueScopeDiscoverer

Direct Known Subclasses:

LocalClassScopeDiscoverImpl, LValueScopeDiscoverImpl

public abstract class AbstractLValueScopeDiscoverer
extends Object
implements LValueScopeDiscoverer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) class	AbstractLValueScopeDiscoverer.ScopeDefinition
private static class	AbstractLValueScopeDiscoverer.ScopeKey

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Stack<StatementContainer<StructuredStatement>>	currentBlock
(package private) int	currentDepth
(package private) StatementContainer<StructuredStatement>	currentMark
(package private) final List<AbstractLValueScopeDiscoverer.ScopeDefinition>	discoveredCreations
(package private) final Map<NamedVariable, AbstractLValueScopeDiscoverer.ScopeDefinition>	earliestDefinition
(package private) final Map<Integer, Map<NamedVariable, Boolean>>	earliestDefinitionsByLevel
private final ScopeDiscoverInfoCache	factCache
(package private) Options	options
private final MethodPrototype	prototype
(package private) final VariableFactory	variableFactory

Constructor Summary

Constructors

Constructor	Description
AbstractLValueScopeDiscoverer(Options options, MethodPrototype prototype, VariableFactory variableFactory)

Method Summary

Modifier and Type	Method	Description
void	collect(StackSSALabel lValue, StatementContainer<StructuredStatement> statementContainer, Expression value)
void	collectMultiUse(StackSSALabel lValue, StatementContainer<StructuredStatement> statementContainer, Expression value)
void	collectMutatedLValue(LValue lValue, StatementContainer<StructuredStatement> statementContainer, Expression value)
private boolean	defineInsideSwitchContent(LValue scopedEntity, List<AbstractLValueScopeDiscoverer.ScopeDefinition> definitions, List<StatementContainer<StructuredStatement>> commonScope)
void	enterBlock(StructuredStatement structuredStatement)
private static <T> List<T>	getCommonPrefix(List<T> a, List<T> b)
(package private) ScopeDiscoverInfoCache	getFactCache()
private StatementContainer<StructuredStatement>	getNonInit(StatementContainer<StructuredStatement> creationContainer)
private JavaTypeInstance	getUnclashedType(InferredJavaType inferredJavaType)
boolean	ifCanDefine()
void	leaveBlock(StructuredStatement structuredStatement)
void	mark(StatementContainer<StructuredStatement> mark)
void	markDiscoveredCreations()
void	processOp04Statement(Op04StructuredStatement statement)

Methods inherited from class Object

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

Methods inherited from interface LValueScopeDiscoverer

collect, collectLocalVariableAssignment, descendLambdas

Field Details

earliestDefinition

final Map<NamedVariable, AbstractLValueScopeDiscoverer.ScopeDefinition> earliestDefinition

earliestDefinitionsByLevel

final Map<Integer, Map<NamedVariable, Boolean>> earliestDefinitionsByLevel

currentDepth

int currentDepth

currentBlock

Stack<StatementContainer<StructuredStatement>> currentBlock

discoveredCreations

final List<AbstractLValueScopeDiscoverer.ScopeDefinition> discoveredCreations

variableFactory

final VariableFactory variableFactory

currentMark

StatementContainer<StructuredStatement> currentMark

options

Options options

prototype

private final MethodPrototype prototype

factCache

private final ScopeDiscoverInfoCache factCache

Constructor Details

AbstractLValueScopeDiscoverer

AbstractLValueScopeDiscoverer(Options options,
 MethodPrototype prototype,
 VariableFactory variableFactory)

Method Details

getFactCache

ScopeDiscoverInfoCache getFactCache()

enterBlock

public void enterBlock(StructuredStatement structuredStatement)

Specified by:

enterBlock in interface LValueScopeDiscoverer

ifCanDefine

public boolean ifCanDefine()

Specified by:

ifCanDefine in interface LValueScopeDiscoverer

processOp04Statement

public void processOp04Statement(Op04StructuredStatement statement)

Specified by:

processOp04Statement in interface LValueScopeDiscoverer

mark

public void mark(StatementContainer<StructuredStatement> mark)

Specified by:

mark in interface LValueScopeDiscoverer

leaveBlock

public void leaveBlock(StructuredStatement structuredStatement)

Specified by:

leaveBlock 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

markDiscoveredCreations

public void markDiscoveredCreations()

getNonInit

private StatementContainer<StructuredStatement> getNonInit(StatementContainer<StructuredStatement> creationContainer)

defineInsideSwitchContent

private boolean defineInsideSwitchContent(LValue scopedEntity,
 List<AbstractLValueScopeDiscoverer.ScopeDefinition> definitions,
 List<StatementContainer<StructuredStatement>> commonScope)

getCommonPrefix

private static <T> List<T> getCommonPrefix(List<T> a,
 List<T> b)

getUnclashedType

private JavaTypeInstance getUnclashedType(InferredJavaType inferredJavaType)