class ScalametaParser extends AnyRef
- Self Type
- ScalametaParser
- Alphabetic
- By Inheritance
- ScalametaParser
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Instance Constructors
- new ScalametaParser(input: Input, dialect: Dialect)
Type Members
- trait CanEndStat extends AnyRef
- trait CantStartStat extends AnyRef
- trait CaseDefEnd extends AnyRef
- trait CaseIntro extends AnyRef
- trait CloseDelim extends AnyRef
- trait DclIntro extends AnyRef
- trait DefIntro extends AnyRef
- trait ExprIntro extends AnyRef
- case class IndexPos (index: Int) extends Pos with Product with Serializable
- sealed abstract class InfixContext extends AnyRef
- class InvalidModCombination [M1 <: Mod, M2 <: Mod] extends AnyRef
- trait LineEnd extends AnyRef
- trait Literal extends AnyRef
- trait LocalModifier extends AnyRef
- trait Modifier extends AnyRef
- trait NonlocalModifier extends AnyRef
- trait NumericLiteral extends AnyRef
-
trait
PatternContextSensitive
extends AnyRef
Methods which implicitly propagate the context in which they were called: either in a pattern context or not.
Methods which implicitly propagate the context in which they were called: either in a pattern context or not. Formerly, this was threaded through numerous methods as boolean isPattern.
- sealed trait Pos extends AnyRef
-
trait
SeqContextSensitive
extends PatternContextSensitive
Methods which implicitly propagate whether the initial call took place in a context where sequences are allowed.
Methods which implicitly propagate whether the initial call took place in a context where sequences are allowed. Formerly, this was threaded through methods as boolean seqOK.
- trait StatSep extends AnyRef
- trait StatSeqEnd extends AnyRef
- trait TemplateIntro extends AnyRef
- sealed trait TemplateOwner extends AnyRef
- trait TokenIterator extends Iterator[Token]
- case class TokenPos (token: Token) extends Pos with Product with Serializable
- case class TreePos (tree: Tree) extends Pos with Product with Serializable
- trait Trivia extends AnyRef
- trait TypeIntro extends AnyRef
- trait Whitespace extends AnyRef
- implicit class XtensionTokenIndex extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
+(other: String): String
- Implicit
- This member is added by an implicit conversion from ScalametaParser to any2stringadd[ScalametaParser] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
-
def
->[B](y: B): (ScalametaParser, B)
- Implicit
- This member is added by an implicit conversion from ScalametaParser to ArrowAssoc[ScalametaParser] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
accept[T <: Token](implicit arg0: TokenInfo[T]): Unit
Consume one token of the specified type, or signal an error if it is not there.
-
def
acceptOpt[T <: Token](implicit arg0: TokenInfo[T]): Unit
If current token is T consume it.
-
def
acceptStatSep(): Unit
semi = nl {nl} | `;' nl = `\n' // where allowed - def acceptStatSepOpt(): Unit
- def accessModifier(): Mod
-
def
accessModifierOpt(): Option[Mod]
AccessModifier ::= (private | protected) [AccessQualifier] AccessQualifier ::= `[' (Id | this) `]'
-
final
def
ahead[T](body: ⇒ T): T
Scoping operator used to temporarily look into the future.
Scoping operator used to temporarily look into the future. Backs up token iterator before evaluating a block and restores it after.
- Annotations
- @inline()
-
def
annots(skipNewLines: Boolean, allowArgss: Boolean = true): collection.immutable.List[Annot]
Annotations ::= {`@' SimpleType {ArgumentExprs}} ConsrAnnotations ::= {`@' SimpleType ArgumentExprs} - def argumentExpr(): Arg
-
def
argumentExprs(): collection.immutable.List[Arg]
ArgumentExprs ::= `(' [Exprs] `)' | [nl] BlockExpr - def argumentExprsOrPrefixExpr(): collection.immutable.List[Arg]
- def argumentPattern(): Arg
- def argumentPatterns(): collection.immutable.List[Arg]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def atPos[T <: Tree](start: Pos, end: Pos)(body: ⇒ T): T
- def auto: AutoPos.type
- def autoPos[T <: Tree](body: ⇒ T): T
- def batchSource(): Source
-
def
block(): Term
Block ::= BlockStatSeq
- Note
Return tree does not carry position.
-
def
blockExpr(): Term
BlockExpr ::= `{' (CaseClauses | Block) `}' -
def
blockStatSeq(): collection.immutable.List[Stat]
BlockStatSeq ::= { BlockStat semi } [ResultExpr] BlockStat ::= Import | Annotations [implicit] [lazy] Def | Annotations LocalModifiers TmplDef | Expr1 | - def bound[T <: Token](implicit arg0: TokenInfo[T]): Option[Type]
- def caseClause(): Case
-
def
caseClauses(): collection.immutable.List[Case]
CaseClauses ::= CaseClause {CaseClause} CaseClause ::= case Pattern [Guard] `=>' Block - def checkAssoc(op: Term.Name, leftAssoc: Boolean): Unit
-
def
classDef(mods: collection.immutable.List[Mod]): Class
ClassDef ::= Id [TypeParamClause] {Annotation} [AccessModifier] ClassParamClauses RequiresTypeOpt ClassTemplateOpt -
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
commaSeparated[T <: Tree](part: ⇒ T)(implicit arg0: AstInfo[T]): collection.immutable.List[T]
- Annotations
- @inline()
- def condExpr(): Term
-
def
constrBlock(): Block
ConstrBlock ::= `{' SelfInvocation {semi BlockStat} `}' -
def
constrExpr(): Term
ConstrExpr ::= SelfInvocation | ConstrBlock - def constructorAnnots(): collection.immutable.List[Annot]
- def constructorCall(tpe: Type, allowArgss: Boolean = true): Call
-
def
convertToParam(tree: Term): Option[Param]
Convert tree to formal parameter.
-
def
convertToParams(tree: Term): collection.immutable.List[Param]
Convert tree to formal parameter list.
- def convertToTypeId(ref: Term.Ref): Option[Type]
- implicit val currentDialect: Dialect
-
def
defOrDclOrSecondaryCtor(mods: collection.immutable.List[Mod]): Stat
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
- Annotations
- @inline()
- def ellipsis[T <: Tree](rank: Int, astInfo: AstInfo[T], extraSkip: ⇒ Unit = {})(implicit arg0: AstInfo[T]): T
- def ensureEarlyDef(tree: Stat): Stat
-
def
ensuring(cond: (ScalametaParser) ⇒ Boolean, msg: ⇒ Any): ScalametaParser
- Implicit
- This member is added by an implicit conversion from ScalametaParser to Ensuring[ScalametaParser] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: (ScalametaParser) ⇒ Boolean): ScalametaParser
- Implicit
- This member is added by an implicit conversion from ScalametaParser to Ensuring[ScalametaParser] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean, msg: ⇒ Any): ScalametaParser
- Implicit
- This member is added by an implicit conversion from ScalametaParser to Ensuring[ScalametaParser] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean): ScalametaParser
- Implicit
- This member is added by an implicit conversion from ScalametaParser to Ensuring[ScalametaParser] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def enumerator(isFirst: Boolean, allowNestedIf: Boolean = true): collection.immutable.List[Enumerator]
-
def
enumerators(): collection.immutable.List[Enumerator]
Enumerators ::= Generator {semi Enumerator} Enumerator ::= Generator | Guard | val Pattern1 `=' Expr -
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def existentialStats(): collection.immutable.List[Stat]
- def expr(location: Location): Term
-
def
expr(): Term
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 exprSimpleType(): Type
- def exprTypeArgs(): collection.immutable.List[Type]
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from ScalametaParser to StringFormat[ScalametaParser] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
-
def
funDefOrDclOrSecondaryCtor(mods: collection.immutable.List[Mod]): Stat
FunDef ::= FunSig [`:' Type] `=' [`macro'] Expr | FunSig [nl] `{' Block `}' | `this' ParamClause ParamClauses (`=' ConstrExpr | [nl] ConstrBlock) FunDcl ::= FunSig [`:' Type] FunSig ::= id [FunTypeParamClause] ParamClauses - def funDefRest(mods: collection.immutable.List[Mod]): Stat
-
def
generator(eqOK: Boolean, allowNestedIf: Boolean = true): collection.immutable.List[Enumerator]
Generator ::= Pattern1 (`<-' | `=') Expr [Guard]
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
guard(): Option[Term]
Guard ::= if PostfixExpr -
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
def
implicitClosure(location: Location): Term.Function
Expr ::= implicit Id => Expr
-
def
importStmt(): Import
Import ::= import ImportExpr {`,' ImportExpr} - def importWildcardOrName(): Importee
-
def
importee(): Importee
ImportSelector ::= Id [`=>' Id | `=>' `_']
-
def
importees(): collection.immutable.List[Importee]
ImportSelectors ::= `{' {ImportSelector `,'} (ImportSelector | `_') `}' -
def
importer(): Importer
ImportExpr ::= StableId `.' (Id | `_' | ImportSelectors)
- var in: TokenIterator
-
final
def
inBraces[T](body: ⇒ T): T
- Annotations
- @inline()
-
final
def
inBracesOrError[T](body: ⇒ T, alt: T): T
- Annotations
- @inline()
-
final
def
inBracesOrNil[T](body: ⇒ collection.immutable.List[T]): collection.immutable.List[T]
- Annotations
- @inline()
-
final
def
inBracesOrUnit[T](body: ⇒ Term): Term
- Annotations
- @inline()
-
final
def
inBrackets[T](body: ⇒ T): T
- Annotations
- @inline()
-
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.g.
Methods inParensOrError and similar take a second argument which, should the next token not be the expected opener (e.g. token.LeftParen) will be returned instead of the contents of the groupers. However in all cases accept[LeftParen] will be called, so a parse error will still result. If the grouping is optional, token should be tested before calling these methods.
- Annotations
- @inline()
-
final
def
inParensOrError[T](body: ⇒ T, alt: T): T
- Annotations
- @inline()
-
final
def
inParensOrNil[T](body: ⇒ collection.immutable.List[T]): collection.immutable.List[T]
- Annotations
- @inline()
-
final
def
inParensOrUnit[T, Ret >: Lit](body: ⇒ Ret): Ret
- Annotations
- @inline()
- implicit def intToIndexPos(index: Int): IndexPos
- def interpolate[Ctx <: Tree, Ret <: Tree](arg: () ⇒ Ctx, result: (Term.Name, collection.immutable.List[Lit], collection.immutable.List[Ctx]) ⇒ Ret): Ret
- def interpolatePat(): Interpolate
- def interpolateTerm(): Interpolate
- def isBackquoted: Boolean
- def isColonWildcardStar: Boolean
- def isIdent: Boolean
- def isIdentAnd(pred: (String) ⇒ Boolean): Boolean
- def isIdentExcept(except: String): Boolean
- def isIdentOf(name: String): Boolean
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isRawAmpersand: Boolean
- def isRawBar: Boolean
- def isRawStar: Boolean
- def isSpliceFollowedBy(check: ⇒ Boolean): Boolean
- def isUnaryOp: Boolean
-
def
literal(isNegated: Boolean = false): Lit
SimpleExpr ::= literal | symbol | null - def localDef(implicitMod: Option[Implicit]): Stat
-
def
localModifiers(): collection.immutable.List[Mod]
LocalModifiers ::= {LocalModifier} LocalModifier ::= abstract | final | sealed | implicit | lazy - def makeTuple[T <: Tree](body: collection.immutable.List[T], zero: () ⇒ T, tuple: (collection.immutable.List[T]) ⇒ T): T
- def makeTupleTerm(body: collection.immutable.List[Term]): Term
- def makeTupleTermParens(bodyf: ⇒ collection.immutable.List[Term]): Term
- def makeTupleType(body: collection.immutable.List[Type]): Type
-
def
mixinQualifier(): Qualifier
MixinQualifier ::= `[' Id `]' - def modifier(): Mod
-
def
modifiers(isLocal: Boolean = false): collection.immutable.List[Mod]
Modifiers ::= {Modifier} Modifier ::= LocalModifier | AccessModifier | override - implicit def modsToPos(mods: collection.immutable.List[Mod]): Pos
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def newLineOpt(): Unit
- def newLineOptWhenFollowedBy[T <: Token](implicit arg0: TokenInfo[T]): Unit
- def newLineOptWhenFollowing(p: (Token) ⇒ Boolean): Unit
- def newLinesOpt(): Unit
- def next(): Token
- def nextOnce(): Token
- def nextThrice(): Token
- def nextTwice(): Token
- def nonLocalDefOrDcl(): Stat
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
objectDef(mods: collection.immutable.List[Mod]): Object
ObjectDef ::= Id ClassTemplateOpt
- def onlyAcceptMod[M <: Mod, T <: Token](mods: collection.immutable.List[Mod], errorMsg: String)(implicit classifier: Classifier[Mod, M], tag: ClassTag[M], tokenInfo: TokenInfo[T]): Unit
- implicit def optionTreeToPos(tree: Option[Tree]): Pos
- def packageDef(): Pkg
- def packageObjectDef(): Object
- def packageOrPackageObjectDef(): Stat
- def param(ownerIsCase: Boolean, ownerIsType: Boolean, isImplicit: Boolean): Param
-
def
paramClauses(ownerIsType: Boolean, ownerIsCase: Boolean = false): collection.immutable.List[collection.immutable.List[Param]]
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(): Arg
ParamType ::= Type | `=>' Type | Type `*'
- def parseCase(): Case
- def parseCtorCall(): Call
- def parseEnumerator(): Enumerator
- def parseImportee(): Importee
- def parseImporter(): Importer
- def parseMod(): Mod
- def parsePat(): Pat
- def parsePatArg(): Arg
- def parsePatType(): Pat.Type
- def parseQuasiquoteCtor(): Ctor
- def parseQuasiquoteMod(): Mod
- def parseQuasiquotePat(): Pat
- def parseQuasiquotePatArg(): Arg
- def parseQuasiquotePatType(): Pat.Type
- def parseQuasiquoteStat(): Stat
- def parseQuasiquoteTemplate(): Template
- def parseRule[T <: Tree](rule: (ScalametaParser.this.type) ⇒ T): T
- def parseSource(): Source
- def parseStat(): Stat
- def parseTemplate(): Template
- def parseTerm(): Term
- def parseTermArg(): Arg
- def parseTermParam(): Param
- def parseType(): Type
- def parseTypeArg(): Arg
- def parseTypeParam(): Param
- def parseUnquotePat(): Pat
- def parseUnquoteTerm(): Term
- lazy val parserTokenPositions: Array[Int]
- lazy val parserTokens: Tokens
-
def
patDefOrDcl(mods: collection.immutable.List[Mod]): Stat
PatDef ::= Pattern2 {`,' Pattern2} [`:' Type] `=' Expr ValDcl ::= Id {`,' Id} `:' Type VarDef ::= PatDef | Id {`,' Id} `:' Type `=' `_' -
def
path(thisOK: Boolean = true): Term.Ref
Path ::= StableId | [Ident `.'] this ModType ::= Path [`.' type] -
def
pattern(): Arg
Default entry points into some pattern contexts.
- def patternTyp(): Pat.Type
- def patternTypeArgs(): collection.immutable.List[Pat.Type]
-
def
peekingAhead[T](tree: ⇒ T): T
Perform an operation while peeking ahead.
Perform an operation while peeking ahead. Recover to inputal state in case of exception.
- Annotations
- @inline()
-
def
postfixExpr(): Term
PostfixExpr ::= InfixExpr [Id [nl]] InfixExpr ::= PrefixExpr | InfixExpr Id [nl] InfixExpr -
def
prefixExpr(): Term
PrefixExpr ::= [`-' | `+' | `~' | `!' | `&'] SimpleExpr
- def primaryCtor(owner: TemplateOwner): Primary
-
def
qualId(): Term.Ref
QualId ::= Id {`.' Id} - def quasiquoteCtor(): Ctor
- def quasiquotePattern(): Arg
- def quasiquotePatternArg(): Arg
- def quasiquotePatternTyp(): Pat.Type
- def quasiquoteTemplate(): Template
- def refineStat(): Option[Stat]
-
def
refineStatSeq(): collection.immutable.List[Stat]
RefineStatSeq ::= RefineStat {semi RefineStat} RefineStat ::= Dcl | type TypeDef | -
def
refinement(): collection.immutable.List[Stat]
Refinement ::= [nl] `{' RefineStat {semi RefineStat} `}' - def rejectMod[M <: Mod](mods: collection.immutable.List[Mod], errorMsg: String)(implicit classifier: Classifier[Mod, M], tag: ClassTag[M]): Unit
- def rejectModCombination[M1 <: Mod, M2 <: Mod](mods: collection.immutable.List[Mod], culprit: String)(implicit invalidMod: InvalidModCombination[M1, M2], classifier1: Classifier[Mod, M1], tag1: ClassTag[M1], classifier2: Classifier[Mod, M2], tag2: ClassTag[M2]): Unit
- lazy val reporter: Reporter
- lazy val scannerTokens: Tokens
- def scriptSource(): Source
- def secondaryCtor(mods: collection.immutable.List[Mod]): Secondary
- def selector(t: Term): Select
- def selectors(t: Term): Term.Ref
-
def
selfInvocation(): Term
SelfInvocation ::= this ArgumentExprs {ArgumentExprs} - def seqPatterns(): collection.immutable.List[Arg]
-
def
simpleExpr(): Term
SimpleExpr ::= new (ClassTemplate | TemplateBody) | BlockExpr | SimpleExpr1 [`_'] SimpleExpr1 ::= literal | xLiteral | Path | `(' [Exprs] `)' | SimpleExpr `.' Id | SimpleExpr TypeArgs | SimpleExpr1 ArgumentExprs - def simpleExprRest(t: Term, canApply: Boolean): Term
-
def
source(): Source
CompilationUnit ::= {package QualId semi} TopStatSeq -
def
stableId(): Term.Ref
StableId ::= Id | Path `.' Id | [id `.'] super [`[' id `]']`.' id - def startInfixType(): Type
- def startModType(): Type
- def statSeq[T <: Tree](statpf: PartialFunction[Token, T], errorMsg: String = "illegal start of definition")(implicit arg0: AstInfo[T]): collection.immutable.List[T]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def syntaxErrorExpected[T <: Token](implicit arg0: TokenInfo[T]): Nothing
-
def
template(): Template
ClassTemplate ::= [EarlyDefs with] ClassParents [TemplateBody] TraitTemplate ::= [EarlyDefs with] TraitParents [TemplateBody] EarlyDefs ::= `{' [EarlyDef {semi EarlyDef}] `}' EarlyDef ::= Annotations Modifiers PatDef
-
def
templateBody(isPre: Boolean): (Param, collection.immutable.List[Stat])
TemplateBody ::= [nl] `{' TemplateStatSeq `}'- isPre
specifies whether in early initializer (true) or not (false)
- def templateBodyOpt(parenMeansSyntaxError: Boolean): (Param, Option[collection.immutable.List[Stat]])
-
def
templateOpt(owner: TemplateOwner): Template
ClassTemplateOpt ::= `extends' ClassTemplate | [[`extends'] TemplateBody] TraitTemplateOpt ::= TraitExtends TraitTemplate | [[`extends'] TemplateBody] | `<:' TemplateBody TraitExtends ::= `extends' | `<:'
-
def
templateParents(): collection.immutable.List[Call]
ClassParents ::= ModType {`(' [Exprs] `)'} {with ModType} TraitParents ::= ModType {with ModType} - def templateStat: PartialFunction[Token, Stat]
-
def
templateStatSeq(isPre: Boolean): (Param, collection.immutable.List[Stat])
TemplateStatSeq ::= [id [`:' Type] `=>'] TemplateStats- isPre
specifies whether in early initializer (true) or not (false)
-
def
templateStats(): collection.immutable.List[Stat]
TemplateStats ::= TemplateStat {semi TemplateStat} TemplateStat ::= Import | Annotations Modifiers Def | Annotations Modifiers Dcl | Expr1 | super ArgumentExprs {ArgumentExprs} | - def termName(advance: Boolean = true): Term.Name
-
def
tmplDef(mods: collection.immutable.List[Mod]): Member with Stat
TmplDef ::= [case] class ClassDef | [case] object ObjectDef | [override] trait TraitDef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- def token: Token
-
final
def
tokenSeparated[Sep <: Token, T <: Tree](sepFirst: Boolean, part: ⇒ T)(implicit arg0: TokenInfo[Sep], arg1: AstInfo[T]): collection.immutable.List[T]
, or if sepFirst is true,
part { `sep` part }, or if sepFirst is true,
{ `sep` part }. if useUnquoteForEllipsis = true, uses direct unquote instead of
part{
seppart } }}} if useUnquoteForEllipsis = true, uses direct unquote instead ofpartpart {
seppart } }}} if useUnquoteForEllipsis = true, uses direct unquote instead ofpart - implicit def tokenToTokenPos(token: Token): TokenPos
-
def
topLevelTmplDef: Member with Stat
Hook for IDE, for top-level classes/objects.
- def topStat: PartialFunction[Token, Stat]
-
def
topStatSeq(): collection.immutable.List[Stat]
TopStatSeq ::= TopStat {semi TopStat} TopStat ::= Annotations Modifiers TmplDef | Packaging | package object objectDef | Import | -
def
traitDef(mods: collection.immutable.List[Mod]): Trait
TraitDef ::= Id [TypeParamClause] RequiresTypeOpt TraitTemplateOpt
- implicit def treeToTreePos(tree: Tree): TreePos
-
def
typ(): Type
These are default entry points into the pattern context sensitive methods: they are all initiated from non-pattern context.
-
def
typeBounds(): Bounds
TypeBounds ::= [`>:' Type] [`<:' Type]
-
def
typeDefOrDcl(mods: collection.immutable.List[Mod]): Member.Type with Stat
TypeDef ::= type Id [TypeParamClause] `=' Type | FunSig `=' Expr TypeDcl ::= type Id [TypeParamClause] TypeBounds
- def typeName(advance: Boolean = true): Type.Name
- def typeOrInfixType(location: Location): Type
- def typeParam(ownerIsType: Boolean, ctxBoundsAllowed: Boolean): Param
-
def
typeParamClauseOpt(ownerIsType: Boolean, ctxBoundsAllowed: Boolean): collection.immutable.List[Param]
TypeParamClauseOpt ::= [TypeParamClause] TypeParamClause ::= `[' VariantTypeParam {`,' VariantTypeParam} `]'] VariantTypeParam ::= {Annotation} [`+' | `-'] TypeParam FunTypeParamClauseOpt ::= [FunTypeParamClause] FunTypeParamClause ::= `[' TypeParam {`,' TypeParam} `]'] TypeParam ::= Id TypeParamClauseOpt TypeBounds {<% Type} {":" Type} -
def
typedOpt(): Option[Type]
TypedOpt ::= [`:' Type] - def unquote[T <: Tree](implicit arg0: AstInfo[T]): T
- def unquote[T <: Tree](advance: Boolean = true)(implicit arg0: AstInfo[T]): T
- def unquoteExpr(): Term
- def unquotePattern(): Pat
- def unquoteXmlExpr(): Term
- def unquoteXmlPattern(): Pat
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- def xmlLiteralPattern(): Pat
- def xmlPat(): Xml
- def xmlSeqPatterns(): collection.immutable.List[Arg]
- def xmlTerm(): Xml
-
def
→[B](y: B): (ScalametaParser, B)
- Implicit
- This member is added by an implicit conversion from ScalametaParser to ArrowAssoc[ScalametaParser] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- object AutoPos extends Pos with Product with Serializable
- object CanEndStat
- object CantStartStat
- object CaseDefEnd
- object CaseIntro
- object CloseDelim
- object DclIntro
- object DefIntro
- object ExprIntro
- implicit object InvalidFinalAbstract extends InvalidModCombination[Final, Abstract]
- implicit object InvalidFinalSealed extends InvalidModCombination[Final, Sealed]
- implicit object InvalidOverrideAbstract extends InvalidModCombination[Override, Abstract]
- object LineEnd
- object Literal
- object LocalModifier
- object Modifier
- object NonlocalModifier
- object NumericLiteral
- object OwnedByCaseClass extends TemplateOwner
- object OwnedByClass extends TemplateOwner
- object OwnedByObject extends TemplateOwner
- object OwnedByTrait extends TemplateOwner
- object StatSep
- object StatSeqEnd
- object TemplateIntro
- object Trivia
- object TypeIntro
- object Whitespace
-
object
noSeq
extends SeqContextSensitive
The implementation for parsing inside of patterns at points where sequences are disallowed.
-
object
outPattern
extends PatternContextSensitive
The implementation of the context sensitive methods for parsing outside of patterns.
- implicit object patInfixContext extends InfixContext
-
object
seqOK
extends SeqContextSensitive
The implementation for parsing inside of patterns at points where sequences are allowed.
- object termInfixContext extends InfixContext
-
object
xmlSeqOK
extends SeqContextSensitive
For use from xml pattern, where sequence is allowed and encouraged.