Minnesota Extensible Language Tools Group

[silver:compiler:definition:flow:env]

Contents of [silver:compiler:definition:flow:env]:

Defined in this grammar:

monoid attribute flowDeps :: [FlowVertex]

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/Expr.sv line 20.

(Undocumented.)

synthesized attribute flowVertexInfo :: Maybe<VertexType>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/Expr.sv line 34.

(Undocumented.)

inherited attribute decSiteVertexInfo :: Maybe<VertexType>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/Expr.sv line 40.

(Undocumented.)

inherited attribute alwaysDecorated :: Boolean

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/Expr.sv line 52.

(Undocumented.)

aspect default production top::Expr ::= {#aspect_default_production_silver:compiler:definition:core:Expr}

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/Expr.sv line 68.

(Undocumented.)

inherited attribute appProd :: Maybe<NamedSignature>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/Expr.sv line 173.

(Undocumented.)

inherited attribute decorationVertex :: String

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/Expr.sv line 421.

(Undocumented.)

inherited attribute scrutineeVertexType :: VertexType

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/Expr.sv line 533.

(Undocumented.)

function isAffectable   (Boolean ::= prodgram::String ntgram::String cg::EnvTree<Decorated RootSpec> d::OccursDclInfo )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/ProductionBody.sv line 27.

(Undocumented.)

synthesized attribute defLHSVertex :: VertexType

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/ProductionBody.sv line 128.

(Undocumented.)

synthesized attribute defLHSInhEq :: [(FlowDef ::= [FlowVertex])]

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/ProductionBody.sv line 131.

(Undocumented.)

synthesized attribute inhAttrName :: String

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/ProductionBody.sv line 134.

(Undocumented.)

aspect default production top::DefLHS ::= {#aspect_default_production_silver:compiler:definition:core:DefLHS}

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/ProductionBody.sv line 136.

(Undocumented.)

function hackGramFromFName   (String ::= s::String )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/ProductionBody.sv line 347.

(Undocumented.)

fun hackGramFromDcl   (String ::= qn::Decorated QNameAttrOccur )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/ProductionBody.sv line 355.

(Undocumented.)

fun hackGramFromQName   (String ::= qn::QNameLookup<ValueDclInfo> )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/ProductionBody.sv line 358.

(Undocumented.)

inherited attribute flowEnv :: FlowEnv

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 11.

(Undocumented.)

monoid attribute flowDefs :: [FlowDef]

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 12.

(Undocumented.)

monoid attribute specDefs :: [(String,String,[String],[String])]

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 15.

(Undocumented.)

monoid attribute refDefs :: [(String,[String])]

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 16.

(Undocumented.)

data nonterminal FlowEnv

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 18.

(Undocumented.)

synthesized attribute synTree :: EnvTree<FlowDef>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 20.

(Undocumented.)

synthesized attribute inhTree :: EnvTree<FlowDef>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 21.

(Undocumented.)

synthesized attribute defTree :: EnvTree<FlowDef>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 22.

(Undocumented.)

synthesized attribute fwdTree :: EnvTree<FlowDef>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 23.

(Undocumented.)

synthesized attribute fwdInhTree :: EnvTree<FlowDef>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 24.

(Undocumented.)

synthesized attribute prodTree :: EnvTree<FlowDef>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 25.

(Undocumented.)

synthesized attribute refTree :: EnvTree<[String]>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 26.

(Undocumented.)

synthesized attribute uniqueRefTree :: EnvTree<UniqueRefSite>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 27.

(Undocumented.)

synthesized attribute refPossibleDecSiteTree :: EnvTree<VertexType>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 28.

(Undocumented.)

synthesized attribute refDecSiteTree :: EnvTree<VertexType>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 29.

(Undocumented.)

synthesized attribute localInhTree :: EnvTree<FlowDef>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 30.

(Undocumented.)

synthesized attribute localTree :: EnvTree<FlowDef>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 31.

(Undocumented.)

synthesized attribute nonSuspectTree :: EnvTree<[String]>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 32.

(Undocumented.)

synthesized attribute hostSynTree :: EnvTree<FlowDef>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 33.

(Undocumented.)

synthesized attribute specTree :: EnvTree<(String,[String],[String])>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 34.

(Undocumented.)

synthesized attribute prodGraphTree :: EnvTree<FlowDef>

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 35.

(Undocumented.)

abstract production flowEnv   (top::FlowEnv ::= specContribs::[(String,String,[String],[String])] refContribs::[(String,[String])] uniqueRefContribs::[(String,UniqueRefSite)] d::FlowDefs )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 37.

(Undocumented.)

fun lookupSyn   ([FlowDef] ::= prod::String attr::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 63.

(Undocumented.)

fun lookupInh   ([FlowDef] ::= prod::String sigName::String attr::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 67.

(Undocumented.)

fun lookupDef   ([FlowDef] ::= nt::String attr::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 71.

(Undocumented.)

fun lookupFwd   ([FlowDef] ::= prod::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 75.

(Undocumented.)

fun lookupFwdInh   ([FlowDef] ::= prod::String attr::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 78.

(Undocumented.)

fun lookupLocalInh   ([FlowDef] ::= prod::String fName::String attr::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 82.

(Undocumented.)

fun lookupLocalEq   ([FlowDef] ::= prod::String fName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 85.

(Undocumented.)

fun lookupUniqueRefs   ([UniqueRefSite] ::= prod::String sigName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 89.

(Undocumented.)

fun lookupLocalUniqueRefs   ([UniqueRefSite] ::= fName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 93.

(Undocumented.)

fun lookupTransUniqueRefs   ([UniqueRefSite] ::= prod::String sigName::String attrName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 97.

(Undocumented.)

fun lookupLocalTransUniqueRefs   ([UniqueRefSite] ::= fName::String attrName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 102.

(Undocumented.)

fun lookupRefPossibleDecSites   ([VertexType] ::= prod::String sigName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 106.

(Undocumented.)

fun lookupLocalRefPossibleDecSites   ([VertexType] ::= fName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 110.

(Undocumented.)

fun lookupTransRefPossibleDecSites   ([VertexType] ::= prod::String sigName::String attrName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 114.

(Undocumented.)

fun lookupLocalTransRefPossibleDecSites   ([VertexType] ::= fName::String attrName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 119.

(Undocumented.)

fun lookupRefDecSite   ([VertexType] ::= prod::String sigName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 123.

(Undocumented.)

fun lookupLocalRefDecSite   ([VertexType] ::= fName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 127.

(Undocumented.)

fun lookupTransRefDecSite   ([VertexType] ::= prod::String sigName::String attrName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 131.

(Undocumented.)

fun lookupLocalTransRefDecSite   ([VertexType] ::= fName::String attrName::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 136.

(Undocumented.)

fun isEquationMissing   (Boolean ::= f::([FlowDef] ::= String) attr::String )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 147.

(Undocumented.)

fun getInhsForNtRef   ([[String]] ::= nt::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 150.

(Undocumented.)

fun getNonSuspectAttrsForProd   ([String] ::= prod::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 153.

(Undocumented.)

function getNonforwardingProds   ([String] ::= nt::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 157.

(Undocumented.)

function getHostSynsFor   ([String] ::= nt::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 167.

(Undocumented.)

fun getSpecifiedSynsForNt   ([String] ::= nt::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 177.

(Undocumented.)

fun getFlowTypeSpecFor   ([(String,[String],[String])] ::= nt::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 179.

(Undocumented.)

fun getGraphContribsFor   ([FlowDef] ::= prod::String e::FlowEnv )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 182.

(Undocumented.)

monoid attribute occursContextInhDeps :: [(String,String,[String])]

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 185.

(Undocumented.)

monoid attribute occursContextInhSetDeps :: [(String,String,[TyVar])]

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 187.

(Undocumented.)

aspect default production top::Context ::= {#aspect_default_production_silver:compiler:definition:type:Context}

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 191.

(Undocumented.)

function occursContextDeps   ([FlowDef] ::= ns::NamedSignature env::Env t::Type vt::VertexType )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 210.

(Undocumented.)

function splitTransAttrInh   (Maybe<(String,String)> ::= attr::String )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/FlowEnv.sv line 220.

(Undocumented.)

monoid attribute hasFlowDefs :: Boolean

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/RootSpec.sv line 5.

(Undocumented.)

monoid attribute hasRefDefs :: Boolean

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/RootSpec.sv line 6.

(Undocumented.)

monoid attribute hasSpecDefs :: Boolean

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/RootSpec.sv line 7.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/RootSpec.sv line 20.

(Undocumented.)

abstract production flowDefsInterfaceItem   (top::InterfaceItem ::= val::[FlowDef] )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/RootSpec.sv line 26.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/RootSpec.sv line 40.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/RootSpec.sv line 48.

(Undocumented.)

aspect default production top::AGDcl ::= {#aspect_default_production_silver:compiler:definition:core:AGDcl}

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/Root.sv line 16.

(Undocumented.)

function getInhAttrsOnForReferences   ([String] ::= nt::String e::Env authority::(Boolean ::= String) )

Contained in grammar [silver:compiler:definition:flow:env]. Defined at silver/compiler/definition/flow/env/NonterminalDcl.sv line 29.

(Undocumented.)