Package com.sun.tools.javac.comp

Class Resolve

java.lang.Object

com.sun.tools.javac.comp.Resolve

Direct Known Subclasses:

ResolveWithDeps

public class Resolve
extends Object

Helper class for name resolution, used mostly by the attribution phase.

This is NOT part of any supported API. If you write code that depends on this, you do so at your own risk. This code and its internal interfaces are subject to change or deletion without notice.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Resolve.InapplicableMethodException

Field Summary

Fields

Modifier and Type	Field and Description
boolean	allowDefaultMethods
boolean	allowMethodHandles
boolean	allowStructuralMostSpecific
boolean	boxingEnabled
protected static Context.Key<Resolve>	resolveKey
boolean	varargsEnabled

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Resolve(Context context)

Method Summary

Modifier and Type	Method and Description
static Resolve	instance(Context context)
boolean	isAccessible(Env<AttrContext> env, Symbol.TypeSymbol c) Is class accessible in given evironment?
boolean	isAccessible(Env<AttrContext> env, Symbol.TypeSymbol c, boolean checkInner)
boolean	isAccessible(Env<AttrContext> env, Type site, Symbol sym) Is symbol accessible as a member of given type in given environment?
boolean	isAccessible(Env<AttrContext> env, Type site, Symbol sym, boolean checkInner)
protected static boolean	isStatic(Env<AttrContext> env) An environment is "static" if its static level is greater than the one of its outer environment
void	logAccessErrorInternal(Env<AttrContext> env, JCTree tree, Type type)
Object	methodArguments(List<Type> argtypes)
void	printscopes(Scope s) print all scopes starting with scope s and proceeding outwards.
void	printscopes(Type t)
void	reportDependence(Symbol from, Symbol to) Report dependencies.
Symbol.MethodSymbol	resolveInternalConstructor(JCDiagnostic.DiagnosticPosition pos, Env<AttrContext> env, Type site, List<Type> argtypes, List<Type> typeargtypes) Resolve a constructor, throw a fatal error if not found.
Symbol.VarSymbol	resolveInternalField(JCDiagnostic.DiagnosticPosition pos, Env<AttrContext> env, Type site, Name name) Resolve a field identifier, throw a fatal error if not found.
Symbol.MethodSymbol	resolveInternalMethod(JCDiagnostic.DiagnosticPosition pos, Env<AttrContext> env, Type site, Name name, List<Type> argtypes, List<Type> typeargtypes) Resolve a qualified method identifier, throw a fatal error if not found.

Methods inherited from class java.lang.Object

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

Field Detail

resolveKey

protected static final Context.Key<Resolve> resolveKey

boxingEnabled

public final boolean boxingEnabled

varargsEnabled

public final boolean varargsEnabled

allowMethodHandles

public final boolean allowMethodHandles

allowDefaultMethods

public final boolean allowDefaultMethods

allowStructuralMostSpecific

public final boolean allowStructuralMostSpecific

Constructor Detail

Resolve

protected Resolve(Context context)

Method Detail

instance

public static Resolve instance(Context context)

isStatic

protected static boolean isStatic(Env<AttrContext> env)

An environment is "static" if its static level is greater than the one of its outer environment

isAccessible

public boolean isAccessible(Env<AttrContext> env,
                            Symbol.TypeSymbol c)

Is class accessible in given evironment?

Parameters:

env - The current environment.

c - The class whose accessibility is checked.

isAccessible

public boolean isAccessible(Env<AttrContext> env,
                            Symbol.TypeSymbol c,
                            boolean checkInner)

isAccessible

public boolean isAccessible(Env<AttrContext> env,
                            Type site,
                            Symbol sym)

Is symbol accessible as a member of given type in given environment?

Parameters:

env - The current environment.

site - The type of which the tested symbol is regarded as a member.

sym - The symbol.

isAccessible

public boolean isAccessible(Env<AttrContext> env,
                            Type site,
                            Symbol sym,
                            boolean checkInner)

resolveInternalField

public Symbol.VarSymbol resolveInternalField(JCDiagnostic.DiagnosticPosition pos,
                                             Env<AttrContext> env,
                                             Type site,
                                             Name name)

Resolve a field identifier, throw a fatal error if not found.

Parameters:

pos - The position to use for error reporting.

env - The environment current at the method invocation.

site - The type of the qualifying expression, in which identifier is searched.

name - The identifier's name.

reportDependence

public void reportDependence(Symbol from,
                             Symbol to)

Report dependencies.

Parameters:

from - The enclosing class sym

to - The found identifier that the class depends on.

printscopes

public void printscopes(Scope s)

print all scopes starting with scope s and proceeding outwards. used for debugging.

printscopes

public void printscopes(Type t)

resolveInternalMethod

public Symbol.MethodSymbol resolveInternalMethod(JCDiagnostic.DiagnosticPosition pos,
                                                 Env<AttrContext> env,
                                                 Type site,
                                                 Name name,
                                                 List<Type> argtypes,
                                                 List<Type> typeargtypes)

Resolve a qualified method identifier, throw a fatal error if not found.

Parameters:

pos - The position to use for error reporting.

env - The environment current at the method invocation.

site - The type of the qualifying expression, in which identifier is searched.

name - The identifier's name.

argtypes - The types of the invocation's value arguments.

typeargtypes - The types of the invocation's type arguments.

resolveInternalConstructor

public Symbol.MethodSymbol resolveInternalConstructor(JCDiagnostic.DiagnosticPosition pos,
                                                      Env<AttrContext> env,
                                                      Type site,
                                                      List<Type> argtypes,
                                                      List<Type> typeargtypes)

Resolve a constructor, throw a fatal error if not found.

Parameters:

pos - The position to use for error reporting.

env - The environment current at the method invocation.

site - The type to be constructed.

argtypes - The types of the invocation's value arguments.

typeargtypes - The types of the invocation's type arguments.

logAccessErrorInternal

public void logAccessErrorInternal(Env<AttrContext> env,
                                   JCTree tree,
                                   Type type)

methodArguments

public Object methodArguments(List<Type> argtypes)