public class LocalClassScopeDiscoverImpl extends AbstractLValueScopeDiscoverer
Modifier and Type | Class and Description |
---|---|
private static class |
LocalClassScopeDiscoverImpl.SentinelNV |
(package private) class |
LocalClassScopeDiscoverImpl.TypeUsageSpotter |
AbstractLValueScopeDiscoverer.ScopeDefinition
Modifier and Type | Field and Description |
---|---|
private java.util.Map<JavaTypeInstance,java.lang.Boolean> |
localClassTypes |
private JavaTypeInstance |
scopeType |
private LocalClassScopeDiscoverImpl.TypeUsageSpotter |
typeUsageSpotter |
currentBlock, currentDepth, currentMark, discoveredCreations, earliestDefinition, earliestDefinitionsByLevel, options, variableFactory
Constructor and Description |
---|
LocalClassScopeDiscoverImpl(Options options,
Method method,
VariableFactory variableFactory) |
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) |
collect, collectMultiUse, collectMutatedLValue, enterBlock, getFactCache, ifCanDefine, leaveBlock, mark, markDiscoveredCreations
private final java.util.Map<JavaTypeInstance,java.lang.Boolean> localClassTypes
private final LocalClassScopeDiscoverImpl.TypeUsageSpotter typeUsageSpotter
private final JavaTypeInstance scopeType
public LocalClassScopeDiscoverImpl(Options options, Method method, VariableFactory variableFactory)
public void processOp04Statement(Op04StructuredStatement statement)
processOp04Statement
in interface LValueScopeDiscoverer
processOp04Statement
in class AbstractLValueScopeDiscoverer
public void collectLocalVariableAssignment(LocalVariable localVariable, StatementContainer<StructuredStatement> statementContainer, Expression value)
private void defineHere(LValue lValue, JavaTypeInstance type, boolean immediate)
public boolean descendLambdas()