Parser

abstract def deprecationWarning(off: Int, msg: String): Unit

abstract def freshName(prefix: String): Global.Name

abstract def freshTermName(prefix: String): Global.TermName

abstract def freshTypeName(prefix: String): Global.TypeName

abstract val in: Parsers.Scanner

abstract def incompleteInputError(msg: String): Unit

abstract def o2p(offset: Int): Global.Position

abstract def parseStartRule: () ⇒ Global.Tree

abstract def r2p(start: Int, mid: Int, end: Int): Global.Position

abstract def syntaxError(offset: Int, msg: String): Unit

abstract def warning(offset: Int, msg: String): Unit

abstract def xmlLiteral(): Global.Tree

abstract def xmlLiteralPattern(): Global.Tree

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Parser, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

object InfixMode extends Enumeration

Modes for infix types.

def accept(token: Int): Int

Consume one token of the specified type, or signal an error if it is not there.

def acceptStatSep(): Unit

semi = nl {nl} | `;`
nl  = `\n' // where allowed

def acceptStatSepOpt(): Unit

def accessModifierOpt(): Global.Modifiers

AccessModifier ::= (private | protected) [AccessQualifier]

def accessQualifierOpt(mods: Global.Modifiers): Global.Modifiers

AccessQualifier ::= `[' (Id | this) `]'

def annotTypeRest(t: Global.Tree): Global.Tree

def annotationExpr(): Global.Tree

def annotations(skipNewLines: Boolean): List[Global.Tree]

Annotations      ::= {`@' SimpleType {ArgumentExprs}}
ConsrAnnotations ::= {`@' SimpleType ArgumentExprs}

def argumentExprs(): List[Global.Tree]

ArgumentExprs ::= `(' [Exprs] `)'
| [nl] BlockExpr

def argumentPatterns(): List[Global.Tree]

final def asInstanceOf[T0]: T0

val assumedClosingParens: Map[Int, Int]

def atPos[T <: Global.Tree](pos: Global.Position)(t: T): T

def atPos[T <: Global.Tree](start: Int, point: Int, end: Int)(t: T): T

def atPos[T <: Global.Tree](start: Int, point: Int)(t: T): T

def atPos[T <: Global.Tree](offset: Int)(t: T): T

def block(): Global.Tree

Block ::= BlockStatSeq

def blockExpr(): Global.Tree

BlockExpr ::= `{' (CaseClauses | Block) `}'

def blockStatSeq(): List[Global.Tree]

BlockStatSeq ::= { BlockStat semi } [ResultExpr]
BlockStat    ::= Import
               | Annotations [implicit] [lazy] Def
               | Annotations LocalModifiers TmplDef
               | Expr1
               |

def bound(tok: Int, default: Global.TypeName): Global.Tree

def caseBlock(): Global.Tree

def caseClauses(): List[Global.CaseDef]

CaseClauses ::= CaseClause {CaseClause}
CaseClause  ::= case Pattern [Guard] `=>' Block

final def caseSeparated[T](part: ⇒ T): List[T]

def checkAssoc(offset: Int, op: Global.Name, leftAssoc: Boolean): Unit

def checkLegalExistential(t: Global.Tree): Unit

Check that tree is a legal clause of a forSome.

def checkNoEscapingPlaceholders[T](op: ⇒ T): T

def checkNotByNameOrVarargs(tpt: Global.Tree): Unit

Check that type parameter is not by name or repeated.

def classDef(start: Int, mods: Global.Modifiers): Global.ClassDef

ClassDef ::= Id [TypeParamClause] {Annotation}
             [AccessModifier] ClassParamClauses RequiresTypeOpt ClassTemplateOpt
TraitDef ::= Id [TypeParamClause] RequiresTypeOpt TraitTemplateOpt

def clone(): AnyRef

final def commaSeparated[T](part: ⇒ T): List[T]

def compilationUnit(): Global.Tree

CompilationUnit ::= {package QualId semi} TopStatSeq

def condExpr(): Global.Tree

def constrBlock(vparamss: List[List[Global.ValDef]]): Global.Tree

ConstrBlock    ::=  `{' SelfInvocation {semi BlockStat} `}'

def constrExpr(vparamss: List[List[Global.ValDef]]): Global.Tree

ConstrExpr      ::=  SelfInvocation
|  ConstrBlock

def constructorAnnotations(): List[Global.Tree]

def convertToParam(tree: Global.Tree): Global.ValDef

Convert tree to formal parameter.

def convertToParams(tree: Global.Tree): List[Global.ValDef]

Convert tree to formal parameter list.

def convertToTypeId(tree: Global.Tree): Global.Tree

Convert (qual)ident to type identifier.

def defOrDcl(pos: Int, mods: Global.Modifiers): List[Global.Tree]

Def    ::= val PatDef
         | var PatDef
         | def FunDef
         | type [nl] TypeDef
         | TmplDef
Dcl    ::= val PatDcl
         | var PatDcl
         | def FunDcl
         | type [nl] TypeDcl

final def dropAnyBraces[T](body: ⇒ T): T

def ensuring(cond: (Parser) ⇒ Boolean, msg: ⇒ Any): Parser

def ensuring(cond: (Parser) ⇒ Boolean): Parser

def ensuring(cond: Boolean, msg: ⇒ Any): Parser

def ensuring(cond: Boolean): Parser

def enumerators(): List[Global.treeBuilder.Enumerator]

Enumerators ::= Generator {semi Enumerator}
Enumerator  ::=  Generator
              |  Guard
              |  val Pattern1 `=' Expr

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def errorPatternTree: Global.Ident

def errorTermTree: Global.Literal

def errorTypeTree: Global.TypeTree

def expectedMsg(token: Int): String

def expr(location: Int): Global.Tree

def expr(): Global.Tree

Expr       ::= (Bindings | [`implicit'] Id | `_')  `=>' Expr
             | Expr1
ResultExpr ::= (Bindings | Id `:' CompoundType) `=>' Block
             | Expr1
Expr1      ::= if `(' Expr `)' {nl} Expr [[semi] else Expr]
             | try (`{' Block `}' | Expr) [catch `{' CaseClauses `}'] [finally Expr]
             | while `(' Expr `)' {nl} Expr
             | do Expr [semi] while `(' Expr `)'
             | for (`(' Enumerators `)' | `{' Enumerators `}') {nl} [yield] Expr
             | throw Expr
             | return [Expr]
             | [SimpleExpr `.'] Id `=' Expr
             | SimpleExpr1 ArgumentExprs `=' Expr
             | PostfixExpr Ascription
             | PostfixExpr match `{' CaseClauses `}'
Bindings   ::= `(' [Binding {`,' Binding}] `)'
Binding    ::= (Id | `_') [`:' Type]
Ascription ::= `:' CompoundType
             | `:' Annotation {Annotation}
             | `:' `_' `*'

def expr0(location: Int): Global.Tree

def exprSimpleType(): Global.Tree

def exprTypeArgs(): List[Global.Tree]

def finalize(): Unit

def formatted(fmtstr: String): String

def funDefOrDcl(start: Int, mods: Global.Modifiers): Global.Tree

FunDef ::= FunSig [`:' Type] `=' [`macro'] Expr
        |  FunSig [nl] `{' Block `}'
        |  `this' ParamClause ParamClauses
               (`=' ConstrExpr | [nl] ConstrBlock)
FunDcl ::= FunSig [`:' Type]
FunSig ::= id [FunTypeParamClause] ParamClauses

def funDefRest(start: Int, nameOffset: Int, mods: Global.Modifiers, name: Global.Name): Global.Tree

def generator(enums: ListBuffer[Global.treeBuilder.Enumerator], eqOK: Boolean): Unit

Generator ::= Pattern1 (`<-' | `=') Expr [Guard]

final def getClass(): Class[_]

def guard(): Global.Tree

Guard ::= if PostfixExpr

def hashCode(): Int

def ident(): Global.Name

def ident(skipIt: Boolean): Global.Name

Assumed (provisionally) to be TermNames.

def identForType(skipIt: Boolean): Global.TypeName

def identForType(): Global.TypeName

For when it's known already to be a type name.

def implicitClosure(start: Int, location: Int): Global.Tree

Expr ::= implicit Id => Expr

def importClause(): List[Global.Tree]

Import  ::= import ImportExpr {`,' ImportExpr}

def importExpr(): Global.Tree

ImportExpr ::= StableId `.' (Id | `_' | ImportSelectors)

def importSelector(): Global.ImportSelector

ImportSelector ::= Id [`=>' Id | `=>' `_']

def importSelectors(): List[Global.ImportSelector]

ImportSelectors ::= `{' {ImportSelector `,'} (ImportSelector | `_') `}'

final def inBraces[T](body: ⇒ T): T

final def inBracesOrError[T](body: ⇒ T, alt: T): T

final def inBracesOrNil[T](body: ⇒ List[T]): List[T]

final def inBracesOrUnit[T](body: ⇒ Global.Tree): Global.Tree

final def inBrackets[T](body: ⇒ T): T

final def inParens[T](body: ⇒ T): T

Methods inParensOrError and similar take a second argument which, should the next token not be the expected opener (e.

final def inParensOrError[T](body: ⇒ T, alt: T): T

final def inParensOrNil[T](body: ⇒ List[T]): List[T]

final def inParensOrUnit[T](body: ⇒ Global.Tree): Global.Tree

def isDclIntro: Boolean

def isDefIntro: Boolean

def isExprIntro: Boolean

def isExprIntroToken(token: Int): Boolean

def isIdent: Boolean

final def isInstanceOf[T0]: Boolean

def isInterface(mods: Global.Modifiers, body: List[Global.Tree]): Boolean

def isLiteral: Boolean

def isLiteralToken(token: Int): Boolean

def isLocalModifier: Boolean

def isModifier: Boolean

def isNumericLit: Boolean

def isRawBar: Boolean

def isRawStar: Boolean

def isStatSep: Boolean

def isStatSep(token: Int): Boolean

def isStatSeqEnd: Boolean

def isTemplateIntro: Boolean

def isTypeIntroToken(token: Int): Boolean

def isUnaryOp: Boolean

def isWildcard(t: Global.Tree): Boolean

def joinComment(trees: ⇒ List[Global.Tree]): List[Global.Tree]

Join the comment associated with a definition.

def literal(isNegated: Boolean = false, inPattern: Boolean = false): Global.Tree

SimpleExpr    ::= literal
| symbol
| null

def localDef(implicitMod: Int): List[Global.Tree]

overridable IDE hook for local definitions of blockStatSeq Here's an idea how to fill in start and end positions.

def localModifiers(): Global.Modifiers

LocalModifiers ::= {LocalModifier}
LocalModifier  ::= abstract | final | sealed | implicit | lazy

def makeFilter(start: Int, tree: Global.Tree): Global.treeBuilder.Filter

def makePackageObject(start: Int, objDef: Global.ModuleDef): Global.PackageDef

Create a tree representing a package object, converting

package object foo { ... }

package foo {
object `package` { ... }
}

def makePackaging(start: Int, pkg: Global.Tree, stats: List[Global.Tree]): Global.PackageDef

Create a tree representing a packaging.

final def makeParens(body: ⇒ List[Global.Tree]): Global.Parens

Creates an actual Parens node (only used during parsing.

def mixinQualifierOpt(): Global.TypeName

MixinQualifier ::= `[' Id `]'

def modifiers(): Global.Modifiers

Modifiers ::= {Modifier}
Modifier  ::= LocalModifier
            |  AccessModifier
            |  override

def multipleArgumentExprs(): List[List[Global.Tree]]

A succession of argument lists.

final def ne(arg0: AnyRef): Boolean

def newLineOpt(): Unit

def newLineOptWhenFollowedBy(token: Int): Unit

def newLineOptWhenFollowing(p: (Int) ⇒ Boolean): Unit

def newLinesOpt(): Unit

object noSeq extends SeqContextSensitive

The implementation for parsing inside of patterns at points where sequences are disallowed.

def nonLocalDefOrDcl: List[Global.Tree]

final def notify(): Unit

final def notifyAll(): Unit

def objectDef(start: Int, mods: Global.Modifiers): Global.ModuleDef

ObjectDef       ::= Id ClassTemplateOpt

var opstack: List[OpInfo]

object outPattern extends PatternContextSensitive

The implementation of the context sensitive methods for parsing outside of patterns.

def packaging(start: Int): Global.Tree

Packaging ::= package QualId [nl] `{' TopStatSeq `}'

def paramClauses(owner: Global.Name, contextBounds: List[Global.Tree], ofCaseClass: Boolean): List[List[Global.ValDef]]

ParamClauses      ::= {ParamClause} [[nl] `(' implicit Params `)']
ParamClause       ::= [nl] `(' [Params] `)'
Params            ::= Param {`,' Param}
Param             ::= {Annotation} Id [`:' ParamType] [`=' Expr]
ClassParamClauses ::= {ClassParamClause} [[nl] `(' implicit ClassParams `)']
ClassParamClause  ::= [nl] `(' [ClassParams] `)'
ClassParams       ::= ClassParam {`,' ClassParam}
ClassParam        ::= {Annotation}  [{Modifier} (`val' | `var')] Id [`:' ParamType] [`=' Expr]

def paramType(useStartAsPosition: Boolean): Global.Tree

def paramType(): Global.Tree

ParamType ::= Type | `=>' Type | Type `*'

def parse(): Global.Tree

This is the general parse entry point.

def patDefOrDcl(pos: Int, mods: Global.Modifiers): List[Global.Tree]

PatDef ::= Pattern2 {`,' Pattern2} [`:' Type] `=' Expr
ValDcl ::= Id {`,' Id} `:' Type
VarDef ::= PatDef | Id {`,' Id} `:' Type `=' `_'

def path(thisOK: Boolean, typeOK: Boolean): Global.Tree

Path       ::= StableId
            |  [Ident `.'] this
AnnotType ::= Path [`.' type]

def pattern(): Global.Tree

Default entry points into some pattern contexts.

var placeholderParams: List[Global.ValDef]

The implicit parameters introduced by _ in the current expression.

def placeholderTypeBoundary(op: ⇒ Global.Tree): Global.Tree

var placeholderTypes: List[Global.TypeDef]

The placeholderTypes introduced by _ in the current type.

def postfixExpr(): Global.Tree

PostfixExpr   ::= InfixExpr [Id [nl]]
InfixExpr     ::= PrefixExpr
                | InfixExpr Id [nl] InfixExpr

def precedence(operator: Global.Name): Int

def prefixExpr(): Global.Tree

PrefixExpr   ::= [`-' | `+' | `~' | `!' | `&'] SimpleExpr

def qualId(): Global.Tree

QualId ::= Id {`.' Id}

def rawIdent(): Global.Name

final def readAnnots[T](part: ⇒ T): List[T]

def reduceStack(isExpr: Boolean, base: List[OpInfo], top0: Global.Tree, prec: Int, leftAssoc: Boolean): Global.Tree

def refineStatSeq(): List[Global.Tree]

RefineStatSeq    ::= RefineStat {semi RefineStat}
RefineStat       ::= Dcl
                   | type TypeDef
                   |

def refinement(): List[Global.Tree]

Refinement ::= [nl] `{' RefineStat {semi RefineStat} `}'

def resetPackage(): Unit

def scriptBody(): Global.Tree

This is the parse entry point for code which is not self-contained, e.

def selector(t: Global.Tree): Global.Tree

def selectors(t: Global.Tree, typeOK: Boolean, dotOffset: Int): Global.Tree

def selfInvocation(vparamss: List[List[Global.ValDef]]): Global.Tree

SelfInvocation  ::= this ArgumentExprs {ArgumentExprs}

object seqOK extends SeqContextSensitive

The implementation for parsing inside of patterns at points where sequences are allowed.

def seqPatterns(): List[Global.Tree]

def simpleExpr(): Global.Tree

SimpleExpr    ::= new (ClassTemplate | TemplateBody)
                |  BlockExpr
                |  SimpleExpr1 [`_']
SimpleExpr1   ::= literal
                |  xLiteral
                |  Path
                |  `(' [Exprs] `)'
                |  SimpleExpr `.' Id
                |  SimpleExpr TypeArgs
                |  SimpleExpr1 ArgumentExprs

def simpleExprRest(t: Global.Tree, canApply: Boolean): Global.Tree

def skip(targetToken: Int): Unit

def stableId(): Global.Tree

StableId ::= Id
|  Path `.' Id
|  [id `.'] super [`[' id `]']`.' id

def startAnnotType(): Global.Tree

def startInfixType(): Global.Tree

def statement(location: Int): Global.Tree

final def synchronized[T0](arg0: ⇒ T0): T0

def syntaxError(offset: Int, msg: String, skipIt: Boolean): Unit

def syntaxError(msg: String, skipIt: Boolean): Unit

def syntaxErrorOrIncomplete(msg: String, skipIt: Boolean): Unit

def template(): (List[Global.Tree], Global.ValDef, List[Global.Tree])

ClassTemplate ::= [EarlyDefs with] ClassParents [TemplateBody]
TraitTemplate ::= [EarlyDefs with] TraitParents [TemplateBody]
EarlyDefs     ::= `{' [EarlyDef {semi EarlyDef}] `}'
EarlyDef      ::= Annotations Modifiers PatDef

def templateBody(isPre: Boolean): (Global.ValDef, List[Global.Tree])

TemplateBody ::= [nl] `{' TemplateStatSeq `}'

def templateBodyOpt(parenMeansSyntaxError: Boolean): (Global.ValDef, List[Global.Tree])

def templateOpt(mods: Global.Modifiers, name: Global.Name, constrMods: Global.Modifiers, vparamss: List[List[Global.ValDef]], tstart: Int): Global.Template

ClassTemplateOpt ::= `extends' ClassTemplate | [[`extends'] TemplateBody]
TraitTemplateOpt ::= TraitExtends TraitTemplate | [[`extends'] TemplateBody] | `<:' TemplateBody
TraitExtends     ::= `extends' | `<:'

def templateParents(): List[Global.Tree]

ClassParents       ::= AnnotType {`(' [Exprs] `)'} {with AnnotType}
TraitParents       ::= AnnotType {with AnnotType}

def templateStatSeq(isPre: Boolean): (Global.ValDef, List[Global.Tree])

TemplateStatSeq  ::= [id [`:' Type] `=>'] TemplateStat {semi TemplateStat}
TemplateStat     ::= Import
                   | Annotations Modifiers Def
                   | Annotations Modifiers Dcl
                   | Expr1
                   | super ArgumentExprs {ArgumentExprs}
                   |

def templateStats(): List[Global.Tree]

Informal - for the repl and other direct parser accessors.

def tmplDef(pos: Int, mods: Global.Modifiers): Global.Tree

TmplDef ::= [case] class ClassDef
|  [case] object ObjectDef
|  [override] trait TraitDef

def toString(): String

final def tokenSeparated[T](separator: Int, sepFirst: Boolean, part: ⇒ T): List[T]

,or if sepFirst is true,

part { `sep` part }

{ `sep` part }

def topLevelTmplDef: Global.Tree

Hook for IDE, for top-level classes/objects.

def topStatSeq(): List[Global.Tree]

TopStatSeq ::= TopStat {semi TopStat}
TopStat ::= Annotations Modifiers TmplDef
          | Packaging
          | package object objectDef
          | Import
          |

def typ(): Global.Tree

These are default entry points into the pattern context sensitive methods: they are all initiated from non-pattern context.

def typeBounds(): Global.TypeBoundsTree

TypeBounds ::= [`>:' Type] [`<:' Type]

def typeDefOrDcl(start: Int, mods: Global.Modifiers): Global.Tree

TypeDef ::= type Id [TypeParamClause] `=' Type
          | FunSig `=' Expr
TypeDcl ::= type Id [TypeParamClause] TypeBounds

def typeOrInfixType(location: Int): Global.Tree

def typeParamClauseOpt(owner: Global.Name, contextBoundBuf: ListBuffer[Global.Tree]): List[Global.TypeDef]

TypeParamClauseOpt    ::= [TypeParamClause]
TypeParamClause       ::= `[' VariantTypeParam {`,' VariantTypeParam} `]']
VariantTypeParam      ::= {Annotation} [`+' | `-'] TypeParam
FunTypeParamClauseOpt ::= [FunTypeParamClause]
FunTypeParamClause    ::= `[' TypeParam {`,' TypeParam} `]']
TypeParam             ::= Id TypeParamClauseOpt TypeBounds {<% Type} {":" Type}

def typedOpt(): Global.Tree

TypedOpt ::= [`:' Type]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def warning(msg: String): Unit

def wildcardOrIdent(): Global.Name

def wildcardType(start: Int): Global.Ident

WildcardType ::= `_' TypeBounds

object xmlSeqOK extends SeqContextSensitive

For use from xml pattern, where sequence is allowed and encouraged.

def xmlSeqPatterns(): List[Global.Tree]

def →[B](y: B): (Parser, B)

val self: Any

val self: Any

def x: Parser

def x: Parser