[silver:compiler:definition:flow:driver]
Contents of [silver:compiler:definition:flow:driver]
:
Defined in this grammar:
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 9.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 16.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 47.
(Undocumented.)
abstract production dumpFlowGraphAction
(top::DriverAction ::= prodGraph::[ProductionGraph] finalGraph::[ProductionGraph] flowTypes::[Pair<String [FlowType]>]
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 62.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 77.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 91.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 93.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 99.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 102.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 114.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/DumpGraph.sv line 122.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 3.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 5.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 12.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 19.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 28.
(Undocumented.)
function expandSuspectEdges
(set:Set<FlowVertex> ::= todolist::[FlowVertex] current::set:Set<FlowVertex> p::ProductionGraph
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 32.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 53.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 58.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 64.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 66.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 69.
(Undocumented.)
fun repairClosure
(g:Graph<FlowVertex> ::= newEdges::[(FlowVertex,FlowVertex)] graph::g:Graph<FlowVertex>
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowGraph.sv line 73.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 15.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 16.
(Undocumented.)
function computeInitialFlowTypes
(EnvTree<FlowType> ::= specDefs::[(String,String,[String],[String])]
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 19.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 31.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 33.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 34.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 35.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 38.
(Undocumented.)
fun runFlowTypeInference
((EnvTree<ProductionGraph>,EnvTree<FlowType>) ::= graphs::[ProductionGraph] ntEnv::EnvTree<FlowType>
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 41.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 48.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 54.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 75.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 92.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 105.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 112.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 120.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/FlowTypes.sv line 130.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 5.
(Undocumented.)
synthesized attribute stitchedGraph :: (Maybe<ProductionGraph> ::= EnvTree<FlowType> EnvTree<ProductionGraph>)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 13.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 17.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 21.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 22.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 24.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 27.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 29.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 31.
(Undocumented.)
abstract production productionGraph
(top::ProductionGraph ::= prod::String lhsNt::String flowTypeVertexes::[FlowVertex] graph::g:Graph<FlowVertex> suspectEdges::[(FlowVertex,FlowVertex)] stitchPoints::[StitchPoint]
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 48.
(Undocumented.)
fun updateGraph
(Maybe<ProductionGraph> ::= graph::ProductionGraph prodEnv::EnvTree<ProductionGraph> ntEnv::EnvTree<FlowType>
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 91.
(Undocumented.)
function constructProductionGraph
(ProductionGraph ::= dcl::ValueDclInfo flowEnv::FlowEnv realEnv::Env
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 141.
(Undocumented.)
function constructFunctionGraph
(ProductionGraph ::= ns::NamedSignature flowEnv::FlowEnv realEnv::Env prodEnv::EnvTree<ProductionGraph> ntEnv::EnvTree<FlowType>
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 229.
(Undocumented.)
function constructAnonymousGraph
(ProductionGraph ::= defs::[FlowDef] realEnv::Env prodEnv::EnvTree<ProductionGraph> ntEnv::EnvTree<FlowType>
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 272.
(Undocumented.)
function constructDefaultProductionGraph
([ProductionGraph] ::= nt::NtName flowEnv::FlowEnv realEnv::Env
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 307.
(Undocumented.)
function constructPhantomProductionGraph
([ProductionGraph] ::= nt::String flowEnv::FlowEnv realEnv::Env
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 354.
(Undocumented.)
function constructDispatchGraph
(ProductionGraph ::= ns::NamedSignature flowEnv::FlowEnv realEnv::Env
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 390.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 411.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 420.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 430.
(Undocumented.)
fun addFwdProdAttrInhEqs
([(FlowVertex,FlowVertex)] ::= prod::ProdName fName::String inhs::[String] flowEnv::FlowEnv
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 438.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 443.
(Undocumented.)
fun addDefEqs
([(FlowVertex,FlowVertex)] ::= prod::ProdName nt::NtName syns::[String] flowEnv::FlowEnv
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 452.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 464.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 488.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 500.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 512.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 521.
(Undocumented.)
fun patVarStitchPoints
([StitchPoint] ::= matchProd::String scrutinee::VertexType realEnv::Env var::PatternVarProjection
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 529.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 538.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 549.
(Undocumented.)
fun implementedSigStitchPoints
([StitchPoint] ::= realEnv::Env ie::NamedSignatureElement prod::String se::NamedSignatureElement
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 560.
(Undocumented.)
fun dispatchStitchPoints
([StitchPoint] ::= flowEnv::FlowEnv realEnv::Env dispatch::NamedSignature defs::[FlowDef]
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 568.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 589.
(Undocumented.)
function findAdmissibleEdges
([(FlowVertex,FlowVertex)] ::= edge::(FlowVertex,FlowVertex) graph::g:Graph<FlowVertex> ft::FlowType
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/ProductionGraph.sv line 622.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/StitchPoint.sv line 3.
(Undocumented.)
synthesized attribute stitchEdges :: ([(FlowVertex,FlowVertex)] ::= EnvTree<FlowType> EnvTree<ProductionGraph>)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/StitchPoint.sv line 5.
(Undocumented.)
abstract production nonterminalStitchPoint
(top::StitchPoint ::= nt::String vertexType::VertexType
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/StitchPoint.sv line 11.
(Undocumented.)
abstract production projectionStitchPoint
(top::StitchPoint ::= prod::String sourceType::VertexType targetType::VertexType prodType::VertexType attrs::[String]
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/StitchPoint.sv line 40.
(Undocumented.)
fun projectAttribute
([(FlowVertex,FlowVertex)] ::= attr::String sourceType::VertexType targetType::VertexType prodType::VertexType prod::ProductionGraph
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/StitchPoint.sv line 63.
(Undocumented.)
fun stitchEdgesFor
([(FlowVertex,FlowVertex)] ::= sp::StitchPoint ntEnv::EnvTree<FlowType> prodEnv::EnvTree<ProductionGraph>
)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/StitchPoint.sv line 80.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/StitchPoint.sv line 84.
(Undocumented.)
Contained in grammar [silver:compiler:definition:flow:driver]
. Defined at silver/compiler/definition/flow/driver/StitchPoint.sv line 94.
(Undocumented.)