dotty.tools.dotc.config

Properties

Related Doc: package config

object Properties extends PropertiesTrait

Loads library.properties from the jar.

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Properties
  2. PropertiesTrait
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  4. val ScalaCompilerVersion: Name

    Scala manifest attributes.

  5. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  6. def clearProp(name: String): String

    Definition Classes
    PropertiesTrait
  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. val copyrightString: String

    Definition Classes
    PropertiesTrait
  9. val developmentVersion: Option[String]

    The development Scala version, if this is not a final release.

    The development Scala version, if this is not a final release. The precise contents are not guaranteed, but it aims to provide a unique repository identifier (currently the svn revision) in the fourth dotted segment if the running version was built from source.

    returns

    Some(version) if this is a non-final version, None if this is a final release or the version cannot be read.

    Definition Classes
    PropertiesTrait
  10. def encodingString: String

    This is the default text encoding, overridden (unreliably) with JAVA_OPTS="-Dfile.encoding=Foo"

    This is the default text encoding, overridden (unreliably) with JAVA_OPTS="-Dfile.encoding=Foo"

    Definition Classes
    PropertiesTrait
  11. def envOrElse(name: String, alt: String): String

    Definition Classes
    PropertiesTrait
  12. def envOrNone(name: String): Option[String]

    Definition Classes
    PropertiesTrait
  13. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  15. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  16. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  17. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  19. def isJavaAtLeast(version: String): Boolean

    Can the java version be determined to be at least as high as the argument? Hard to properly future proof this but at the rate 1.7 is going we can leave the issue for our cyborg grandchildren to solve.

    Can the java version be determined to be at least as high as the argument? Hard to properly future proof this but at the rate 1.7 is going we can leave the issue for our cyborg grandchildren to solve.

    Definition Classes
    PropertiesTrait
  20. def isMac: Boolean

    Definition Classes
    PropertiesTrait
  21. def isWin: Boolean

    Some derived values.

    Some derived values.

    Definition Classes
    PropertiesTrait
  22. def javaClassPath: String

    Various well-known properties.

    Various well-known properties.

    Definition Classes
    PropertiesTrait
  23. def javaHome: String

    Definition Classes
    PropertiesTrait
  24. def javaVendor: String

    Definition Classes
    PropertiesTrait
  25. def javaVersion: String

    Definition Classes
    PropertiesTrait
  26. def javaVmInfo: String

    Definition Classes
    PropertiesTrait
  27. def javaVmName: String

    Definition Classes
    PropertiesTrait
  28. def javaVmVendor: String

    Definition Classes
    PropertiesTrait
  29. def javaVmVersion: String

    Definition Classes
    PropertiesTrait
  30. def jdkHome: String

    Definition Classes
    PropertiesTrait
  31. def lineSeparator: String

    The default end of line character.

    The default end of line character.

    Definition Classes
    PropertiesTrait
  32. def main(args: Array[String]): Unit

    Definition Classes
    PropertiesTrait
  33. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  34. final def notify(): Unit

    Definition Classes
    AnyRef
  35. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  36. def osName: String

    Definition Classes
    PropertiesTrait
  37. def pickJarBasedOn: Class[Option[_]]

    Attributes
    protected
    Definition Classes
    PropertiesPropertiesTrait
  38. def propCategory: String

    Attributes
    protected
    Definition Classes
    PropertiesPropertiesTrait
  39. val propFilename: String

    The name of the properties file

    The name of the properties file

    Attributes
    protected
    Definition Classes
    PropertiesTrait
  40. def propIsSet(name: String): Boolean

    Definition Classes
    PropertiesTrait
  41. def propIsSetTo(name: String, value: String): Boolean

    Definition Classes
    PropertiesTrait
  42. def propOrElse(name: String, alt: String): String

    Definition Classes
    PropertiesTrait
  43. def propOrEmpty(name: String): String

    Definition Classes
    PropertiesTrait
  44. def propOrFalse(name: String): Boolean

    Definition Classes
    PropertiesTrait
  45. def propOrNone(name: String): Option[String]

    Definition Classes
    PropertiesTrait
  46. def propOrNull(name: String): String

    Definition Classes
    PropertiesTrait
  47. val releaseVersion: Option[String]

    The numeric portion of the runtime Scala version, if this is a final release.

    The numeric portion of the runtime Scala version, if this is a final release. If for instance the versionString says "version 2.9.0.final", this would return Some("2.9.0").

    returns

    Some(version) if this is a final release build, None if it is an RC, Beta, etc. or was built from source, or if the version cannot be read.

    Definition Classes
    PropertiesTrait
  48. def scalaCmd: String

    Definition Classes
    PropertiesTrait
  49. def scalaHome: String

    Definition Classes
    PropertiesTrait
  50. def scalaPropOrElse(name: String, alt: String): String

    Definition Classes
    PropertiesTrait
  51. def scalaPropOrEmpty(name: String): String

    Definition Classes
    PropertiesTrait
  52. def scalaPropOrNone(name: String): Option[String]

    Definition Classes
    PropertiesTrait
  53. lazy val scalaProps: Properties

    The loaded properties

    The loaded properties

    Attributes
    protected
    Definition Classes
    PropertiesTrait
  54. def scalacCmd: String

    Definition Classes
    PropertiesTrait
  55. def setProp(name: String, value: String): String

    Definition Classes
    PropertiesTrait
  56. def sourceEncoding: String

    This is the encoding to use reading in source files, overridden with -encoding Note that it uses "prop" i.e.

    This is the encoding to use reading in source files, overridden with -encoding Note that it uses "prop" i.e. looks in the scala jar, not the system properties.

    Definition Classes
    PropertiesTrait
  57. def sourceReader: String

    Definition Classes
    PropertiesTrait
  58. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  59. def tmpDir: String

    Definition Classes
    PropertiesTrait
  60. def toString(): String

    Definition Classes
    AnyRef → Any
  61. def userDir: String

    Definition Classes
    PropertiesTrait
  62. def userHome: String

    Definition Classes
    PropertiesTrait
  63. def userName: String

    Definition Classes
    PropertiesTrait
  64. def versionMsg: String

    Definition Classes
    PropertiesTrait
  65. def versionNumberString: String

    Either the development or release version if known, otherwise the empty string.

    Either the development or release version if known, otherwise the empty string.

    Definition Classes
    PropertiesTrait
  66. val versionString: String

    The version number of the jar this was loaded from plus "version " prefix, or "version (unknown)" if it cannot be determined.

    The version number of the jar this was loaded from plus "version " prefix, or "version (unknown)" if it cannot be determined.

    Definition Classes
    PropertiesTrait
  67. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  68. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  69. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from PropertiesTrait

Inherited from AnyRef

Inherited from Any

Ungrouped