| Index: compiler/java/com/google/dart/compiler/backend/js/JsParserException.java
|
| diff --git a/compiler/java/com/google/dart/compiler/backend/js/JsParserException.java b/compiler/java/com/google/dart/compiler/backend/js/JsParserException.java
|
| deleted file mode 100644
|
| index 79b53c1d69e3290f47d9f5b2b3f2538bb7d05af0..0000000000000000000000000000000000000000
|
| --- a/compiler/java/com/google/dart/compiler/backend/js/JsParserException.java
|
| +++ /dev/null
|
| @@ -1,92 +0,0 @@
|
| -// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
|
| -// for details. All rights reserved. Use of this source code is governed by a
|
| -// BSD-style license that can be found in the LICENSE file.
|
| -
|
| -package com.google.dart.compiler.backend.js;
|
| -
|
| -/**
|
| - * Indicates inability to parse JavaScript source.
|
| - */
|
| -public class JsParserException extends Exception {
|
| -
|
| - /**
|
| - * Represents the location of a parser exception.
|
| - */
|
| - public static class SourceDetail {
|
| - private final String fileName;
|
| - private final int line;
|
| - private final int lineOffset;
|
| - private final String lineSource;
|
| -
|
| - public SourceDetail(int line, String lineSource, int lineOffset, String fileName) {
|
| - this.line = line;
|
| - this.lineSource = lineSource;
|
| - this.lineOffset = lineOffset;
|
| - this.fileName = fileName;
|
| - }
|
| -
|
| - public String getFileName() {
|
| - return fileName;
|
| - }
|
| -
|
| - public int getLine() {
|
| - return line;
|
| - }
|
| -
|
| - public int getLineOffset() {
|
| - return lineOffset;
|
| - }
|
| -
|
| - public String getLineSource() {
|
| - return lineSource;
|
| - }
|
| - }
|
| -
|
| - private static String createMessageWithDetail(String msg, SourceDetail sourceDetail) {
|
| - if (sourceDetail == null) {
|
| - return msg;
|
| - }
|
| - StringBuffer sb = new StringBuffer();
|
| - sb.append(sourceDetail.getFileName());
|
| - sb.append('(');
|
| - sb.append(sourceDetail.getLine());
|
| - sb.append(')');
|
| - sb.append(": ");
|
| - sb.append(msg);
|
| - if (sourceDetail.getLineSource() != null) {
|
| - sb.append("\n> ");
|
| - sb.append(sourceDetail.getLineSource());
|
| - sb.append("\n> ");
|
| - for (int i = 0, n = sourceDetail.getLineOffset(); i < n; ++i) {
|
| - sb.append('-');
|
| - }
|
| - sb.append('^');
|
| - }
|
| - return sb.toString();
|
| - }
|
| -
|
| - private final SourceDetail sourceDetail;
|
| -
|
| - public JsParserException(String msg) {
|
| - this(msg, null);
|
| - }
|
| -
|
| - public JsParserException(String msg, int line, String lineSource, int lineOffset, String fileName) {
|
| - this(msg, new SourceDetail(line, lineSource, lineOffset, fileName));
|
| - }
|
| -
|
| - public JsParserException(String msg, SourceDetail sourceDetail) {
|
| - super(createMessageWithDetail(msg, sourceDetail));
|
| - this.sourceDetail = sourceDetail;
|
| - }
|
| -
|
| - /**
|
| - * Provides additional source detail in some cases.
|
| - *
|
| - * @return additional detail regarding the error, or <code>null</code> if no
|
| - * additional detail is available
|
| - */
|
| - public SourceDetail getSourceDetail() {
|
| - return sourceDetail;
|
| - }
|
| -}
|
|
|