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

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 and Description
private static class	LocalClassScopeDiscoverImpl.SentinelNV
(package private) class	LocalClassScopeDiscoverImpl.TypeUsageSpotter

Nested classes/interfaces inherited from class org.benf.cfr.reader.bytecode.analysis.parse.utils.scope.AbstractLValueScopeDiscoverer

AbstractLValueScopeDiscoverer.ScopeDefinition

Field Summary

Fields

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

Fields inherited from class org.benf.cfr.reader.bytecode.analysis.parse.utils.scope.AbstractLValueScopeDiscoverer

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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 org.benf.cfr.reader.bytecode.analysis.parse.utils.scope.AbstractLValueScopeDiscoverer

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

Methods inherited from class java.lang.Object

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

Field Detail

localClassTypes

private final java.util.Map<JavaTypeInstance,java.lang.Boolean> localClassTypes

typeUsageSpotter

private final LocalClassScopeDiscoverImpl.TypeUsageSpotter typeUsageSpotter

scopeType

private final JavaTypeInstance scopeType

Constructor Detail

LocalClassScopeDiscoverImpl

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

Method Detail

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()