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.annotation/elidable

elidable

scala.annotation.elidable
See theelidable companion class
objectelidable

This useless appearing code was necessary to allow people to use named constants for the elidable annotation. This is what it takes to convince the compiler to fold the constants: otherwise when it's time to check an elision level it's staring at a tree like

(Select(Level, Select(FINEST, Apply(intValue, Nil))))

instead of the number300.

Attributes

Companion
class
Source
elidable.scala
Graph
Supertypes
classObject
traitMatchable
classAny
Self type

Members list

Value members

Concrete fields

finalvalALL: -2147483648

The levelsALL andOFF are confusing in this context because the sentiment being expressed when using the annotation is at cross purposes with the one being expressed via-Xelide-below.

The levelsALL andOFF are confusing in this context because the sentiment being expressed when using the annotation is at cross purposes with the one being expressed via-Xelide-below. This confusion reaches its zenith at levelOFF, where the annotation meansnever elide this method but-Xelide-below OFF is how you would sayelide everything possible.

With no simple remedy at hand, the issue is now at least documented, and aliasesMAXIMUM andMINIMUM are offered.

Attributes

Source
elidable.scala
finalvalASSERTION: 2000

Attributes

Source
elidable.scala
finalvalCONFIG: 700

Attributes

Source
elidable.scala
finalvalFINE: 500

Attributes

Source
elidable.scala
finalvalFINER: 400

Attributes

Source
elidable.scala
finalvalFINEST: 300

Attributes

Source
elidable.scala
finalvalINFO: 800

Attributes

Source
elidable.scala
finalvalMAXIMUM: 2147483647

Attributes

Source
elidable.scala
finalvalMINIMUM: -2147483648

Attributes

Source
elidable.scala
finalvalOFF: 2147483647

Attributes

Source
elidable.scala
finalvalSEVERE: 1000

Attributes

Source
elidable.scala
finalvalWARNING: 900

Attributes

Source
elidable.scala

Attributes

Source
elidable.scala
In this article
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL

[8]ページ先頭

©2009-2025 Movatter.jp