Package com.sun.tools.javac.comp

Interface Check.CheckContext

Enclosing class:

Check

public static interface Check.CheckContext

A check context is an object that can be used to perform compatibility checks - depending on the check context, meaning of 'compatibility' might vary significantly.

Method Summary

Modifier and Type	Method and Description
Warner	checkWarner(JCDiagnostic.DiagnosticPosition pos, Type found, Type req) Obtain a warner for this check context
boolean	compatible(Type found, Type req, Warner warn) Is type 'found' compatible with type 'req' in given context
com.sun.tools.javac.comp.DeferredAttr.DeferredAttrContext	deferredAttrContext()
com.sun.tools.javac.comp.Infer.InferenceContext	inferenceContext()
void	report(JCDiagnostic.DiagnosticPosition pos, JCDiagnostic details) Report a check error

Method Detail

compatible

boolean compatible(Type found,
                   Type req,
                   Warner warn)

Is type 'found' compatible with type 'req' in given context

report

void report(JCDiagnostic.DiagnosticPosition pos,
            JCDiagnostic details)

Report a check error

checkWarner

Warner checkWarner(JCDiagnostic.DiagnosticPosition pos,
                   Type found,
                   Type req)

Obtain a warner for this check context

inferenceContext

com.sun.tools.javac.comp.Infer.InferenceContext inferenceContext()

deferredAttrContext

com.sun.tools.javac.comp.DeferredAttr.DeferredAttrContext deferredAttrContext()