Package org.inferred.freebuilder.processor.source

Class ScopeHandler

java.lang.Object

org.inferred.freebuilder.processor.source.ScopeHandler

class ScopeHandler
extends Object

Handles the byzantine rules of Java scoping.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static interface	ScopeHandler.Reflection
(package private) static enum	ScopeHandler.ScopeState
(package private) static interface	ScopeHandler.TypeInfo
(package private) static enum	ScopeHandler.Visibility

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<String,QualifiedName>	generatedTypes	Qualified name as string ↦ qualified name
private final ScopeHandler.Reflection	reflect
private final Map<QualifiedName,ScopeHandler.Visibility>	typeVisibility	Type ↦ visibility in parent scope
private static final String	UNIVERSALLY_VISIBLE_PACKAGE
private final Map<QualifiedName,com.google.common.collect.SetMultimap<String,QualifiedName>>	visibleTypes	Scope ↦ simple name ↦ type

Constructor Summary

Constructors

Constructor	Description
ScopeHandler(ScopeHandler.Reflection reflect)

Method Summary

Modifier and Type	Method	Description
private com.google.common.collect.SetMultimap<String,QualifiedName>	computeTypesInScope(QualifiedName scope)
(package private) void	declareGeneratedType(ScopeHandler.Visibility visibility, QualifiedName generatedType, Set<String> supertypes)
private static <K1, K2, V> com.google.common.collect.SetMultimap<K2,V>	get(Map<K1,com.google.common.collect.SetMultimap<K2,V>> map, K1 key)
private boolean	isTopLevelType(String pkg, String simpleName)
private Stream<QualifiedName>	lookup(String typename)
private static boolean	maybeVisibleInScope(QualifiedName scope, ScopeHandler.Visibility visibility, QualifiedName type)
private com.google.common.collect.SetMultimap<String,QualifiedName>	typesInScope(QualifiedName scope)
(package private) ScopeHandler.ScopeState	visibilityIn(String pkg, QualifiedName type)	Returns whether type is visible in, or can be imported into, a compilation unit in pkg.
(package private) ScopeHandler.ScopeState	visibilityIn(QualifiedName scope, QualifiedName type)	Returns whether type is visible in, or can be imported into, the body of type.
private ScopeHandler.Visibility	visibilityOf(QualifiedName type)

Methods inherited from class java.lang.Object

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

Field Details

UNIVERSALLY_VISIBLE_PACKAGE

private static final String UNIVERSALLY_VISIBLE_PACKAGE

See Also:

• Constant Field Values

reflect

private final ScopeHandler.Reflection reflect

typeVisibility

private final Map<QualifiedName,ScopeHandler.Visibility> typeVisibility

Type ↦ visibility in parent scope

visibleTypes

private final Map<QualifiedName,com.google.common.collect.SetMultimap<String,QualifiedName>> visibleTypes

Scope ↦ simple name ↦ type

generatedTypes

private final Map<String,QualifiedName> generatedTypes

Qualified name as string ↦ qualified name

Constructor Details

ScopeHandler

ScopeHandler(ScopeHandler.Reflection reflect)

Method Details

visibilityIn

ScopeHandler.ScopeState visibilityIn(String pkg,
 QualifiedName type)

Returns whether type is visible in, or can be imported into, a compilation unit in pkg.

visibilityIn

ScopeHandler.ScopeState visibilityIn(QualifiedName scope,
 QualifiedName type)

Returns whether type is visible in, or can be imported into, the body of type.

declareGeneratedType

void declareGeneratedType(ScopeHandler.Visibility visibility,
 QualifiedName generatedType,
 Set<String> supertypes)

lookup

private Stream<QualifiedName> lookup(String typename)

isTopLevelType

private boolean isTopLevelType(String pkg,
 String simpleName)

get

private static <K1,
K2,
V>
com.google.common.collect.SetMultimap<K2,V> get(Map<K1,com.google.common.collect.SetMultimap<K2,V>> map,
 K1 key)

typesInScope

private com.google.common.collect.SetMultimap<String,QualifiedName> typesInScope(QualifiedName scope)

computeTypesInScope

private com.google.common.collect.SetMultimap<String,QualifiedName> computeTypesInScope(QualifiedName scope)

maybeVisibleInScope

private static boolean maybeVisibleInScope(QualifiedName scope,
 ScopeHandler.Visibility visibility,
 QualifiedName type)

visibilityOf

private ScopeHandler.Visibility visibilityOf(QualifiedName type)