Movatterモバイル変換

[0]ホーム
URL:

Scala 3
3.7.4
LearnInstallPlaygroundFind A LibraryCommunityBlog
Scala 3
LearnInstallPlaygroundFind A LibraryCommunityBlog
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
Scala 3/scala/scala.util/Properties

Properties

scala.util.Properties

Loadslibrary.properties from the jar.

Attributes

Source
Properties.scala
Graph
Supertypes
classObject
traitMatchable
classAny
Self type

Members list

Value members

Inherited methods

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

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

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

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala
defenvOrElse(name:String,alt:=>String):String

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Compares the given specification version to the major version of the platform.

Compares the given specification version to the major version of the platform.

Value parameters

version

a specification major version number

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Compares the given specification version to the specification version of the platform.

Compares the given specification version to the specification version of the platform.

Value parameters

version

a specification version number (legacy forms acceptable)

Attributes

Returns

true if the specification version of the current runtime is equal to or higher than the version denoted by the given string.

Throws

NumberFormatException if the given string is not a version string

Example

// In this example, the runtime's Java specification is assumed to be at version 8.isJavaAtLeast("1.8")            // trueisJavaAtLeast("8")              // trueisJavaAtLeast("9")              // falseisJavaAtLeast("9.1")            // falseisJavaAtLeast("1.9")            // throws
Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

The default end of line character.

The default end of line character.

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala
defmain(args:Array[String]):Unit

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala
defsetProp(name:String,value:String):String

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

This is the encoding to use reading in source files, overridden with -encoding.

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.

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

The version of the Scala runtime, or the empty string if unknown.

The version of the Scala runtime, or the empty string if unknown.

Note that the version of the Scala library need not correlate with the version of the Scala compiler used to emit either the library or user code.

For example, Scala 3.0 and 3.1 use the Scala 2.13 library, which is reflected in this version string. For the Dotty version, seedotty.tools.dotc.config.Properties.versionNumberString.

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Concrete fields

Scala manifest attributes.

Scala manifest attributes.

Attributes

Source
Properties.scala

Inherited fields

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

The version of the Scala runtime, if this is a snapshot.

The version of the Scala runtime, if this is a snapshot.

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

Returnstrue iff the underlying operating system is a Linux distribution.

Returnstrue iff the underlying operating system is a Linux distribution.

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala
lazyvalisMac:Boolean

Returnstrue iff the underlying operating system is a version of Apple Mac OSX.

Returnstrue iff the underlying operating system is a version of Apple Mac OSX.

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala
lazyvalisWin:Boolean

Returnstrue iff the underlying operating system is a version of Microsoft Windows.

Returnstrue iff the underlying operating system is a version of Microsoft Windows.

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala
protectedvalpropFilename:String

The name of the properties file

The name of the properties file

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

The version of the Scala runtime, if this is not a snapshot.

The version of the Scala runtime, if this is not a snapshot.

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala
lazy protectedvalscalaProps:Properties

The loaded properties

The loaded properties

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala

A verbose alternative toversionNumberString.

A verbose alternative toversionNumberString.

Attributes

Inherited from:
PropertiesTrait (hidden)
Source
Properties.scala
In this article
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
[8]ページ先頭
©2009-2025 Movatter.jp