private static void appendFrame(StringBuffer messageBuilder, CharacterSource source, int offsetInSource) { SourceContext context = source.context; if (context instanceof SnuggleInputReader) { SnuggleInputReader inputContext = (SnuggleInputReader) context; int[] location = inputContext.getLineAndColumn(offsetInSource); appendNewlineIfRequired(messageBuilder); new MessageFormat(GENERAL_MESSAGE_BUNDLE.getString("input_context")).format(new Object[] { location[0], /* Line */ location[1], /* Column */ inputContext.getInput().getIdentifier() /* Input description */ }, messageBuilder, null); } else if (context instanceof WorkingDocument.SubstitutionContext) { WorkingDocument.SubstitutionContext substitutionContext = (WorkingDocument.SubstitutionContext) context; appendNewlineIfRequired(messageBuilder); new MessageFormat(GENERAL_MESSAGE_BUNDLE.getString("subs_context")).format(new Object[] { offsetInSource, /* Character index */ formatText(source.substitutedText), /* Before subs */ formatText(substitutionContext.replacement) /* After subs */ }, messageBuilder, null); } else { throw new SnuggleLogicException("Unexpected SourceContext " + context.getClass().getName()); } if (source.substitutedSource!=null) { appendFrame(messageBuilder, source.substitutedSource, source.substitutionOffset); } }
private static void appendFrame(StringBuffer messageBuilder, CharacterSource source, int offsetInSource) { SourceContext context = source.context; if (context instanceof SnuggleInputReader) { SnuggleInputReader inputContext = (SnuggleInputReader) context; int[] location = inputContext.getLineAndColumn(offsetInSource); appendNewlineIfRequired(messageBuilder); new MessageFormat(GENERAL_MESSAGE_BUNDLE.getString("input_context")).format(new Object[] { location[0], /* Line */ location[1], /* Column */ inputContext.getInput().getIdentifier() /* Input description */ }, messageBuilder, null); } else if (context instanceof WorkingDocument.SubstitutionContext) { WorkingDocument.SubstitutionContext substitutionContext = (WorkingDocument.SubstitutionContext) context; appendNewlineIfRequired(messageBuilder); new MessageFormat(GENERAL_MESSAGE_BUNDLE.getString("subs_context")).format(new Object[] { offsetInSource, /* Character index */ formatText(source.substitutedText), /* Before subs */ formatText(substitutionContext.replacement) /* After subs */ }, messageBuilder, null); } else { throw new SnuggleLogicException("Unexpected SourceContext " + context.getClass().getName()); } if (source.substitutedSource!=null) { appendFrame(messageBuilder, source.substitutedSource, source.substitutionOffset); } }
private static void appendFrame(StringBuffer messageBuilder, CharacterSource source, int offsetInSource) { SourceContext context = source.context; if (context instanceof SnuggleInputReader) { SnuggleInputReader inputContext = (SnuggleInputReader) context; int[] location = inputContext.getLineAndColumn(offsetInSource); appendNewlineIfRequired(messageBuilder); new MessageFormat(GENERAL_MESSAGE_BUNDLE.getString("input_context")).format(new Object[] { location[0], /* Line */ location[1], /* Column */ inputContext.getInput().getIdentifier() /* Input description */ }, messageBuilder, null); } else if (context instanceof WorkingDocument.SubstitutionContext) { WorkingDocument.SubstitutionContext substitutionContext = (WorkingDocument.SubstitutionContext) context; appendNewlineIfRequired(messageBuilder); new MessageFormat(GENERAL_MESSAGE_BUNDLE.getString("subs_context")).format(new Object[] { offsetInSource, /* Character index */ formatText(source.substitutedText), /* Before subs */ formatText(substitutionContext.replacement) /* After subs */ }, messageBuilder, null); } else { throw new SnuggleLogicException("Unexpected SourceContext " + context.getClass().getName()); } if (source.substitutedSource!=null) { appendFrame(messageBuilder, source.substitutedSource, source.substitutionOffset); } }