[silver:compiler:driver:util]

Contents of [silver:compiler:driver:util]:

Defined in this grammar:

fun writeFiles   (IO<()> ::= path::String s::[(String,String)] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/Util.sv line 18.

Given a path (with terminating /) and list of (file names relative to that root, contents), write these out.

global allowedSilverFileExtensions

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

(Undocumented.)


fun grammarToPath   (String ::= g::String )

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

(Undocumented.)


fun writeBinaryFiles   (IO<()> ::= path::String s::[(String,ByteArray)] )

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

(Undocumented.)


function getProdNt   (String ::= d::ValueDclInfo )

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

(Undocumented.)


synthesized attribute initRecompiledGrammars :: [Decorated RootSpec]

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

(Undocumented.)


nonterminal Compilation

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

(Undocumented.)


synthesized attribute postOps (collection)

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

(Undocumented.)


synthesized attribute grammarList :: [Decorated RootSpec]

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

(Undocumented.)


synthesized attribute allGrammars :: [Decorated RootSpec]

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

(Undocumented.)


abstract production compilation   (top::Compilation ::= g::Grammars r::Grammars buildGrammars::[String] benv::BuildEnv )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/Compilation.sv line 29.

(Undocumented.)


nonterminal Grammars

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/Compilation.sv line 79.

(Undocumented.)


abstract production consGrammars   (top::Grammars ::= h::RootSpec t::Grammars )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/Compilation.sv line 85.

(Undocumented.)


abstract production nilGrammars   (top::Grammars ::= )

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

(Undocumented.)


fun keepGrammars   ([Decorated RootSpec] ::= keep::[String] d::[Decorated RootSpec] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/Compilation.sv line 106.

(Undocumented.)


closed nonterminal DriverAction

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

(Undocumented.)


synthesized attribute order :: Integer

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

(Undocumented.)


fun runAll   (IO<Integer> ::= l::[DriverAction] )

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

(Undocumented.)


fun isExportedBy   (Boolean ::= target::String sources::[String] e::EnvTree<Decorated RootSpec> )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 33.

(Undocumented.)


fun isStrictlyExportedBy   (Boolean ::= target::String sources::[String] e::EnvTree<Decorated RootSpec> )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 38.

(Undocumented.)


function expandExports   ([String] ::= need::[String] seen::[String] e::EnvTree<Decorated RootSpec> )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 51.

(Undocumented.)


function expandAllDeps   ([String] ::= need::[String] seen::[String] e::EnvTree<Decorated RootSpec> )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 74.

(Undocumented.)


fun computeDependencies   ([String] ::= need::[String] e::EnvTree<Decorated RootSpec> )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 96.

(Undocumented.)


function expandCondBuilds   ([String] ::= need::[String] seen::[String] triggers::[[String]] e::EnvTree<Decorated RootSpec> )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 110.

(Undocumented.)


function expandOptionalsIter   ([String] ::= need::[String] seen::[String] e::EnvTree<Decorated RootSpec> )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 134.

(Undocumented.)


function computeOptionalDeps   ([String] ::= init::[String] e::EnvTree<Decorated RootSpec> )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 152.

(Undocumented.)


function completeDependencyClosure   ([String] ::= init::[String] e::EnvTree<Decorated RootSpec> )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 166.

(Undocumented.)


function inductivelyExpand   ([String] ::= initial::[String] rules::[[String]] )

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

(Undocumented.)


fun noninductiveExpansion   ([String] ::= initial::[String] rules::[[String]] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 202.

(Undocumented.)


fun skipNulls   ([b] ::= f::([b] ::= a) l::[a] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/ModuleGraph.sv line 208.

(Undocumented.)


nonterminal RootSpec

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

(Undocumented.)


inherited attribute dependentGrammars :: [(String,String)]

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

(Undocumented.)


monoid attribute dirtyGrammars :: [String]

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 42.

(Undocumented.)


monoid attribute recompiledGrammars :: [Decorated RootSpec]

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

(Undocumented.)


synthesized attribute parsingErrors :: [Pair<String [Message]>]

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

(Undocumented.)


synthesized attribute generateLocation :: String

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 55.

(Undocumented.)


synthesized attribute serInterface :: ByteArray

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 58.

(Undocumented.)


abstract production grammarRootSpec   (top::RootSpec ::= g::Grammar oldInterface::Maybe<InterfaceItems> grammarName::String grammarSource::String grammarTime::Integer generateLocation::String )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 63.

(Undocumented.)


abstract production interfaceRootSpec   (top::RootSpec ::= i::InterfaceItems generateLocation::String )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 155.

(Undocumented.)


abstract production errorRootSpec   (top::RootSpec ::= e::[ParseError] grammarName::String grammarSource::String grammarTime::Integer generateLocation::String )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 183.

(Undocumented.)


fun parseErrorToMessage   (Pair<String [Message]> ::= grammarSource::String e::ParseError )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 203.

(Undocumented.)


monoid attribute maybeGrammarSource :: Maybe<String>

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 215.

(Undocumented.)


monoid attribute maybeGrammarTime :: Maybe<Integer>

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 216.

(Undocumented.)


monoid attribute maybeDeclaredName :: Maybe<String>

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 217.

(Undocumented.)


monoid attribute hasModuleNames :: Boolean

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 218.

(Undocumented.)


monoid attribute hasExportedGrammars :: Boolean

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 219.

(Undocumented.)


monoid attribute hasOptionalGrammars :: Boolean

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 220.

(Undocumented.)


monoid attribute hasCondBuild :: Boolean

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 221.

(Undocumented.)


monoid attribute hasAllGrammarDependencies :: Boolean

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 222.

(Undocumented.)


monoid attribute hasDefs :: Boolean

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 223.

(Undocumented.)


monoid attribute hasOccursDefs :: Boolean

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 224.

(Undocumented.)


monoid attribute interfaceErrors :: [String]

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 226.

(Undocumented.)


nonterminal InterfaceItems

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 226.

(Undocumented.)


abstract production consInterfaceItem   (top::InterfaceItems ::= h::InterfaceItem t::InterfaceItems )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 245.

(Undocumented.)


abstract production nilInterfaceItem   (top::InterfaceItems ::= )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 261.

(Undocumented.)


closed nonterminal InterfaceItem

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 267.

(Undocumented.)


aspect default production top::InterfaceItem ::= {#aspect_default_production_silver:compiler:driver:util:InterfaceItem}

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 278.

(Undocumented.)


abstract production grammarSourceInterfaceItem   (top::InterfaceItem ::= val::String )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 287.

(Undocumented.)


abstract production grammarTimeInterfaceItem   (top::InterfaceItem ::= val::Integer )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 294.

(Undocumented.)


abstract production declaredNameInterfaceItem   (top::InterfaceItem ::= val::String )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 301.

(Undocumented.)


abstract production moduleNamesInterfaceItem   (top::InterfaceItem ::= val::[String] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 308.

(Undocumented.)


abstract production exportedGrammarsInterfaceItem   (top::InterfaceItem ::= val::[String] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 316.

(Undocumented.)


abstract production optionalGrammarsInterfaceItem   (top::InterfaceItem ::= val::[String] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 324.

(Undocumented.)


abstract production condBuildInterfaceItem   (top::InterfaceItem ::= val::[[String]] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 332.

(Undocumented.)


abstract production allDepsInterfaceItem   (top::InterfaceItem ::= val::[String] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 340.

(Undocumented.)


abstract production defsInterfaceItem   (top::InterfaceItem ::= val::[Def] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 348.

(Undocumented.)


abstract production occursDefsInterfaceItem   (top::InterfaceItem ::= val::[OccursDclInfo] )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 356.

(Undocumented.)


function packInterfaceItems   (InterfaceItems ::= r::Decorated RootSpec )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 369.

(Undocumented.)


fun mentionedGrammars   ([String] ::= r::Decorated RootSpec )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 392.

(Undocumented.)


function isOutOfDate   (Boolean ::= mine::Integer l::[String] e::EnvTree<Decorated RootSpec> )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 396.

(Undocumented.)


function writeInterface   (IO<()> ::= silverGen::String r::Decorated RootSpec )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/RootSpec.sv line 415.

(Undocumented.)


data nonterminal BuildEnv

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

(Undocumented.)


annotation silverHome :: String

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

(Undocumented.)


annotation silverGen :: String

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

(Undocumented.)


annotation grammarPath :: [String]

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

(Undocumented.)


annotation silverHostGen :: [String]

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

(Undocumented.)


synthesized attribute defaultSilverGen :: String

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

(Undocumented.)


synthesized attribute defaultGrammarPath :: String

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

(Undocumented.)


abstract production buildEnv   (top::BuildEnv ::= )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/BuildEnv.sv line 23.

(Undocumented.)


function fromArgsAndEnv   (BuildEnv ::= SILVER_HOME::String SILVER_GEN::String GRAMMAR_PATH::[String] SILVER_HOST_GEN::[String] homeArg::[String] genArg::[String] pathArg::[String] )

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

(Undocumented.)


fun endWithSlash   (String ::= s::String )

Contained in grammar [silver:compiler:driver:util]. Defined at silver/compiler/driver/util/BuildEnv.sv line 74.

(Undocumented.)