| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/AnalysisError.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/AnalysisError.java (revision 9355)
|
| +++ editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/AnalysisError.java (working copy)
|
| @@ -16,8 +16,8 @@
|
| import com.google.dart.engine.source.Source;
|
|
|
| /**
|
| - * Instances of the class <code>AnalysisError</code> represent an error discovered during the
|
| - * analysis of some Dart code.
|
| + * Instances of the class {@code AnalysisError} represent an error discovered during the analysis of
|
| + * some Dart code.
|
| *
|
| * @see AnalysisErrorListener
|
| */
|
| @@ -33,7 +33,7 @@
|
| private String message;
|
|
|
| /**
|
| - * The source in which the error occurred or <code>null</code> if unknown.
|
| + * The source in which the error occurred or {@code null} if unknown.
|
| */
|
| private Source source;
|
|
|
| @@ -172,7 +172,7 @@
|
| }
|
|
|
| /**
|
| - * Return the source in which the error occurred or <code>null</code> if unknown.
|
| + * Return the source in which the error occurred or {@code null} if unknown.
|
| */
|
| public Source getSource() {
|
| return source;
|
| @@ -187,7 +187,7 @@
|
| }
|
|
|
| /**
|
| - * Set the source in which the error occurred or <code>null</code> if unknown.
|
| + * Set the source in which the error occurred or {@code null} if unknown.
|
| */
|
| public void setSource(Source source) {
|
| this.source = source;
|
|
|