Package org.inferred.freebuilder.processor.source

Class ScopeHandler

java.lang.Object

org.inferred.freebuilder.processor.source.ScopeHandler

class ScopeHandler
extends java.lang.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 class	ScopeHandler.ScopeState
(package private) static interface	ScopeHandler.TypeInfo
(package private) static class	ScopeHandler.Visibility

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.Map<java.lang.String,QualifiedName>	generatedTypes	Qualified name as string ↦ qualified name
private ScopeHandler.Reflection	reflect
private java.util.Map<QualifiedName,ScopeHandler.Visibility>	typeVisibility	Type ↦ visibility in parent scope
private static java.lang.String	UNIVERSALLY_VISIBLE_PACKAGE
private java.util.Map<QualifiedName,com.google.common.collect.SetMultimap<java.lang.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<java.lang.String,QualifiedName>	computeTypesInScope(QualifiedName scope)
(package private) void	declareGeneratedType(ScopeHandler.Visibility visibility, QualifiedName generatedType, java.util.Set<java.lang.String> supertypes)
private static <K1,K2,V> com.google.common.collect.SetMultimap<K2,V>	get(java.util.Map<K1,com.google.common.collect.SetMultimap<K2,V>> map, K1 key)
private boolean	isTopLevelType(java.lang.String pkg, java.lang.String simpleName)
private java.util.stream.Stream<QualifiedName>	lookup(java.lang.String typename)
private static boolean	maybeVisibleInScope(QualifiedName scope, ScopeHandler.Visibility visibility, QualifiedName type)
private com.google.common.collect.SetMultimap<java.lang.String,QualifiedName>	typesInScope(QualifiedName scope)
(package private) ScopeHandler.ScopeState	visibilityIn(java.lang.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 Detail

UNIVERSALLY_VISIBLE_PACKAGE

private static final java.lang.String UNIVERSALLY_VISIBLE_PACKAGE

See Also:

Constant Field Values

reflect

private final ScopeHandler.Reflection reflect

typeVisibility

private final java.util.Map<QualifiedName,ScopeHandler.Visibility> typeVisibility

Type ↦ visibility in parent scope

visibleTypes

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

Scope ↦ simple name ↦ type

generatedTypes

private final java.util.Map<java.lang.String,QualifiedName> generatedTypes

Qualified name as string ↦ qualified name

Constructor Detail

ScopeHandler

ScopeHandler(ScopeHandler.Reflection reflect)

Method Detail

visibilityIn

ScopeHandler.ScopeState visibilityIn(java.lang.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,
                          java.util.Set<java.lang.String> supertypes)

lookup

private java.util.stream.Stream<QualifiedName> lookup(java.lang.String typename)

isTopLevelType

private boolean isTopLevelType(java.lang.String pkg,
                               java.lang.String simpleName)

get

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

typesInScope

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

computeTypesInScope

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

maybeVisibleInScope

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

visibilityOf

private ScopeHandler.Visibility visibilityOf(QualifiedName type)