diff options
| author | Som Snytt <som.snytt@gmail.com> | 2016-07-15 21:47:53 -0700 |
|---|---|---|
| committer | Som Snytt <som.snytt@gmail.com> | 2016-07-15 21:47:53 -0700 |
| commit | 656162bb48fbbd703790a2c94d4563e40ddfdfc2 (patch) | |
| tree | ab0b3cb910da1f3e55e4a47c1026d4f67effc035 /src/library/scala/util/Properties.scala | |
| parent | 9ac26c4626f906f4b561ec1fe9c308a0cf905608 (diff) | |
| download | scala-656162bb48fbbd703790a2c94d4563e40ddfdfc2.tar.gz scala-656162bb48fbbd703790a2c94d4563e40ddfdfc2.tar.bz2 scala-656162bb48fbbd703790a2c94d4563e40ddfdfc2.zip | |
SI-9750 isJavaAtLeast(Int)
A good opportunity to simplify the API. Versions are strings,
but a spec version is just a number.
Diffstat (limited to 'src/library/scala/util/Properties.scala')
| -rw-r--r-- | src/library/scala/util/Properties.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/library/scala/util/Properties.scala b/src/library/scala/util/Properties.scala index fb28132dfe..1bdf50bac2 100644 --- a/src/library/scala/util/Properties.scala +++ b/src/library/scala/util/Properties.scala @@ -195,6 +195,8 @@ private[scala] trait PropertiesTrait { versionOf(javaSpecVersion) >= v } + def isJavaAtLeast(version: Int): Boolean = isJavaAtLeast(version.toString) + // provide a main method so version info can be obtained by running this def main(args: Array[String]) { val writer = new PrintWriter(Console.err, true) |