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.compiletime/scala.compiletime.testing

scala.compiletime.testing

Members list

Type members

Classlikes

final caseclassError(message:String,lineContent:String,column:Int,kind:ErrorKind)

Represents a compile-time error.

Represents a compile-time error.

Attributes

See also

scala.compiletime.testing.typeCheckErrors IMPORTANT: No stability guarantees are provided on the format of these errors. This means the format and the API may change from version to version. This API is to be used for testing purposes only.

Source
Error.scala
Supertypes
traitProduct
traitEquals
classObject
traitMatchable
classAny
Show all
sealedtraitErrorKind

An error can be either a parse-time or a typecheck-time

An error can be either a parse-time or a typecheck-time

Attributes

Companion
object
Source
ErrorKind.scala
Supertypes
classObject
traitMatchable
classAny
Known subtypes
objectParser
objectTyper
objectErrorKind

Attributes

Companion
trait
Source
ErrorKind.scala
Supertypes
traitSum
traitMirror
classObject
traitMatchable
classAny
Self type

Value members

Concrete methods

transparent inlinedeftypeCheckErrors(inlinecode:String):List[Error]

Whether the code type checks in the current context? If not, returns a list of errors encountered on compilation. IMPORTANT: No stability guarantees are provided on the format of these errors. This means the format and the API may change from version to version. This API is to be used for testing purposes only.

Whether the code type checks in the current context? If not, returns a list of errors encountered on compilation. IMPORTANT: No stability guarantees are provided on the format of these errors. This means the format and the API may change from version to version. This API is to be used for testing purposes only.

An inline definition with a call totypeCheckErrors should be transparent.

Value parameters

code

The code to be type checked

Attributes

Returns

a list of errors encountered during parsing and typechecking. The code should be a sequence of expressions or statements that may appear in a block.

Source
package.scala
transparent inlinedeftypeChecks(inlinecode:String):Boolean

Whether the code type checks in the current context?

Whether the code type checks in the current context?

An inline definition with a call totypeChecks should be transparent.

Value parameters

code

The code to be type checked

Attributes

Returns

false if the code has syntax error or type error in the current context, otherwise returns true. The code should be a sequence of expressions or statements that may appear in a block.

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

[8]ページ先頭

©2009-2025 Movatter.jp