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

aspect production compilation

###### top ::= g::Grammars r::Grammars buildGrammar::String benv::BuildEnv In file: GrammarAction.sv

abstract production doInterfaces

###### top::DriverAction ::= u::[Decorated RootSpec] genPath::String In file: GrammarAction.sv

function writeInterfaces

###### IO ::= iIn::IO r::[Decorated RootSpec] genPath::String In file: GrammarAction.sv

function writeInterface

###### IO ::= iIn::IO r::Decorated RootSpec genPath::String In file: GrammarAction.sv

abstract production touchIface

###### top::DriverAction ::= r::Decorated RootSpec genPath::String In file: GrammarAction.sv

function deleteStaleData

###### IO ::= iIn::IO genPath::String gram::String In file: GrammarAction.sv

function deleteStaleDataFiles

###### IO ::= iIn::IO path::String files::[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 compileGrammar

###### IOVal<Maybe<RootSpec>> ::= svParser::SVParser sviParser::SVIParser 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 isValidInterface

###### IOVal<Maybe<Integer>> ::= file::String ioin::IO In file: CompileGrammar.sv

function fileTimes

###### IOVal<Integer> ::= dir::String is::[String] i::IO In file: CompileGrammar.sv

function compileGrammars

###### IOVal<[Maybe<RootSpec>]> ::= svParser::SVParser sviParser::SVIParser benv::BuildEnv need::[String] clean::Boolean ioin::IO In file: CompileGrammars.sv

function compileInterface

###### IOVal<ParseResult<IRoot>> ::= sviParser::SVIParser genPath::String ioin::IO In file: CompileInterface.sv

function compileFiles

###### IOVal<Pair<[Root] [ParseError]>> ::= svParser::SVParser gpath::String files::[String] ioin::IO In file: CompileFiles.sv

function cmdLineRun

###### IOVal<Integer> ::= args::[String] svParser::SVParser sviParser::SVIParser ioin::IO In file: BuildProcess.sv

function cmdLineRunInitial

###### IOErrorable<Decorated Compilation> ::= args::[String] svParser::SVParser sviParser::SVIParser 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 sviParser::SVIParser envin::Pair<Decorated CmdArgs BuildEnv> ioin::IO In file: BuildProcess.sv

function buildRun

###### IOVal<Decorated Compilation> ::= svParser::SVParser sviParser::SVIParser 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