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