| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorSeverity.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorSeverity.java (revision 9355)
|
| +++ editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorSeverity.java (working copy)
|
| @@ -14,7 +14,8 @@
|
| package com.google.dart.engine.error;
|
|
|
| /**
|
| - * The severity of an {@link ErrorCode}.
|
| + * Instances of the enumeration {@code ErrorSeverity} represent the severity of an {@link ErrorCode}
|
| + * .
|
| */
|
| public enum ErrorSeverity {
|
| /**
|
| @@ -23,8 +24,8 @@
|
| ERROR("E"),
|
|
|
| /**
|
| - * The severity representing a warning. Warnings can become errors if the <code>-Werror</code>
|
| - * command line flag is specified.
|
| + * The severity representing a warning. Warnings can become errors if the {@code -Werror} command
|
| + * line flag is specified.
|
| */
|
| WARNING("W");
|
|
|
|
|