zundel@google.com
7954d39977
This change allows inheritenance of the same interface with different parameterization, but puts out a (currently non spec) warning if the resulting two interface types are not assignable to each other. Issue 2495 http://code.google.com/p/dart/issues/detail?id=2495 Issue 3803 http://code.google.com/p/dart/issues/detail?id=3803 Review URL: https://chromiumcodereview.appspot.com//10627017 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@9035 260f80e4-7a28-3924-810f-c04153c831b5
33 lines
663 B
Java
33 lines
663 B
Java
// Copyright (c) 2012, 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;
|
|
|
|
/**
|
|
* The severity of {@link ErrorCode}.
|
|
*/
|
|
public enum ErrorSeverity {
|
|
/**
|
|
* Fatal error.
|
|
*/
|
|
ERROR("E"),
|
|
/**
|
|
* Warning, may become error with -Werror command line flag.
|
|
*/
|
|
WARNING("W"),
|
|
/**
|
|
* Info, not considered an official warning
|
|
*/
|
|
INFO("I");
|
|
|
|
final String name;
|
|
|
|
ErrorSeverity(String name) {
|
|
this.name = name;
|
|
}
|
|
|
|
public String getName() {
|
|
return name;
|
|
}
|
|
} |