Minnesota Extensible Language Tools Group

[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.

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 25.

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

synthesized attribute initRecompiledGrammars :: [String]

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

(Undocumented.)

synthesized attribute initDirtyGrammars :: [String]

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

(Undocumented.)

data nonterminal Compilation

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

(Undocumented.)

synthesized attribute postOps (collection)

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

(Undocumented.)

synthesized attribute grammarList :: [Decorated RootSpec]

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

(Undocumented.)

synthesized attribute reGrammarList :: [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] a::Decorated CmdArgs benv::BuildEnv )

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

(Undocumented.)

nonterminal Grammars

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

(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 98.

(Undocumented.)

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

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

(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 119.

(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.)

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

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

(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 14.

(Undocumented.)

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

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

(Undocumented.)

synthesized attribute grammarTime :: Integer

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

(Undocumented.)

synthesized attribute interfaceTime :: Integer

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

(Undocumented.)

monoid attribute dirtyGrammars :: [String]

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

(Undocumented.)

monoid attribute recompiledGrammars :: [Decorated RootSpec]

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

(Undocumented.)

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

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

(Undocumented.)

synthesized attribute generateLocation :: Maybe<String>

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

(Undocumented.)

synthesized attribute jarSource :: Maybe<String>

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

(Undocumented.)

synthesized attribute serInterface :: Maybe<ByteArray>

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

(Undocumented.)

monoid attribute includedJars :: [String]

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

(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 82.

(Undocumented.)

abstract production interfaceRootSpec   (top::RootSpec ::= i::InterfaceItems generateLocation::Maybe<String> jarSource::Maybe<String> )

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

(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 229.

(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 251.

(Undocumented.)

monoid attribute maybeGrammarSource :: Maybe<String>

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

(Undocumented.)

monoid attribute maybeGrammarTime :: Maybe<Integer>

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

(Undocumented.)

monoid attribute maybeInterfaceTime :: Maybe<Integer>

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

(Undocumented.)

monoid attribute maybeDeclaredName :: Maybe<String>

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

(Undocumented.)

monoid attribute hasModuleNames :: Boolean

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

(Undocumented.)

monoid attribute hasExportedGrammars :: Boolean

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

(Undocumented.)

monoid attribute hasOptionalGrammars :: Boolean

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

(Undocumented.)

monoid attribute hasCondBuild :: Boolean

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

(Undocumented.)

monoid attribute hasAllGrammarDependencies :: Boolean

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

(Undocumented.)

monoid attribute hasDefs :: Boolean

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

(Undocumented.)

monoid attribute hasOccursDefs :: Boolean

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

(Undocumented.)

monoid attribute interfaceErrors :: [String]

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

(Undocumented.)

nonterminal InterfaceItems

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

(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 294.

(Undocumented.)

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

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

(Undocumented.)

closed nonterminal InterfaceItem

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

(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 328.

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

(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 459.

(Undocumented.)

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.)