Lines Matching defs:fragment
216 * Create a fragment diagnostic, for use as an argument in other diagnostics
220 public JCDiagnostic fragment(String key, Object... args) {
221 return fragment(fragmentKey(key, args));
225 * Create a fragment diagnostic, for use as an argument in other diagnostics
228 public JCDiagnostic fragment(Fragment fragmentKey) {
291 fragment((Fragment)o) : o;
317 * Create a new fragment key.
327 * Create a fragment diagnostic, for use as an argument in other diagnostics
333 public static JCDiagnostic fragment(String key, Object... args) {
357 /** A fragment of an enclosing diagnostic. */
560 * Class representing fragment diagnostic keys.