| java.lang.Object
 com.sun.tools.javac.comp.Check
| Check | | public class Check (Code) | | Type checking helper class for the attribution phase.
This is NOT part of any API supported by Sun Microsystems. 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.
|
| Method Summary | |
| boolean | annotationApplicable(JCAnnotation a, Symbol s)
| | static Object | cannotOverride(MethodSymbol m, MethodSymbol other)
A customized "cannot override" error message.
Parameters:
m - The overriding method.
Parameters:
other - The overridden method. | | public Warner | castWarner(DiagnosticPosition pos, Type found, Type expected)
| | void | checkAllDefined(DiagnosticPosition pos, ClassSymbol c)
Check that all abstract members of given class have definitions. | | void | checkAnnotationResType(DiagnosticPosition pos, Type type)
| | public void | checkCanonical(JCTree tree)
Check that a qualified name is in canonical form (for import decls). | | Type | checkCastable(DiagnosticPosition pos, Type found, Type req)
Check that a given type can be cast to a given target type. | | void | checkClassBounds(DiagnosticPosition pos, Type type)
Check that class c does not implement directly or indirectly
the same parameterized interface with two different argument lists. | | void | checkClassBounds(DiagnosticPosition pos, Map<TypeSymbol, Type> seensofar, Type type)
Enter all interfaces of type `type' into the hash table `seensofar'
with their class symbol as key and their type as value. | | Type | checkClassType(DiagnosticPosition pos, Type t)
Check that type is a class or interface type. | | Type | checkClassType(DiagnosticPosition pos, Type t, boolean noBounds)
Check that type is a class or interface type. | | public boolean | checkCompatibleAbstracts(DiagnosticPosition pos, Type t1, Type t2)
Check that classes (or interfaces) do not each define an abstract
method with same name and arguments but incompatible return types. | | public boolean | checkCompatibleAbstracts(DiagnosticPosition pos, Type t1, Type t2, Type site)
| | public void | checkCompatibleConcretes(DiagnosticPosition pos, Type site)
Check that a class does not inherit two concrete methods
with the same signature. | | void | checkCompatibleSupertypes(DiagnosticPosition pos, Type c)
Check that all abstract methods implemented by a class are
mutually compatible. | | void | checkCyclicConstructors(JCClassDecl tree)
Check for cycles in the graph of constructors calling other
constructors. | | void | checkDeprecatedAnnotation(DiagnosticPosition pos, Symbol s)
| | boolean | checkDisjoint(DiagnosticPosition pos, long flags, long set1, long set2)
Check that flag set does not contain elements of two conflicting sets. | | void | checkDivZero(DiagnosticPosition pos, Symbol operator, Type operand)
| | void | checkEmptyIf(JCIf tree)
| | long | checkFlags(DiagnosticPosition pos, long flags, Symbol sym, JCTree tree)
Check that given modifiers are legal for given symbol and
return modifiers together with any implicit modififiers for that symbol. | | void | checkImplementations(JCClassDecl tree)
Check that all methods which implement some
method conform to the method they implement. | | void | checkImplementations(JCClassDecl tree, ClassSymbol ic)
Check that all methods which implement some
method in `ic' conform to the method they implement. | | void | checkNonCyclic(DiagnosticPosition pos, Type t)
Check for cyclic references. | | void | checkNonCyclic(DiagnosticPosition pos, TypeVar t)
| | void | checkNonCyclicElements(JCClassDecl tree)
Check for cycles in the graph of annotation elements. | | void | checkNonCyclicElementsInternal(DiagnosticPosition pos, TypeSymbol tsym)
| | Type | checkNonVoid(DiagnosticPosition pos, Type t)
Check that type is different from 'void'. | | void | checkNotRepeated(DiagnosticPosition pos, Type it, Set<Type> its)
Enter interface into into set. | | Type | checkNullOrRefType(DiagnosticPosition pos, Type t)
Check that type is a null or reference type. | | int | checkOperator(DiagnosticPosition pos, OperatorSymbol operator, int tag, Type left, Type right)
Return the opcode of the operator but emit an error if it is an
error. | | void | checkOverride(JCTree tree, MethodSymbol m, MethodSymbol other, ClassSymbol origin)
Check that this method conforms with overridden method 'other'.
where `origin' is the class where checking started.
Complications:
(1) Do not check overriding of synthetic methods
(reason: they might be final).
todo: check whether this is still necessary.
(2) Admit the case where an interface proxy throws fewer exceptions
than the method it implements. | | void | checkOverride(JCTree tree, MethodSymbol m)
Check that a given method conforms with any method it overrides. | | Type | checkRefType(DiagnosticPosition pos, Type t)
Check that type is a reference type, i.e. | | Type | checkReifiableReferenceType(DiagnosticPosition pos, Type t)
Check that type is a reifiable class, interface or array type. | | void | checkTransparentClass(DiagnosticPosition pos, ClassSymbol c, Scope s)
Check that a class or interface does not hide a class or
interface with same name in immediately enclosing local scope. | | void | checkTransparentVar(DiagnosticPosition pos, VarSymbol v, Scope s)
Check that variable does not hide variable with same name in
immediately enclosing local scope. | | Type | checkType(DiagnosticPosition pos, Type found, Type req)
Check that a given type is assignable to a given proto-type. | | boolean | checkUnique(DiagnosticPosition pos, Symbol sym, Scope s)
Check that symbol is unique in given scope. | | boolean | checkUniqueClassName(DiagnosticPosition pos, Name name, Scope s)
Check that class does not have the same name as one of
its enclosing classes, or as a class defined in its enclosing scope. | | boolean | checkUniqueImport(DiagnosticPosition pos, Symbol sym, Scope s)
Check that single-type import is not already imported or top-level defined,
but make an exception for two single-type imports which denote the same type. | | boolean | checkUniqueStaticImport(DiagnosticPosition pos, Symbol sym, Scope s)
Check that static single-type import is not already imported or top-level defined,
but make an exception for two single-type imports which denote the same type. | | public Type | completionError(DiagnosticPosition pos, CompletionFailure ex)
Report a failure to complete a class. | | public Warner | convertWarner(DiagnosticPosition pos, Type found, Type expected)
| | List<Type> | diff(List<Type> ts1, List<Type> ts2)
Form the difference of two type lists. | | void | duplicateError(DiagnosticPosition pos, Symbol sym)
Report duplicate declaration error. | | void | earlyRefError(DiagnosticPosition pos, Symbol sym)
Report an error that symbol cannot be referenced before super
has been called. | | List<Type> | excl(Type t, List<Type> ts)
Remove type set from type set list. | | List<Type> | incl(Type t, List<Type> ts)
Add type set to given type list, unless it is a subclass of some class
in the list. | | public static Check | instance(Context context)
| | Type | instantiatePoly(DiagnosticPosition pos, ForAll t, Type pt, Warner warn)
Instantiate polymorphic type to some prototype, unless
prototype is `anyPoly' in which case polymorphic type
is returned unchanged. | | public List<Type> | intersect(List<Type> ts1, List<Type> ts2)
Form the intersection of two type lists. | | boolean | intersects(Type t, List<Type> ts)
| | boolean | isHandled(Type exc, List<Type> handled)
| | boolean | isOverrider(Symbol s)
| | boolean | isTypeVar(Type t)
| | boolean | isUnchecked(ClassSymbol exc)
| | boolean | isUnchecked(Type exc)
| | boolean | isUnchecked(DiagnosticPosition pos, Type exc)
Same, but handling completion failures. | | Name | localClassName(ClassSymbol c)
Return name of local class. | | static int | protection(long flags)
The level of access protection given by a flag set,
where PRIVATE is highest and PUBLIC is lowest. | | public void | reportDeferredDiagnostics()
Report any deferred diagnostics. | | Lint | setLint(Lint newLint)
| | boolean | subset(Type t, List<Type> ts)
| | Type | typeError(DiagnosticPosition pos, Object problem, Type found, Type req)
Report a type error. | | Type | typeError(DiagnosticPosition pos, String problem, Type found, Type req, Object explanation)
| | Type | typeTagError(DiagnosticPosition pos, Object required, Object found)
Report an error that wrong type tag was found. | | List<Type> | unHandled(List<Type> thrown, List<Type> handled)
Return all exceptions in thrown list that are not in handled list. | | static Object | uncheckedOverrides(MethodSymbol m, MethodSymbol other)
A customized "override" warning message.
Parameters:
m - The overriding method.
Parameters:
other - The overridden method. | | List<Type> | union(List<Type> ts1, List<Type> ts2)
Form the union of two type set lists. | | void | validate(JCTree tree)
Visitor method: Validate a type expression, if it is not null, catching
and reporting any completion failures. | | void | validate(List<? extends JCTree> trees)
Visitor method: Validate a list of type expressions. | | public void | validateAnnotation(JCAnnotation a, Symbol s)
Check an annotation of a symbol. | | public void | validateAnnotation(JCAnnotation a)
Check an annotation value. | | void | validateAnnotationMethod(DiagnosticPosition pos, MethodSymbol m)
| | void | validateAnnotationType(JCTree restype)
Annotation types are restricted to primitives, String, an
enum, an annotation, Class, Class, Class, arrays of the preceding. | | void | validateAnnotationType(DiagnosticPosition pos, Type type)
| | public void | validateAnnotations(List<JCAnnotation> annotations, Symbol s)
Check the annotations of a symbol. | | void | validateTypeParams(List<JCTypeParameter> trees)
Visitor method: Validate a list of type parameters. | | void | varargsDuplicateError(DiagnosticPosition pos, Symbol sym1, Symbol sym2)
| | static Object | varargsOverrides(MethodSymbol m, MethodSymbol other)
A customized "override" warning message.
Parameters:
m - The overriding method.
Parameters:
other - The overridden method. | | void | warnDeprecated(DiagnosticPosition pos, Symbol sym)
Warn about deprecated symbol. | | public void | warnUnchecked(DiagnosticPosition pos, String msg, Object... args)
Warn about unchecked operation. |
| allowAnnotations | | boolean allowAnnotations(Code) | | Switch: annotations enabled?
|
| allowGenerics | | boolean allowGenerics(Code) | | Switch: generics enabled?
|
| compiled | | public Map<Name, ClassSymbol> compiled(Code) | | A table mapping flat names of all compiled classes in this run to their
symbols; maintained from outside.
|
| complexInference | | boolean complexInference(Code) | | Switch: -complexinference option set?
|
| annotationApplicable | | boolean annotationApplicable(JCAnnotation a, Symbol s)(Code) | | Is the annotation applicable to the symbol?
|
| cannotOverride | | static Object cannotOverride(MethodSymbol m, MethodSymbol other)(Code) | | A customized "cannot override" error message.
Parameters:
m - The overriding method.
Parameters:
other - The overridden method. An internationalized string. |
| checkAllDefined | | void checkAllDefined(DiagnosticPosition pos, ClassSymbol c)(Code) | | Check that all abstract members of given class have definitions.
Parameters:
pos - Position to be used for error reporting.
Parameters:
c - The class. |
| checkAnnotationResType | | void checkAnnotationResType(DiagnosticPosition pos, Type type)(Code) | | |
| checkCanonical | | public void checkCanonical(JCTree tree)(Code) | | Check that a qualified name is in canonical form (for import decls).
|
| checkCastable | | Type checkCastable(DiagnosticPosition pos, Type found, Type req)(Code) | | Check that a given type can be cast to a given target type.
Return the result of the cast.
Parameters:
pos - Position to be used for error reporting.
Parameters:
found - The type that is being cast.
Parameters:
req - The target type of the cast. |
| checkClassBounds | | void checkClassBounds(DiagnosticPosition pos, Type type)(Code) | | Check that class c does not implement directly or indirectly
the same parameterized interface with two different argument lists.
Parameters:
pos - Position to be used for error reporting.
Parameters:
type - The type whose interfaces are checked. |
| checkClassBounds | | void checkClassBounds(DiagnosticPosition pos, Map<TypeSymbol, Type> seensofar, Type type)(Code) | | Enter all interfaces of type `type' into the hash table `seensofar'
with their class symbol as key and their type as value. Make
sure no class is entered with two different types.
|
| checkClassType | | Type checkClassType(DiagnosticPosition pos, Type t)(Code) | | Check that type is a class or interface type.
Parameters:
pos - Position to be used for error reporting.
Parameters:
t - The type to be checked. |
| checkClassType | | Type checkClassType(DiagnosticPosition pos, Type t, boolean noBounds)(Code) | | Check that type is a class or interface type.
Parameters:
pos - Position to be used for error reporting.
Parameters:
t - The type to be checked.
Parameters:
noBounds - True if type bounds are illegal here. |
| checkCompatibleAbstracts | | public boolean checkCompatibleAbstracts(DiagnosticPosition pos, Type t1, Type t2)(Code) | | Check that classes (or interfaces) do not each define an abstract
method with same name and arguments but incompatible return types.
Parameters:
pos - Position to be used for error reporting.
Parameters:
t1 - The first argument type.
Parameters:
t2 - The second argument type. |
| checkCompatibleAbstracts | | public boolean checkCompatibleAbstracts(DiagnosticPosition pos, Type t1, Type t2, Type site)(Code) | | |
| checkCompatibleConcretes | | public void checkCompatibleConcretes(DiagnosticPosition pos, Type site)(Code) | | Check that a class does not inherit two concrete methods
with the same signature.
Parameters:
pos - Position to be used for error reporting.
Parameters:
site - The class type to be checked. |
| checkCompatibleSupertypes | | void checkCompatibleSupertypes(DiagnosticPosition pos, Type c)(Code) | | Check that all abstract methods implemented by a class are
mutually compatible.
Parameters:
pos - Position to be used for error reporting.
Parameters:
c - The class whose interfaces are checked. |
| checkCyclicConstructors | | void checkCyclicConstructors(JCClassDecl tree)(Code) | | Check for cycles in the graph of constructors calling other
constructors.
|
| checkDeprecatedAnnotation | | void checkDeprecatedAnnotation(DiagnosticPosition pos, Symbol s)(Code) | | |
| checkDisjoint | | boolean checkDisjoint(DiagnosticPosition pos, long flags, long set1, long set2)(Code) | | Check that flag set does not contain elements of two conflicting sets. s
Return true if it doesn't.
Parameters:
pos - Position to be used for error reporting.
Parameters:
flags - The set of flags to be checked.
Parameters:
set1 - Conflicting flags set #1.
Parameters:
set2 - Conflicting flags set #2. |
| checkDivZero | | void checkDivZero(DiagnosticPosition pos, Symbol operator, Type operand)(Code) | | Check for division by integer constant zero
Parameters:
pos - Position for error reporting.
Parameters:
operator - The operator for the expression
Parameters:
operand - The right hand operand for the expression |
| checkEmptyIf | | void checkEmptyIf(JCIf tree)(Code) | | Check for empty statements after if
|
| checkFlags | | long checkFlags(DiagnosticPosition pos, long flags, Symbol sym, JCTree tree)(Code) | | Check that given modifiers are legal for given symbol and
return modifiers together with any implicit modififiers for that symbol.
Warning: we can't use flags() here since this method
is called during class enter, when flags() would cause a premature
completion.
Parameters:
pos - Position to be used for error reporting.
Parameters:
flags - The set of modifiers given in a definition.
Parameters:
sym - The defined symbol. |
| checkImplementations | | void checkImplementations(JCClassDecl tree)(Code) | | Check that all methods which implement some
method conform to the method they implement.
Parameters:
tree - The class definition whose members are checked. |
| checkImplementations | | void checkImplementations(JCClassDecl tree, ClassSymbol ic)(Code) | | Check that all methods which implement some
method in `ic' conform to the method they implement.
|
| checkNonCyclic | | void checkNonCyclic(DiagnosticPosition pos, Type t)(Code) | | Check for cyclic references. Issue an error if the
symbol of the type referred to has a LOCKED flag set.
Parameters:
pos - Position to be used for error reporting.
Parameters:
t - The type referred to. |
| checkNonCyclic | | void checkNonCyclic(DiagnosticPosition pos, TypeVar t)(Code) | | |
| checkNonCyclicElements | | void checkNonCyclicElements(JCClassDecl tree)(Code) | | Check for cycles in the graph of annotation elements.
|
| checkNonCyclicElementsInternal | | void checkNonCyclicElementsInternal(DiagnosticPosition pos, TypeSymbol tsym)(Code) | | |
| checkNonVoid | | Type checkNonVoid(DiagnosticPosition pos, Type t)(Code) | | Check that type is different from 'void'.
Parameters:
pos - Position to be used for error reporting.
Parameters:
t - The type to be checked. |
| checkNotRepeated | | void checkNotRepeated(DiagnosticPosition pos, Type it, Set<Type> its)(Code) | | Enter interface into into set.
If it existed already, issue a "repeated interface" error.
|
| checkNullOrRefType | | Type checkNullOrRefType(DiagnosticPosition pos, Type t)(Code) | | Check that type is a null or reference type.
Parameters:
pos - Position to be used for error reporting.
Parameters:
t - The type to be checked. |
| checkOperator | | int checkOperator(DiagnosticPosition pos, OperatorSymbol operator, int tag, Type left, Type right)(Code) | | Return the opcode of the operator but emit an error if it is an
error.
Parameters:
pos - position for error reporting.
Parameters:
operator - an operator
Parameters:
tag - a tree tag
Parameters:
left - type of left hand side
Parameters:
right - type of right hand side |
| checkOverride | | void checkOverride(JCTree tree, MethodSymbol m, MethodSymbol other, ClassSymbol origin)(Code) | | Check that this method conforms with overridden method 'other'.
where `origin' is the class where checking started.
Complications:
(1) Do not check overriding of synthetic methods
(reason: they might be final).
todo: check whether this is still necessary.
(2) Admit the case where an interface proxy throws fewer exceptions
than the method it implements. Augment the proxy methods with the
undeclared exceptions in this case.
(3) When generics are enabled, admit the case where an interface proxy
has a result type
extended by the result type of the method it implements.
Change the proxies result type to the smaller type in this case.
Parameters:
tree - The tree from which positionsare extracted for errors.
Parameters:
m - The overriding method.
Parameters:
other - The overridden method.
Parameters:
origin - The class of which the overriding methodis a member. |
| checkOverride | | void checkOverride(JCTree tree, MethodSymbol m)(Code) | | Check that a given method conforms with any method it overrides.
Parameters:
tree - The tree from which positions are extractedfor errors.
Parameters:
m - The overriding method. |
| checkRefType | | Type checkRefType(DiagnosticPosition pos, Type t)(Code) | | Check that type is a reference type, i.e. a class, interface or array type
or a type variable.
Parameters:
pos - Position to be used for error reporting.
Parameters:
t - The type to be checked. |
| checkReifiableReferenceType | | Type checkReifiableReferenceType(DiagnosticPosition pos, Type t)(Code) | | Check that type is a reifiable class, interface or array type.
Parameters:
pos - Position to be used for error reporting.
Parameters:
t - The type to be checked. |
| checkTransparentClass | | void checkTransparentClass(DiagnosticPosition pos, ClassSymbol c, Scope s)(Code) | | Check that a class or interface does not hide a class or
interface with same name in immediately enclosing local scope.
Parameters:
pos - Position for error reporting.
Parameters:
c - The symbol.
Parameters:
s - The scope. |
| checkTransparentVar | | void checkTransparentVar(DiagnosticPosition pos, VarSymbol v, Scope s)(Code) | | Check that variable does not hide variable with same name in
immediately enclosing local scope.
Parameters:
pos - Position for error reporting.
Parameters:
v - The symbol.
Parameters:
s - The scope. |
| checkType | | Type checkType(DiagnosticPosition pos, Type found, Type req)(Code) | | Check that a given type is assignable to a given proto-type.
If it is, return the type, otherwise return errType.
Parameters:
pos - Position to be used for error reporting.
Parameters:
found - The type that was found.
Parameters:
req - The type that was required. |
| checkUnique | | boolean checkUnique(DiagnosticPosition pos, Symbol sym, Scope s)(Code) | | Check that symbol is unique in given scope.
Parameters:
pos - Position for error reporting.
Parameters:
sym - The symbol.
Parameters:
s - The scope. |
| checkUniqueClassName | | boolean checkUniqueClassName(DiagnosticPosition pos, Name name, Scope s)(Code) | | Check that class does not have the same name as one of
its enclosing classes, or as a class defined in its enclosing scope.
return true if class is unique in its enclosing scope.
Parameters:
pos - Position for error reporting.
Parameters:
name - The class name.
Parameters:
s - The enclosing scope. |
| checkUniqueImport | | boolean checkUniqueImport(DiagnosticPosition pos, Symbol sym, Scope s)(Code) | | Check that single-type import is not already imported or top-level defined,
but make an exception for two single-type imports which denote the same type.
Parameters:
pos - Position for error reporting.
Parameters:
sym - The symbol.
Parameters:
s - The scope |
| checkUniqueStaticImport | | boolean checkUniqueStaticImport(DiagnosticPosition pos, Symbol sym, Scope s)(Code) | | Check that static single-type import is not already imported or top-level defined,
but make an exception for two single-type imports which denote the same type.
Parameters:
pos - Position for error reporting.
Parameters:
sym - The symbol.
Parameters:
s - The scope
Parameters:
staticImport - Whether or not this was a static import |
| completionError | | public Type completionError(DiagnosticPosition pos, CompletionFailure ex)(Code) | | Report a failure to complete a class.
Parameters:
pos - Position to be used for error reporting.
Parameters:
ex - The failure to report. |
| duplicateError | | void duplicateError(DiagnosticPosition pos, Symbol sym)(Code) | | Report duplicate declaration error.
|
| earlyRefError | | void earlyRefError(DiagnosticPosition pos, Symbol sym)(Code) | | Report an error that symbol cannot be referenced before super
has been called.
Parameters:
pos - Position to be used for error reporting.
Parameters:
sym - The referenced symbol. |
| incl | | List<Type> incl(Type t, List<Type> ts)(Code) | | Add type set to given type list, unless it is a subclass of some class
in the list.
|
| instantiatePoly | | Type instantiatePoly(DiagnosticPosition pos, ForAll t, Type pt, Warner warn)(Code) | | Instantiate polymorphic type to some prototype, unless
prototype is `anyPoly' in which case polymorphic type
is returned unchanged.
|
| intersects | | boolean intersects(Type t, List<Type> ts)(Code) | | Is given type a subtype or supertype of
some of the types in given list?
|
| isHandled | | boolean isHandled(Type exc, List<Type> handled)(Code) | | Is exc handled by given exception list?
|
| isOverrider | | boolean isOverrider(Symbol s)(Code) | | Is s a method symbol that overrides a method in a superclass?
|
| isTypeVar | | boolean isTypeVar(Type t)(Code) | | Is type a type variable, or a (possibly multi-dimensional) array of
type variables?
|
| isUnchecked | | boolean isUnchecked(ClassSymbol exc)(Code) | | Is exc an exception symbol that need not be declared?
|
| isUnchecked | | boolean isUnchecked(Type exc)(Code) | | Is exc an exception type that need not be declared?
|
| isUnchecked | | boolean isUnchecked(DiagnosticPosition pos, Type exc)(Code) | | Same, but handling completion failures.
|
| localClassName | | Name localClassName(ClassSymbol c)(Code) | | Return name of local class.
This is of the form $ n
where
enclClass is the flat name of the enclosing class,
classname is the simple name of the local class
|
| protection | | static int protection(long flags)(Code) | | The level of access protection given by a flag set,
where PRIVATE is highest and PUBLIC is lowest.
|
| reportDeferredDiagnostics | | public void reportDeferredDiagnostics()(Code) | | Report any deferred diagnostics.
|
| subset | | boolean subset(Type t, List<Type> ts)(Code) | | Is given type a subtype of some of the types in given list?
|
| typeError | | Type typeError(DiagnosticPosition pos, Object problem, Type found, Type req)(Code) | | Report a type error.
Parameters:
pos - Position to be used for error reporting.
Parameters:
problem - A string describing the error.
Parameters:
found - The type that was found.
Parameters:
req - The type that was required. |
| typeTagError | | Type typeTagError(DiagnosticPosition pos, Object required, Object found)(Code) | | Report an error that wrong type tag was found.
Parameters:
pos - Position to be used for error reporting.
Parameters:
required - An internationalized string describing the type tagrequired.
Parameters:
found - The type that was found. |
| unHandled | | List<Type> unHandled(List<Type> thrown, List<Type> handled)(Code) | | Return all exceptions in thrown list that are not in handled list.
Parameters:
thrown - The list of thrown exceptions.
Parameters:
handled - The list of handled exceptions. |
| uncheckedOverrides | | static Object uncheckedOverrides(MethodSymbol m, MethodSymbol other)(Code) | | A customized "override" warning message.
Parameters:
m - The overriding method.
Parameters:
other - The overridden method. An internationalized string. |
| validate | | void validate(JCTree tree)(Code) | | Visitor method: Validate a type expression, if it is not null, catching
and reporting any completion failures.
|
| validate | | void validate(List<? extends JCTree> trees)(Code) | | Visitor method: Validate a list of type expressions.
|
| validateAnnotation | | public void validateAnnotation(JCAnnotation a, Symbol s)(Code) | | Check an annotation of a symbol.
|
| validateAnnotation | | public void validateAnnotation(JCAnnotation a)(Code) | | Check an annotation value.
|
| validateAnnotationMethod | | void validateAnnotationMethod(DiagnosticPosition pos, MethodSymbol m)(Code) | | "It is also a compile-time error if any method declared in an
annotation type has a signature that is override-equivalent to
that of any public or protected method declared in class Object
or in the interface annotation.Annotation."
|
| validateAnnotationType | | void validateAnnotationType(JCTree restype)(Code) | | Annotation types are restricted to primitives, String, an
enum, an annotation, Class, Class, Class, arrays of the preceding.
|
| validateAnnotationType | | void validateAnnotationType(DiagnosticPosition pos, Type type)(Code) | | |
| validateAnnotations | | public void validateAnnotations(List<JCAnnotation> annotations, Symbol s)(Code) | | Check the annotations of a symbol.
|
| validateTypeParams | | void validateTypeParams(List<JCTypeParameter> trees)(Code) | | Visitor method: Validate a list of type parameters.
|
| varargsDuplicateError | | void varargsDuplicateError(DiagnosticPosition pos, Symbol sym1, Symbol sym2)(Code) | | Report array/varargs duplicate declaration
|
| varargsOverrides | | static Object varargsOverrides(MethodSymbol m, MethodSymbol other)(Code) | | A customized "override" warning message.
Parameters:
m - The overriding method.
Parameters:
other - The overridden method. An internationalized string. |
| warnDeprecated | | void warnDeprecated(DiagnosticPosition pos, Symbol sym)(Code) | | Warn about deprecated symbol.
Parameters:
pos - Position to be used for error reporting.
Parameters:
sym - The deprecated symbol. |
| warnUnchecked | | public void warnUnchecked(DiagnosticPosition pos, String msg, Object... args)(Code) | | Warn about unchecked operation.
Parameters:
pos - Position to be used for error reporting.
Parameters:
msg - A string describing the problem. |
|
|