Minnesota Extensible Language Tools Group

[silver:compiler:driver]

Contents of [silver:compiler:driver]:

Defined in this grammar:

type SVParser

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 10.

(Undocumented.)

function cmdLineRun   (IO<Integer> ::= args::[String] svParser::SVParser )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 15.

(Undocumented.)

fun cmdLineRunInitial   (IOErrorable<Compilation> ::= args::[String] svParser::SVParser )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 25.

(Undocumented.)

fun performActions   (IO<Integer> ::= unit::IOErrorable<Compilation> )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 32.

(Undocumented.)

fun computeEnv   (IOErrorable<(Decorated CmdArgs,BuildEnv)> ::= args::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 45.

(Undocumented.)

fun setupBuildRun   (IOErrorable<Compilation> ::= svParser::SVParser a::Decorated CmdArgs benv::BuildEnv )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 67.

(Undocumented.)

fun buildRun   (IO<Compilation> ::= svParser::SVParser a::Decorated CmdArgs benv::BuildEnv buildGrammars::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 92.

(Undocumented.)

fun compileGrammars   (IO<[Maybe<RootSpec>]> ::= svParser::SVParser benv::BuildEnv need::[String] ignoreInterface::Boolean forceRecompile::Boolean )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 141.

(Undocumented.)

function eatGrammars   ([String] ::= triggered::([String] ::= Decorated RootSpec) n::Integer sofar::[String] rootStream::[Maybe<a>] grammars::[Decorated RootSpec] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 161.

(Undocumented.)

annotation code :: Integer

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 178.

(Undocumented.)

annotation errMsg :: String

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 179.

(Undocumented.)

data nonterminal RunError

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 181.

(Undocumented.)

abstract production runError   (RunError ::= )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 181.

(Undocumented.)

type IOErrorable

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 185.

(Undocumented.)

fun throwRunError   (IOErrorable<a> ::= c::Integer m::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 187.

(Undocumented.)

function getJarVersion   (IOVal<String> ::= i::IOToken )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/BuildProcess.sv line 189.

(Undocumented.)

synthesized attribute searchPath :: [String]

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 5.

(Undocumented.)

synthesized attribute outName :: [String]

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 6.

(Undocumented.)

synthesized attribute genLocation :: [String]

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 7.

(Undocumented.)

synthesized attribute silverHomeOption :: [String]

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 8.

(Undocumented.)

synthesized attribute displayVersion :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 10.

(Undocumented.)

synthesized attribute doClean :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 11.

(Undocumented.)

synthesized attribute warnError :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 12.

(Undocumented.)

synthesized attribute forceOrigins :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 13.

(Undocumented.)

synthesized attribute noOrigins :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 14.

(Undocumented.)

synthesized attribute noRedex :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 15.

(Undocumented.)

synthesized attribute tracingOrigins :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 16.

(Undocumented.)

synthesized attribute noStdlib :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 17.

(Undocumented.)

synthesized attribute buildGrammars :: [String]

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 19.

(Undocumented.)

synthesized attribute noBindingChecking :: Boolean

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 21.

(Undocumented.)

abstract production versionFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 41.

(Undocumented.)

abstract production cleanFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 47.

(Undocumented.)

abstract production warnErrorFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 53.

(Undocumented.)

abstract production forceOriginsFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 59.

(Undocumented.)

abstract production noOriginsFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 65.

(Undocumented.)

abstract production tracingOriginsFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 71.

(Undocumented.)

abstract production noRedexFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 77.

(Undocumented.)

abstract production outFlag   (top::CmdArgs ::= s::String rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 83.

(Undocumented.)

abstract production includeFlag   (top::CmdArgs ::= s::String rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 89.

(Undocumented.)

abstract production genFlag   (top::CmdArgs ::= s::String rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 95.

(Undocumented.)

abstract production homeFlag   (top::CmdArgs ::= s::String rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 101.

(Undocumented.)

abstract production noStdlibFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 107.

(Undocumented.)

abstract production nobindingFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 113.

(Undocumented.)

function parseArgs   (Either<String Decorated CmdArgs> ::= args::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 120.

(Undocumented.)

fun parseArgsOrError   (Decorated CmdArgs ::= args::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 195.

(Undocumented.)

fun determineBuildEnv   (IOErrorable<BuildEnv> ::= a::Decorated CmdArgs )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 201.

(Undocumented.)

fun checkEnvironment   (IO<[String]> ::= benv::BuildEnv )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 230.

(Undocumented.)

fun checkPreBuild   (IO<[String]> ::= benv::BuildEnv buildGrammars::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 251.

(Undocumented.)

function determineDefaultSilverHome   (IOVal<String> ::= i::IOToken )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/Command.sv line 268.

(Undocumented.)

fun compileFiles   (IO<([File],[ParseError])> ::= svParser::SVParser gpath::String files::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileFiles.sv line 10.

(Undocumented.)

function compileGrammar   (MaybeT<IO RootSpec> ::= svParser::SVParser benv::BuildEnv grammarName::String ignoreInterface::Boolean forceRecompile::Boolean )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 9.

(Undocumented.)

fun foldRoot   (Grammar ::= l::[File] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 65.

(Undocumented.)

fun isValidSilverFile   (Boolean ::= f::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 70.

(Undocumented.)

fun listSilverFiles   (IO<[String]> ::= dir::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 72.

(Undocumented.)

fun fileTimes   (IO<Integer> ::= dir::String is::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 86.

(Undocumented.)

fun renderFileNames   (String ::= files::[String] depth::Integer )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 97.

(Undocumented.)

fun findGrammarLocation   (MaybeT<IO String> ::= path::String searchPaths::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 107.

(Undocumented.)

function findGrammarInLocation   (MaybeT<IO String> ::= gram::String inPath::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileGrammar.sv line 120.

(Undocumented.)

function compileInterface   (MaybeT<IO RootSpec> ::= grammarName::String silverHostGen::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileInterface.sv line 11.

(Undocumented.)

fun findInterfaceLocation   (MaybeT<IO String> ::= gramPath::String searchPaths::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileInterface.sv line 50.

(Undocumented.)

function compileLibrary   (MaybeT<IO RootSpec> ::= grammarName::String libs::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileLibrary.sv line 3.

(Undocumented.)

fun findGrammarJarLocation   (MaybeT<IO String> ::= gramPath::String searchPaths::[String] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileLibrary.sv line 40.

(Undocumented.)

fun findGrammarJarInLocation   (MaybeT<IO String> ::= gramPath::String path::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileLibrary.sv line 46.

(Undocumented.)

function transformFile   (String ::= path::String contents::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileLiterateFile.sv.md line 8.

(Undocumented.)

function extractSilverCodeBlocks   ([String] ::= path::String markdown::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileLiterateFile.sv.md line 45.

(Undocumented.)

function extractCodeBlocks   ([(String,Location,String)] ::= path::String markdown::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/CompileLiterateFile.sv.md line 88.

(Undocumented.)

abstract production touchIfaces   (top::DriverAction ::= r::[Decorated RootSpec] genPath::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 31.

(Undocumented.)

fun sviPath   (String ::= r::Decorated RootSpec genPath::String )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 37.

(Undocumented.)

abstract production printAllBindingErrors   (top::DriverAction ::= specs::[Decorated RootSpec] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 40.

(Undocumented.)

abstract production printAllBindingErrorsHelp   (top::DriverAction ::= specs::[Decorated RootSpec] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 52.

(Undocumented.)

abstract production printAllParsingErrors   (top::DriverAction ::= specs::[Decorated RootSpec] )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 70.

(Undocumented.)

fun renderMessages   (String ::= grammarSource::String msg::Pair<String [Message]> )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 87.

(Undocumented.)

fun grammarContainsErrors   (Boolean ::= es::[Pair<String [Message]>] werr::Boolean )

Contained in grammar [silver:compiler:driver]. Defined at silver/compiler/driver/DriverAction.sv line 90.

(Undocumented.)