Lines Matching refs:Check
57 public class Check {
58 protected static final Context.Key<Check> checkKey =
59 new Context.Key<Check>();
83 public static Check instance(Context context) {
84 Check instance = context.get(checkKey);
86 instance = new Check(context);
90 protected Check(Context context) {
334 /** Check that variable does not hide variable with same name in
355 /** Check that a class or interface does not hide a class or
376 /** Check that class does not have the same name as one of
423 /** Check that a given type is assignable to a given proto-type.
491 /** Check that a given type can be cast to a given target type.
517 /** Check that a type is within some bounds.
539 /** Check that type is different from 'void'.
552 /** Check that type is a class or interface type.
567 /** Check that type is a class or interface type.
587 /** Check that type is a reifiable class, interface or array type.
604 /** Check that type is a reference type, i.e. a class, interface or array type
624 /** Check that each type is a reference type, i.e. a class, interface or array type
638 /** Check that type is a null or reference type.
658 /** Check that flag set does not contain elements of two conflicting sets. s
676 /** Check that usage of diamond operator is correct (i.e. diamond should not
744 * Check that vararg method call is sound
761 * Check that type 't' is a valid instantiation of a generic class
855 /** Check that given modifiers are legal for given symbol and
1094 // Check that this type is either fully parameterized, or
1120 // Check that this type is either fully parameterized, or
1361 /** Check that this method conforms with overridden method 'other'.
1527 /** Check that a class does not inherit two concrete methods
1580 /** Check that classes (or interfaces) do not each define an abstract
1726 /** Check that a given method conforms with any method it overrides.
1770 /** Check that all abstract members of given class have definitions.
1937 /** Check for cyclic references. Issue an error if the
1968 /** Check for cyclic references. Issue an error if the
2021 /** Check that all methods which implement some
2029 /** Check that all methods which implement some
2059 /** Check that all abstract methods implemented by a class are
2098 /** Check that all non-override equivalent methods accessible from 'site'
2135 /** Check that all static methods accessible from 'site' are
2195 /** Check that class c does not implement directly or indirectly
2241 * Check annotations
2304 /** Check the annotations of a symbol.
2312 /** Check an annotation of a symbol.
2393 /** Check an annotation value.
2492 * Check for recursive annotation elements.
2495 /** Check for cycles in the graph of annotation elements.
2549 * Check for cycles in the constructor call graph.
2552 /** Check for cycles in the graph of constructors calling other
2570 // Check for cycles in the map
2625 * Check for division by integer constant zero
2644 * Check for empty statements after if
2651 /** Check that symbol is unique in given scope.
2690 /** Check that single-type import is not already imported or top-level defined,
2700 /** Check that static single-type import is not already imported or top-level defined,
2711 /** Check that single-type import is not already imported or top-level defined,
2742 /** Check that a qualified name is in canonical form (for import decls).
2778 Check.this.warnUnchecked(pos(), "prob.found.req", diags.fragment(uncheckedKey), found, expected);
2785 Check.this.warnUnsafeVararg(pos(), "varargs.unsafe.use.varargs.param", method.params.last());