Minnesota Extensible Language Tools Group

[silver:compiler:analysis:warnings:flow]

Contents of [silver:compiler:analysis:warnings:flow]:

Defined in this grammar:

synthesized attribute warnMissingSyn :: Boolean

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/MissingSynEq.sv line 3.

(Undocumented.)

abstract production warnMissingSynFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/MissingSynEq.sv line 10.

(Undocumented.)

function raiseMissingProds   ([Message] ::= config::Decorated CmdArgs attr::String prod::String e::FlowEnv )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/MissingSynEq.sv line 65.

(Undocumented.)

function raiseMissingAttrs   ([Message] ::= config::Decorated CmdArgs prod::String nt::String attr::String e::FlowEnv )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/MissingSynEq.sv line 111.

(Undocumented.)

fun isForwardProdAttr   (Boolean ::= a::String e::Env )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/MWDA.sv line 35.

(Undocumented.)

synthesized attribute warnMissingInh :: Boolean

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 5.

(Undocumented.)

abstract production warnMissingInhFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 12.

(Undocumented.)

function sigAttrViaReference   (Boolean ::= sigName::String attrName::String ns::NamedSignature e::Env )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 55.

(Undocumented.)

function localAttrViaReference   (Boolean ::= sigName::String attrName::String e::Env )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 68.

(Undocumented.)

function checkEqDeps   ([Message] ::= v::FlowVertex config::Decorated CmdArgs prodName::String flowEnv::FlowEnv realEnv::Env anonResolve::[Pair<String Location>] )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 99.

(Undocumented.)

fun checkAllEqDeps   ([Message] ::= v::[FlowVertex] config::Decorated CmdArgs prodName::String flowEnv::FlowEnv realEnv::Env anonResolve::[Pair<String Location>] )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 175.

(Undocumented.)

function inhDepsForSynOnType   ((Maybe<set:Set<String>>,[TyVar]) ::= syn::String t::Type flow::EnvTree<FlowType> ns::NamedSignature env::Env )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 189.

(Undocumented.)

synthesized attribute lhsUniqueRefs :: [UniqueRefSite]

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 311.

(Undocumented.)

synthesized attribute refDecSiteInhDeps :: Maybe<[FlowVertex]>

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 314.

(Undocumented.)

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

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 318.

(Undocumented.)

fun toAnonInhs   ([String] ::= vs::[FlowVertex] vertex::String )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 968.

(Undocumented.)

inherited attribute receivedDeps :: [FlowVertex]

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 975.

(Undocumented.)

fun remoteProdMissingInhEq   (Boolean ::= prodName::String sigName::String attrName::String flowEnv::FlowEnv )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 1010.

(Undocumented.)

fun lookupAllDecSites   ([(String,VertexType)] ::= prodName::String vt::VertexType flowEnv::FlowEnv )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 1016.

(Undocumented.)

fun vertexHasInhEq   (Boolean ::= prodName::String vt::VertexType attrName::String flowEnv::FlowEnv )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/Inh.sv line 1035.

(Undocumented.)

synthesized attribute warnEqdef :: Boolean

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/OrphanedEquation.sv line 6.

(Undocumented.)

abstract production warnEqdefFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/OrphanedEquation.sv line 13.

(Undocumented.)

synthesized attribute lookupEqDefLHS :: [FlowDef]

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/OrphanedEquation.sv line 155.

(Undocumented.)

synthesized attribute warnFwd :: Boolean

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/OrphanedProduction.sv line 3.

(Undocumented.)

abstract production warnFwdFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/OrphanedProduction.sv line 10.

(Undocumented.)

function raiseImplicitFwdEqFlowTypes   ([Message] ::= config::Decorated CmdArgs lhsNt::String prod::String attr::String e::FlowEnv myGraph::ProductionGraph myFlow::EnvTree<FlowType> )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/FlowTypeCopyEquation.sv line 39.

(Undocumented.)

synthesized attribute errorMwda :: Boolean

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/MwdaFlag.sv line 3.

(Undocumented.)

abstract production mwdaFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/MwdaFlag.sv line 10.

(Undocumented.)

fun mwdaWrn   (Message ::= config::Decorated CmdArgs l::Location m::String )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/MwdaFlag.sv line 42.

(Undocumented.)

fun mwdaWrnFromOrigin   (attribute config occurs on a => Message ::= a::Decorated a with {config} m::String )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/MwdaFlag.sv line 47.

(Undocumented.)

fun mwdaWrnAmbientOrigin   (Message ::= config::Decorated CmdArgs m::String )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/MwdaFlag.sv line 52.

(Undocumented.)

synthesized attribute warnOrphaned :: Boolean

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/OrphanedOccurs.sv line 3.

(Undocumented.)

abstract production warnOrphanedFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:analysis:warnings:flow]. Defined at silver/compiler/analysis/warnings/flow/OrphanedOccurs.sv line 10.

(Undocumented.)