scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.parsing

dotty.tools.dotc.parsing

package dotty.tools.dotc.parsing

Members list

Packages

Type members

Classlikes

Attributes

Supertypes: class Object

trait Matchable

class Any
Known subtypes: class CharArrayLookaheadReader

class ScannerCommon

class JavaScanner

class LookaheadScanner

class Scanner
Self type: CharArrayReader

Attributes

Supertypes: class Object

trait Matchable

class Any
Self type: JavaParsers.type

Attributes

Supertypes: class Object

trait Matchable

class Any
Self type: JavaScanners.type

Attributes

Supertypes: class TokensCommon

class Object

trait Matchable

class Any
Self type: JavaTokens.type

Attributes

Companion: object
Supertypes: class Phase

class Object

trait Matchable

class Any

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: Parser.type

Attributes

Supertypes: class Object

trait Matchable

class Any
Self type: Parsers.type

Attributes

Supertypes: class Object

trait Matchable

class Any
Self type: Scanners.type

Performs the following context-free rewritings:

Places all pattern variables in Bind nodes. In a pattern, for identifiers x:

               x  => x @ _
             x:T  => x @ (_ : T)

Removes pattern definitions (PatDef's) as follows: If pattern is a simple (typed) identifier:

      val x = e     ==>  val x = e
      val x: T = e  ==>  val x: T = e

if there are no variables in pattern

      val p = e  ==>  e match (case p => ())

if there is exactly one variable in pattern

      val x_1 = e match (case p => (x_1))

if there is more than one variable in pattern

      val p = e  ==>  private synthetic val t$ = e match (case p => (x_1, ..., x_N))
                      val x_1 = t$._1
                      ...
                      val x_N = t$._N

Removes function types as follows:

      (argtpes) => restpe   ==>   scala.Function_n[argtpes, restpe]

Wraps naked case definitions in a match as follows:

      { cases }   ==>   (x => x.match {cases}), except when already argument to match

Attributes

Supertypes: class Object

trait Matchable

class Any
Self type: ScriptParsers.type

Attributes

Supertypes: class TokensCommon

class Object

trait Matchable

class Any
Self type: Tokens.type

Attributes

Supertypes: class Object

trait Matchable

class Any
Known subtypes: object JavaTokens.type

object Tokens.type

Value members

Concrete methods

Compute the precedence of infix operator operator according to the SLS § 6.12.3. We implement SIP-33 and give type operators the same precedence as term operators.

Attributes

In this article

Generated with