diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-02-14 11:17:53 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-04 13:29:38 +0200 |
| commit | cf10e28a54aaeab124f9a939f71da7e09d299bcb (patch) | |
| tree | f48e018cc4a02d955366db9b7b31315c6502127e /tests | |
| parent | 4bdad3c21a1461bed6e91ef69dd767fa5211f60d (diff) | |
| download | dotty-cf10e28a54aaeab124f9a939f71da7e09d299bcb.tar.gz dotty-cf10e28a54aaeab124f9a939f71da7e09d299bcb.tar.bz2 dotty-cf10e28a54aaeab124f9a939f71da7e09d299bcb.zip | |
Change enumeration members.
Based on the discussion in #1970, enumeration objects now
have three public members:
- valueOf: Map[Int, E]
- withName: Map[String, E]
- values: Iterable[E]
Also, the variance of case type parameters is now
the same as in the corresponding type parameter of
the enum class.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/run/generic/Color.scala | 3 | ||||
| -rw-r--r-- | tests/run/generic/SearchResult.scala | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/tests/run/generic/Color.scala b/tests/run/generic/Color.scala index 183f18349..7f2a8818c 100644 --- a/tests/run/generic/Color.scala +++ b/tests/run/generic/Color.scala @@ -13,7 +13,8 @@ sealed trait Color extends Enum object Color { private val $values = new runtime.EnumValues[Color] - def valueOf: Int => Color = $values + def valueOf = $values.fromInt + def withName = $values.fromName def values = $values.values private def $new(tag: Int, name: String) = new Color { diff --git a/tests/run/generic/SearchResult.scala b/tests/run/generic/SearchResult.scala index d39ee89a0..d4380a072 100644 --- a/tests/run/generic/SearchResult.scala +++ b/tests/run/generic/SearchResult.scala @@ -14,7 +14,8 @@ sealed trait SearchResult extends Enum object SearchResult extends { private val $values = new runtime.EnumValues[SearchResult] - def valueOf: Int => SearchResult = $values + def valueOf = $values.fromInt + def withName = $values.fromName def values = $values.values private def $new(tag: Int, name: String) = new SearchResult { |