A2bPhases

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

implicit def accept(e: Elem): Parser[Elem]

def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

def ampersand: Doc

def angles(d: Doc): Doc

def any(a: Any): Doc

def any: PackratParser[Char]

implicit def anyToPrettyPrintable(a: Any): PrettyPrintable

def artefact: String

The name of this artefact.

final def asInstanceOf[T0]: T0

lazy val assignment: Parser[Assignment]

def asterisk: Doc

def atsign: Doc

def backquote: Doc

def backslash: Doc

lazy val basetype: (Expression) ⇒ Type

The actual type of an expression following type aliases.

lazy val block: Parser[Block]

def blockToDoc(b: Block, beginend: Boolean = false): Doc

Pretty-print a block, omitting the BEGIN if there are no statements.

lazy val booleanType: BuiltinType

Built-in Boolean type.

def braces(d: Doc): Doc

def bracket(inner: PrettyOperatorExpression, outer: PrettyOperatorExpression, side: Side): Doc

def brackets(d: Doc): Doc

def caret: Doc

lazy val caseStatement: Parser[CaseStatement]

def caseToDoc(s: CaseStatement): Doc

lazy val cases: Parser[List[Case]]

def casesToDoc(l: Seq[Case]): Doc

def cat(ds: Seq[Doc]): Doc

def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

implicit def char(c: Char): Doc

def checkFor(record: Record, dim: Dimension, eventtype: String, needed: Dimension)(f: (Value) ⇒ Value): Value

def clone(): AnyRef

def colon: Doc

def comma: Doc

lazy val comment: PackratParser[Any]

def commit[T](p: ⇒ Parser[T]): Parser[T]

lazy val condition: Parser[Condition with Serializable]

lazy val conditions: Parser[List[Condition with Serializable]]

implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R

implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R

implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R

implicit def constToTupleFunction5[A, B, C, D, E, R](r: (A, B, C, D, E) ⇒ R): (~[~[~[~[A, B], C], D], E]) ⇒ R

implicit def constToTupleFunction6[A, B, C, D, E, F, R](r: (A, B, C, D, E, F) ⇒ R): (~[~[~[~[~[A, B], C], D], E], F]) ⇒ R

lazy val constdecl: Parser[ConstDecl]

lazy val constdeclsection: Parser[List[ConstDecl]]

lazy val constrainedInt: PackratParser[Int]

def consumeast(ast: ModuleDecl, config: Oberon0Config): Unit

Consume the AST.

def createConfig(args: Seq[String], output: Emitter = new OutputEmitter, error: Emitter = new ErrorEmitter): Oberon0Config

lazy val declarations: PackratParser[Seq[Declaration]]

def declarationsDef: PackratParser[Seq[Declaration]]

def declsToDoc(ds: Seq[Declaration]): Doc

def declsection(d: Declaration): String

lazy val decltype: (TypeDecl) ⇒ Type

The built-in type associated with a type declaration.

val defaultIndent: Int

val defaultWidth: Int

def defenv: Environment

The default environment.

def defenvPairs: Seq[(String, Entity)]

def define(env: Environment, i: String, e: Entity): Environment

lazy val deftype: (TypeDef) ⇒ Type

The type given by a type definition.

def deftypeDef: (TypeDef) ⇒ Type

def dimValue(record: Record, dim: Dimension): Value

def dollar: Doc

def dot: Doc

def dquote: Doc

def dquotes(d: Doc): Doc

def driver(args: Seq[String]): Unit

def elem(e: Elem): Parser[Elem]

def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

lazy val elsif: PackratParser[(Expression, Block)]

lazy val elsifs: Parser[List[(Expression, Block)]]

def empty: Doc

def enclose(l: Doc, d: Doc, r: Doc): Doc

def encoding: String

def enter(env: Environment): Environment

lazy val entity: (Identifier) ⇒ Entity

The program entity referred to by an identifier definition or use.

def entityFromDecl(n: IdnDef, i: String): Entity

The entity for an identifier definition as given by its declaration context.

lazy val env: Chain[SourceTree, Environment]

The environment containing bindings for all identifiers visible at the given node.

def envin(in: (SourceTree) ⇒ Environment): ==>[SourceTree, Environment]

def envout(out: (SourceTree) ⇒ Environment): ==>[SourceTree, Environment]

final def eq(arg0: AnyRef): Boolean

def equal: Doc

def equals(arg0: Any): Boolean

def err(msg: String): Parser[Nothing]

val errors: attribution.Attribution.CachedAttribute[Any, Seq[Message]]

The semantic errors for a tree.

def errorsDef(n: SourceTree): Messages

The error checking for this level.

def exclamation: Doc

lazy val expconst: (Expression) ⇒ Boolean

Is an expression expected to be constant or not? Either the expression is the root of an expected constant expression or its parent expression is expected to be constant.

lazy val expression: Parser[Expression]

lazy val exptype: (Expression) ⇒ Type

The type expected of an expression as defined by its context.

def exptypeDef: (Expression) ⇒ Type

The type expected of an expression as defined by its context.

lazy val factor: PackratParser[Expression]

def failure(msg: String): Parser[Nothing]

lazy val falseConstant: IntegerValue

Built-in false constant.

def fillcat(ds: Seq[Doc]): Doc

def fillsep(ds: Seq[Doc], sep: Doc): Doc

def fillsep(ds: Seq[Doc]): Doc

def finalize(): Unit

def finishReport(): Unit

def folddoc(ds: Seq[Doc], f: (Doc, Doc) ⇒ Doc): Doc

lazy val forStatement: Parser[ForStatement]

def forToDoc(s: ForStatement): Doc

lazy val forVar: Parser[IdnExp]

def forwslash: Doc

final def getClass(): Class[_]

def group(d: Doc): Doc

def guard[T](p: ⇒ Parser[T]): Parser[T]

def handleWhiteSpace(in: Input): Int

def handleWhiteSpace(source: CharSequence, offset: Int): Int

def hash: Doc

def hashCode(): Int

def hcat(ds: Seq[Doc]): Doc

def hsep(ds: Seq[Doc], sep: Doc): Doc

def hsep(ds: Seq[Doc]): Doc

lazy val ident: Parser[String]

def idlistToDoc(ids: Seq[IdnDef]): Doc

lazy val idndef: Parser[IdnDef]

lazy val idndeflist: Parser[List[IdnDef]]

lazy val idntype: (IdnUse) ⇒ Type

The type of the entity denoted by an identifier use.

def idntypeDef: (IdnUse) ⇒ Type

lazy val idnuse: Parser[IdnUse]

lazy val ifStatement: Parser[IfStatement]

def ifToDoc(s: IfStatement): Doc

def includeTimings: Boolean

def initialiseSemanticAnalysis: Unit

Perform initialisation of semantic analysis that is necessary before processing an AST.

lazy val integerType: BuiltinType

Built-in integer type.

lazy val intexp: Parser[IntExp]

def isBoolean(e: Type): Boolean

Return true if the given type is Boolean or an unknown type.

def isCompatible(tipe: Type, exptype: Type): Boolean

Compatibility of types.

def isConstant(e: Entity): Boolean

Return true if the entity is erroneous or is a constant.

def isDefinedInEnv(env: Environment, i: String): Boolean

def isDefinedInInner(env: Environment, i: String): Boolean

def isDefinedInOuter(env: Environment, i: String): Boolean

def isDefinedInScope(scope: Scope, i: String): Boolean

def isDefinedInScope(env: Environment, i: String): Boolean

def isError(e: Entity): Boolean

Return true if the entity is an error, false otherwise.

def isEventType(record: Record, eventtype: String): Boolean

final def isInstanceOf[T0]: Boolean

def isInteger(e: Type): Boolean

Return true if the given type is integer or an unknown type.

def isLvalue(l: Expression): Boolean

Return true if the expression can legally appear on the left-hand side of an assignment statement.

def isModule(e: Entity): Boolean

Return true if the entity is erroneous or is a module.

def isRvalue(r: IdnExp): Boolean

Return true if the identifier is an r-value and hence its value can be used (ie.

def isType(e: Entity): Boolean

Return true if the entity is erroneous or is a type.

def isVariable(e: Entity): Boolean

Return true if the entity is erroneous or is a variable.

lazy val isconst: (Expression) ⇒ Boolean

Is an expression constant or not? Unknown entities are constant.

lazy val kase: Parser[Case]

lazy val keyword: Parser[String]

def keywordStrings: Seq[String]

def keywords(ext: Regex, kws: Seq[String]): Parser[String]

def langle: Doc

def langlevel: Int

def lbrace: Doc

def lbracket: Doc

def leave(env: Environment): Environment

lazy val lhs: PackratParser[Expression]

def lhsDef: PackratParser[Expression]

def line: Doc

def line(repl: Layout): Doc

def linebreak: Doc

def list[T](l: Seq[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

implicit def literal(s: String): Parser[String]

def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

def lookup(env: Environment, i: String, e: Entity, scope: Boolean): Entity

def lparen: Doc

def lsep(ds: Seq[Doc], sep: Doc): Doc

def lsep2(ds: Seq[Doc], sep: Doc): Doc

def lterm(ds: Seq[Doc], term: Doc): Doc

def main(args: Array[String]): Unit

def makeast(reader: Reader, filename: String, config: Oberon0Config): Either[ModuleDecl, String]

def mark[T](p: Parser[String]): Parser[Marker]

def memo[T](p: Parser[T]): PackratParser[T]

def minus: Doc

def mkList[T]: (~[T, List[T]]) ⇒ List[T]

lazy val moduledecl: Parser[ModuleDecl]

val nameCounter: Counter

lazy val namedtypedef: Parser[NamedType]

def nanoToMs(nano: Long): Long

final def ne(arg0: AnyRef): Boolean

def nest(d: Doc, j: Indent): Doc

def noparens(inner: PrettyOperatorExpression, outer: PrettyOperatorExpression, side: Side): Boolean

def not[T](p: ⇒ Parser[T]): Parser[Unit]

final def notify(): Unit

final def notifyAll(): Unit

def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

def optSectionToDoc(section: String, optds: Option[Seq[Declaration]]): Doc

lazy val optelse: Parser[Option[Block]]

def output(str: String): Unit

def outputln(str: String): Unit

def parens(d: Doc): Doc

def parse[T](p: Parser[T], in: Reader): ParseResult[T]

def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]

def parseProfileOption(value: String): Seq[Dimension]

implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]

implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]

implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]

implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]

implicit def parseResultToTuple6[A, B, C, D, E, F](p: Parser[~[~[~[~[~[A, B], C], D], E], F]]): PackratParser[(A, B, C, D, E, F)]

def parseString[T](parser: Parser[T], str: String): Either[T, String]

def parseWhitespace(in: Input): ParseResult[Any]

lazy val parser: PackratParser[ModuleDecl]

implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]

var parsingWhitespace: Boolean

def percent: Doc

def percent(v: Long, total: Long): String

def phrase[T](p: Parser[T]): PackratParser[T]

def plist(l: List[PrettyPrintable], prefix: String, elemToDoc: (PrettyPrintable) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

def plus: Doc

def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

def pretty(d: Doc, w: Width): Layout

def pretty(p: PrettyPrintable): Layout

def pretty_any(a: Any): Layout

def prettyprint(ast: ModuleDecl): String

def printDependencyGraph(record: Record, dim: Dimension): Unit

def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit

var printTables: Boolean

def process(filename: String, ast: ModuleDecl, config: Oberon0Config): Unit

Process the given abstract syntax tree.

def processast(ast: ModuleDecl, config: Oberon0Config): ModuleDecl

Process the AST, returning the new one.

def processfile(filename: String, config: Oberon0Config): Unit

Custom driver for section tagging and challenge mode for errors.

def processfiles(filenames: Seq[String], config: Oberon0Config): Unit

def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T

def profileStart(logging: Boolean): Unit

def profileStop(): (Seq[Dimension]) ⇒ Unit

def profileStop(dimensionNames: Seq[Dimension]): Unit

def profileStopInteractive(): Unit

def pseq(l: Seq[PrettyPrintable], prefix: String, elemToDoc: (PrettyPrintable) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

def question: Doc

def rangle: Doc

def rbrace: Doc

def rbracket: Doc

implicit def regex(r: Regex): Parser[String]

def regexnows(r: Regex): Parser[String]

def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]

def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

def resetEnvironments(): Unit

def result[T](v: ⇒ T): Parser[T]

lazy val rootconstexp: (Expression) ⇒ Boolean

Is this expression the root of what is expected to be a constant expression? At this level only expressions on the RHS of a constant declaration have this property.

def rootconstexpDef: (Expression) ⇒ Boolean

def rootenv(bindings: (String, Entity)*): Environment

def rparen: Doc

def section(emitter: Emitter, name: String): Unit

Output a section heading so that the output can be split later.

def semi: Doc

def semisep(l: Seq[SourceTree], sep: Doc = semi): Doc

Pretty-print a nested list of nodes separated by sep (default: semi colon) and line breaks.

def sep(ds: Seq[Doc]): Doc

def seq[T](l: Seq[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

lazy val simpexp: PackratParser[Expression]

def skipWhitespace: Boolean

def softbreak: Doc

def softline: Doc

def space: Doc

def spaces(n: Int): Doc

def squote: Doc

def squotes(d: Doc): Doc

def ssep(ds: Seq[Doc], sep: Doc): Doc

def startReport(dimensionNames: Seq[Dimension]): Unit

var startTime: Long

lazy val statement: PackratParser[Statement]

def statementDef: PackratParser[Statement]

lazy val statementSequence: Parser[Block]

lazy val statements: Parser[Block]

lazy val step: Parser[Option[Expression]]

def sterm(ds: Seq[Doc], term: Doc): Doc

def string(s: String): Doc

def stringToInt(s: String): Either[Int, String]

def subjectsToStep(src: Any, dst: Any): Step

def success[T](v: T): Parser[T]

def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit

def surround(d: Doc, b: Doc): Doc

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

def tasklevel: Int

lazy val term: PackratParser[Expression]

implicit def text(t: String): Doc

def tilde: Doc

def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit

lazy val tipe: (Expression) ⇒ Type

The type of an expression.

def tipeDef: (Expression) ⇒ Type

def toDoc(n: SourceTree): Doc

def toParenDoc(e: PrettyExpression): Doc

def toString(): String

def trace(predicate: (Event) ⇒ Boolean): Unit

lazy val trueConstant: IntegerValue

Built-in true constant.

lazy val typebasetype: (Type) ⇒ Type

The actual type that a user type denotes.

lazy val typedecl: Parser[TypeDecl]

lazy val typedeclsection: Parser[List[TypeDecl]]

lazy val typedef: PackratParser[TypeDef]

def typedefDef: PackratParser[TypeDef]

def underscore: Doc

lazy val unknownType: BuiltinType

A type that is unknown, eg because the typed thing is erroneously defined.

def value(v: Any): Doc

lazy val value: (Expression) ⇒ Int

What is the value of an integer expression? Only needs to be valid if the expression is an integer constant (see isconst above) and is defined (eg, no divide by zero.

def valueToString(a: Value): String

lazy val vardecl: Parser[VarDecl]

lazy val vardeclsection: Parser[List[VarDecl]]

def vcat(ds: Seq[Doc]): Doc

def verticalbar: Doc

def vsep(ds: Seq[Doc], sep: Doc): Doc

def vsep(ds: Seq[Doc]): Doc

final def wait(): Unit

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

final def wait(arg0: Long): Unit

lazy val whileStatement: Parser[WhileStatement]

val whiteSpace: Regex

lazy val whitespaceParser: PackratParser[Any]

def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]

def lastNoSuccess: NoSuccess

def lastNoSuccess_=(x: NoSuccess): Unit

def product(p: Any): Doc