Driver
function compileGrammars
IOVal<[Maybe<RootSpec>]> ::= svParser::SVParser benv::BuildEnv need::[String] clean::Boolean ioin::IO
In file: CompileGrammars.sv
function cmdLineRun
IOVal<Integer> ::= args::[String] svParser::SVParser ioin::IO
In file: BuildProcess.sv
function cmdLineRunInitial
IOErrorable<Decorated Compilation> ::= args::[String] svParser::SVParser ioin::IO
In file: BuildProcess.sv
function performActions
IOVal<Integer> ::= unitin::IOErrorable<Decorated Compilation>
In file: BuildProcess.sv
function computeEnv
IOErrorable<Pair<Decorated CmdArgs BuildEnv>> ::= args::[String] ioin::IO
In file: BuildProcess.sv
function setupBuildRun
IOErrorable<Decorated Compilation> ::= svParser::SVParser envin::Pair<Decorated CmdArgs BuildEnv> ioin::IO
In file: BuildProcess.sv
function buildRun
IOVal<Decorated Compilation> ::= svParser::SVParser a::Decorated CmdArgs benv::BuildEnv buildGrammar::String ioin::IO
In file: BuildProcess.sv
function eatGrammars
[String] ::= n::Integer sofar::[String] rootStream::[Maybe<a>] grammars::[Decorated RootSpec]
In file: BuildProcess.sv
nonterminal RunError
In file: BuildProcess.sv
abstract production runError
top::RunError ::= c::Integer m::String
In file: BuildProcess.sv
function runChain
RunChain<a c> ::= l::RunChain<a b> r::RunChain<b c>
In file: BuildProcess.sv
function runChainArg
IOErrorable<c> ::= l::RunChain<a b> r::RunChain<b c> x::a ioin::IO
In file: BuildProcess.sv
function compileGrammar
IOVal<Maybe<RootSpec>> ::= svParser::SVParser benv::BuildEnv grammarName::String clean::Boolean ioin::IO
In file: CompileGrammar.sv
function foldRoot
Grammar ::= l::[Root]
In file: CompileGrammar.sv
function isValidSilverFile
Boolean ::= f::String
In file: CompileGrammar.sv
function listSilverFiles
IOVal<[String]> ::= dir::String ioin::IO
In file: CompileGrammar.sv
function fileTimes
IOVal<Integer> ::= dir::String is::[String] i::IO
In file: CompileGrammar.sv
function renderFileNames
String ::= files::[String] depth::Integer
In file: CompileGrammar.sv
function findGrammarLocation
IOVal<Maybe<String>> ::= path::String searchPaths::[String] iIn::IO
In file: CompileGrammar.sv
function findGrammarInLocation
IOVal<Maybe<String>> ::= gram::String inPath::String iIn::IO
In file: CompileGrammar.sv
function compileInterface
IOVal<Maybe<RootSpec>> ::= grammarName::String silverHostGen::[String] grammarTime::Integer ioin::IO
In file: CompileInterface.sv
function findInterfaceLocation
IOVal<Maybe<String>> ::= gramPath::String searchPaths::[String] ioin::IO
In file: CompileInterface.sv
attribute genLocation
In file: Command.sv
attribute doClean
In file: Command.sv
attribute displayVersion
In file: Command.sv
attribute warnError
In file: Command.sv
attribute searchPath
In file: Command.sv
attribute outName
In file: Command.sv
attribute buildGrammar
In file: Command.sv
attribute silverHomeOption
In file: Command.sv
attribute noBindingChecking
In file: Command.sv
aspect production endCmdArgs
top ::= l::[String]
In file: Command.sv
abstract production versionFlag
top::CmdArgs ::= rest::CmdArgs
In file: Command.sv
abstract production cleanFlag
top::CmdArgs ::= rest::CmdArgs
In file: Command.sv
abstract production warnErrorFlag
top::CmdArgs ::= rest::CmdArgs
In file: Command.sv
abstract production outFlag
top::CmdArgs ::= s::String rest::CmdArgs
In file: Command.sv
abstract production includeFlag
top::CmdArgs ::= s::String rest::CmdArgs
In file: Command.sv
abstract production genFlag
top::CmdArgs ::= s::String rest::CmdArgs
In file: Command.sv
abstract production homeFlag
top::CmdArgs ::= s::String rest::CmdArgs
In file: Command.sv
abstract production nobindingFlag
top::CmdArgs ::= rest::CmdArgs
In file: Command.sv
function parseArgs
Either<String Decorated CmdArgs> ::= args::[String]
In file: Command.sv
function determineBuildEnv
IOVal<Either<BuildEnv [String]>> ::= a::Decorated CmdArgs ioin::IO
In file: Command.sv
function checkEnvironment
IOVal<[String]> ::= benv::BuildEnv ioin::IO
In file: Command.sv
function checkPreBuild
IOVal<[String]> ::= a::Decorated CmdArgs benv::BuildEnv buildGrammar::String ioin::IO
In file: Command.sv
function determineDefaultSilverHome
IOVal<String> ::= i::IO
In file: Command.sv
aspect production compilation
top ::= g::Grammars r::Grammars buildGrammar::String benv::BuildEnv
In file: GrammarAction.sv
abstract production touchIfaces
top::DriverAction ::= r::[Decorated RootSpec] genPath::String
In file: GrammarAction.sv
function sviPath
String ::= r::Decorated RootSpec genPath::String
In file: GrammarAction.sv
abstract production printAllBindingErrors
top::DriverAction ::= specs::[Decorated RootSpec]
In file: GrammarAction.sv
abstract production printAllBindingErrorsHelp
top::DriverAction ::= specs::[Decorated RootSpec]
In file: GrammarAction.sv
abstract production printAllParsingErrors
top::DriverAction ::= specs::[Decorated RootSpec]
In file: GrammarAction.sv
function renderMessages
String ::= grammarSource::String msg::Pair<String [Message]>
In file: GrammarAction.sv
function grammarContainsErrors
Boolean ::= es::[Pair<String [Message]>] werr::Boolean
In file: GrammarAction.sv
function compileFiles
IOVal<Pair<[Root] [ParseError]>> ::= svParser::SVParser gpath::String files::[String] ioin::IO
In file: CompileFiles.sv