Class LocalClassScopeDiscoverImpl

java.lang.Object

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

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

All Implemented Interfaces:

LValueAssignmentCollector<StructuredStatement>, LValueUsageCollector, LValueScopeDiscoverer

public class LocalClassScopeDiscoverImpl
extends AbstractLValueScopeDiscoverer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	LocalClassScopeDiscoverImpl.SentinelNV
(package private) class	LocalClassScopeDiscoverImpl.TypeUsageSpotter

Nested classes/interfaces inherited from class AbstractLValueScopeDiscoverer

AbstractLValueScopeDiscoverer.ScopeDefinition

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<JavaTypeInstance, Boolean>	localClassTypes
private final JavaTypeInstance	scopeType
private final LocalClassScopeDiscoverImpl.TypeUsageSpotter	typeUsageSpotter

Fields inherited from class AbstractLValueScopeDiscoverer

currentBlock, currentDepth, currentMark, discoveredCreations, earliestDefinition, earliestDefinitionsByLevel, options, variableFactory

Constructor Summary

Constructors

Constructor	Description
LocalClassScopeDiscoverImpl(Options options, Method method, VariableFactory variableFactory)

Method Summary

Modifier and Type	Method	Description
void	collect(LValue lValue, ReadWrite rw)
void	collectLocalVariableAssignment(LocalVariable localVariable, StatementContainer<StructuredStatement> statementContainer, Expression value)
private void	defineHere(LValue lValue, JavaTypeInstance type, boolean immediate)
boolean	descendLambdas()
void	processOp04Statement(Op04StructuredStatement statement)

Methods inherited from class AbstractLValueScopeDiscoverer

collect, collectMultiUse, collectMutatedLValue, enterBlock, getFactCache, ifCanDefine, leaveBlock, mark, markDiscoveredCreations

Methods inherited from class Object

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

Field Details

localClassTypes

private final Map<JavaTypeInstance, Boolean> localClassTypes

typeUsageSpotter

private final LocalClassScopeDiscoverImpl.TypeUsageSpotter typeUsageSpotter

scopeType

private final JavaTypeInstance scopeType

Constructor Details

LocalClassScopeDiscoverImpl

public LocalClassScopeDiscoverImpl(Options options,
 Method method,
 VariableFactory variableFactory)

Method Details

processOp04Statement

public void processOp04Statement(Op04StructuredStatement statement)

Specified by:

processOp04Statement in interface LValueScopeDiscoverer

Overrides:

processOp04Statement in class AbstractLValueScopeDiscoverer

collectLocalVariableAssignment

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

collect

public void collect(LValue lValue,
 ReadWrite rw)

defineHere

private void defineHere(LValue lValue,
 JavaTypeInstance type,
 boolean immediate)

descendLambdas

public boolean descendLambdas()