Minnesota Extensible Language Tools Group

[silver:compiler:definition:flow:ast]

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

Defined in this grammar:

nonterminal DecSiteTree

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 1.

(Undocumented.)

synthesized attribute decSitePP :: String

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 10.

(Undocumented.)

synthesized attribute decSiteAlts :: [DecSiteTree]

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

(Undocumented.)

synthesized attribute decSiteReqs :: [DecSiteTree]

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

(Undocumented.)

inherited attribute maxDepth :: Integer

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 14.

(Undocumented.)

synthesized attribute dbgPP :: String

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

(Undocumented.)

aspect default production top::DecSiteTree ::= {#aspect_default_production_silver:compiler:definition:flow:ast:DecSiteTree}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 17.

(Undocumented.)

abstract production neverDec   (top::DecSiteTree ::= )

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

(Undocumented.)

abstract production alwaysDec   (top::DecSiteTree ::= )

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

(Undocumented.)

abstract production altDec   (top::DecSiteTree ::= d1::DecSiteTree d2::DecSiteTree )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 50.

(Undocumented.)

abstract production bothDec   (top::DecSiteTree ::= d1::DecSiteTree d2::DecSiteTree )

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

(Undocumented.)

abstract production viaProdVertexDec   (top::DecSiteTree ::= prodName::String vt::VertexType d::DecSiteTree )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 73.

(Undocumented.)

abstract production directDec   (top::DecSiteTree ::= prodName::String vt::VertexType )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 86.

(Undocumented.)

abstract production forwardDec   (top::DecSiteTree ::= prodName::String prodAttrName::Maybe<String> )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 99.

(Undocumented.)

abstract production depAttrDec   (top::DecSiteTree ::= attrName::String d::DecSiteTree )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 112.

(Undocumented.)

abstract production projectedDepsDec   (top::DecSiteTree ::= prodName::String sigName::String d::DecSiteTree )

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

(Undocumented.)

abstract production transAttrDec   (top::DecSiteTree ::= attrName::String d::DecSiteTree )

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

(Undocumented.)

fun prettyDecSites   (String ::= nest::Integer d::DecSiteTree )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 142.

(Undocumented.)

instance silver:core:Eq silver:compiler:definition:flow:ast:DecSiteTree {#instance_silver:core:Eq_silver:compiler:definition:flow:ast:DecSiteTree}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 160.

(Undocumented.)

instance silver:core:Eq silver:compiler:definition:flow:ast:DecSiteTree.eq {#instance_silver:core:Eq_silver:compiler:definition:flow:ast:DecSiteTree.eq}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 160.

(Undocumented.)

instance silver:core:Eq silver:compiler:definition:flow:ast:DecSiteTree.neq {#instance_silver:core:Eq_silver:compiler:definition:flow:ast:DecSiteTree.neq}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 160.

(Undocumented.)

instance silver:core:Ord silver:compiler:definition:flow:ast:DecSiteTree {#instance_silver:core:Ord_silver:compiler:definition:flow:ast:DecSiteTree}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 160.

(Undocumented.)

instance silver:core:Ord silver:compiler:definition:flow:ast:DecSiteTree.compare {#instance_silver:core:Ord_silver:compiler:definition:flow:ast:DecSiteTree.compare}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 160.

(Undocumented.)

instance Semiring DecSiteTree

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 162.

(Undocumented.)

instance Semiring DecSiteTree.add

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 163.

(Undocumented.)

instance Semiring DecSiteTree.zero

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 164.

(Undocumented.)

instance Semiring DecSiteTree.mul

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 165.

(Undocumented.)

instance Semiring DecSiteTree.one

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/DecSiteTree.sv line 166.

(Undocumented.)

data nonterminal FlowDef

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 14.

(Undocumented.)

data nonterminal FlowDefs

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

(Undocumented.)

monoid attribute synTreeContribs :: [(String,FlowDef)]

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

(Undocumented.)

monoid attribute inhTreeContribs :: [(String,FlowDef)]

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

(Undocumented.)

monoid attribute defTreeContribs :: [(String,FlowDef)]

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

(Undocumented.)

monoid attribute fwdTreeContribs :: [(String,FlowDef)]

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

(Undocumented.)

monoid attribute fwdInhTreeContribs :: [(String,FlowDef)]

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 36.

(Undocumented.)

monoid attribute localInhTreeContribs :: [(String,FlowDef)]

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

(Undocumented.)

monoid attribute localTreeContribs :: [(String,FlowDef)]

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 43.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 47.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 50.

(Undocumented.)

monoid attribute prodGraphContribs :: [(String,FlowDef)]

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 55.

(Undocumented.)

synthesized attribute flowEdges :: [(FlowVertex,FlowVertex)]

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 59.

(Undocumented.)

synthesized attribute suspectFlowEdges :: [(FlowVertex,FlowVertex)]

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 65.

(Undocumented.)

monoid attribute hostSynTreeContribs :: [(String,FlowDef)]

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

(Undocumented.)

monoid attribute nonSuspectContribs :: [Pair<String [String]>]

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

(Undocumented.)

monoid attribute refPossibleDecSiteContribs :: [(String,VertexType)]

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

(Undocumented.)

monoid attribute refDecSiteContribs :: [(String,VertexType)]

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

(Undocumented.)

monoid attribute sigShareContribs :: [(String,String,VertexType)]

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 81.

(Undocumented.)

abstract production consFlow   (top::FlowDefs ::= h::FlowDef t::FlowDefs )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 96.

(Undocumented.)

abstract production nilFlow   (top::FlowDefs ::= )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 100.

(Undocumented.)

aspect default production top::FlowDef ::= {#aspect_default_production_silver:compiler:definition:flow:ast:FlowDef}

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

(Undocumented.)

abstract production prodFlowDef   (top::FlowDef ::= nt::String prod::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 138.

(Undocumented.)

abstract production implFlowDef   (top::FlowDef ::= dispatchSig::String prod::String sigNames::[String] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 154.

(Undocumented.)

abstract production hostSynFlowDef   (top::FlowDef ::= nt::String attr::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 170.

(Undocumented.)

abstract production defaultSynEq   (top::FlowDef ::= nt::String attr::String deps::[FlowVertex] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 186.

(Undocumented.)

abstract production synEq   (top::FlowDef ::= prod::String attr::String deps::[FlowVertex] mayAffectFlowType::Boolean )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 202.

(Undocumented.)

abstract production inhEq   (top::FlowDef ::= prod::String sigName::String attr::String deps::[FlowVertex] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 221.

(Undocumented.)

abstract production fwdEq   (top::FlowDef ::= prod::String deps::[FlowVertex] mayAffectFlowType::Boolean )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 236.

(Undocumented.)

abstract production implicitFwdAffects   (top::FlowDef ::= prod::String attrs::[String] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 253.

(Undocumented.)

abstract production fwdInhEq   (top::FlowDef ::= prod::String attr::String deps::[FlowVertex] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 269.

(Undocumented.)

abstract production localEq   (top::FlowDef ::= prod::String fName::String typeName::String isNT::Boolean isFwrd::Boolean deps::[FlowVertex] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 289.

(Undocumented.)

abstract production localInhEq   (top::FlowDef ::= prod::String fName::String attr::String deps::[FlowVertex] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 306.

(Undocumented.)

abstract production transInhEq   (top::FlowDef ::= prod::String sigName::String transAttr::String attr::String deps::[FlowVertex] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 324.

(Undocumented.)

abstract production localTransInhEq   (top::FlowDef ::= prod::String fName::String transAttr::String attr::String deps::[FlowVertex] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 342.

(Undocumented.)

abstract production extraEq   (top::FlowDef ::= prod::String src::FlowVertex deps::[FlowVertex] mayAffectFlowType::Boolean )

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

(Undocumented.)

abstract production anonEq   (top::FlowDef ::= prod::String fName::String typeName::String isNT::Boolean loc::Location deps::[FlowVertex] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 377.

(Undocumented.)

abstract production anonInhEq   (top::FlowDef ::= prod::String fName::String attr::String deps::[FlowVertex] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 394.

(Undocumented.)

abstract production synOccursContextEq   (top::FlowDef ::= prod::String vt::VertexType attr::String deps::[String] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 410.

(Undocumented.)

abstract production patternRuleEq   (top::FlowDef ::= prod::String matchProd::String scrutinee::VertexType vars::[PatternVarProjection] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 422.

(Undocumented.)

data nonterminal PatternVarProjection

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 429.

(Undocumented.)

abstract production patternVarProjection   (PatternVarProjection ::= child::String typeName::String patternVar::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 430.

(Undocumented.)

abstract production subtermDecEq   (top::FlowDef ::= prod::String parent::VertexType termProd::String nt::String sigName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 441.

(Undocumented.)

abstract production refDecSiteEq   (top::FlowDef ::= prod::String nt::String ref::VertexType decSite::VertexType alwaysDec::Boolean )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 457.

(Undocumented.)

abstract production sigShareSite   (top::FlowDef ::= prod::String nt::String sigName::String sourceProd::String source::VertexType parent::VertexType )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 476.

(Undocumented.)

fun crossnames   (String ::= a::String b::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 486.

(Undocumented.)

fun collectAnonOrigin   ([Pair<String Location>] ::= f::[FlowDef] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 491.

(Undocumented.)

fun collectAnonOriginItem   ([Pair<String Location>] ::= f::FlowDef rest::[Pair<String Location>] )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Flow.sv line 493.

(Undocumented.)

data nonterminal FlowVertex

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 8.

(Undocumented.)

abstract production lhsSynVertex   (FlowVertex ::= attrName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 14.

(Undocumented.)

abstract production lhsInhVertex   (FlowVertex ::= attrName::String )

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

(Undocumented.)

abstract production rhsSynVertex   (FlowVertex ::= sigName::String attrName::String )

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

(Undocumented.)

abstract production rhsInhVertex   (FlowVertex ::= sigName::String attrName::String )

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

(Undocumented.)

abstract production localEqVertex   (FlowVertex ::= fName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 50.

(Undocumented.)

abstract production localSynVertex   (FlowVertex ::= fName::String attrName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 60.

(Undocumented.)

abstract production localInhVertex   (FlowVertex ::= fName::String attrName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 70.

(Undocumented.)

abstract production anonEqVertex   (FlowVertex ::= fName::String )

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

(Undocumented.)

abstract production anonSynVertex   (FlowVertex ::= fName::String attrName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 87.

(Undocumented.)

abstract production anonInhVertex   (FlowVertex ::= fName::String attrName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 96.

(Undocumented.)

abstract production subtermSynVertex   (FlowVertex ::= parent::VertexType prodName::String sigName::String attrName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 108.

(Undocumented.)

abstract production subtermInhVertex   (FlowVertex ::= parent::VertexType prodName::String sigName::String attrName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 120.

(Undocumented.)

instance silver:core:Eq silver:compiler:definition:flow:ast:FlowVertex {#instance_silver:core:Eq_silver:compiler:definition:flow:ast:FlowVertex}

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

(Undocumented.)

instance silver:core:Eq silver:compiler:definition:flow:ast:FlowVertex.eq {#instance_silver:core:Eq_silver:compiler:definition:flow:ast:FlowVertex.eq}

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

(Undocumented.)

instance silver:core:Eq silver:compiler:definition:flow:ast:FlowVertex.neq {#instance_silver:core:Eq_silver:compiler:definition:flow:ast:FlowVertex.neq}

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

(Undocumented.)

instance silver:core:Ord silver:compiler:definition:flow:ast:FlowVertex {#instance_silver:core:Ord_silver:compiler:definition:flow:ast:FlowVertex}

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

(Undocumented.)

instance silver:core:Ord silver:compiler:definition:flow:ast:FlowVertex.compare {#instance_silver:core:Ord_silver:compiler:definition:flow:ast:FlowVertex.compare}

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

(Undocumented.)

fun forwardEqVertex   (FlowVertex ::= )

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

(Undocumented.)

fun forwardSynVertex   (FlowVertex ::= attrName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/Vertex.sv line 130.

(Undocumented.)

fun forwardInhVertex   (FlowVertex ::= attrName::String )

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

(Undocumented.)

fun forwardParentSynVertex   (FlowVertex ::= attrName::String )

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

(Undocumented.)

data nonterminal VertexType

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 10.

(Undocumented.)

instance silver:core:Eq silver:compiler:definition:flow:ast:VertexType {#instance_silver:core:Eq_silver:compiler:definition:flow:ast:VertexType}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 13.

(Undocumented.)

instance silver:core:Eq silver:compiler:definition:flow:ast:VertexType.eq {#instance_silver:core:Eq_silver:compiler:definition:flow:ast:VertexType.eq}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 13.

(Undocumented.)

instance silver:core:Eq silver:compiler:definition:flow:ast:VertexType.neq {#instance_silver:core:Eq_silver:compiler:definition:flow:ast:VertexType.neq}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 13.

(Undocumented.)

instance silver:core:Ord silver:compiler:definition:flow:ast:VertexType {#instance_silver:core:Ord_silver:compiler:definition:flow:ast:VertexType}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 13.

(Undocumented.)

instance silver:core:Ord silver:compiler:definition:flow:ast:VertexType.compare {#instance_silver:core:Ord_silver:compiler:definition:flow:ast:VertexType.compare}

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 13.

(Undocumented.)

synthesized attribute vertexName :: String

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

(Undocumented.)

synthesized attribute vertexPP :: String

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

(Undocumented.)

synthesized attribute isInhDefVertex :: Boolean

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 17.

(Undocumented.)

synthesized attribute synVertex :: (FlowVertex ::= String)

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

(Undocumented.)

synthesized attribute inhVertex :: (FlowVertex ::= String)

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

(Undocumented.)

synthesized attribute fwdVertex :: FlowVertex

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

(Undocumented.)

synthesized attribute eqVertex :: [FlowVertex]

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

(Undocumented.)

global lhsVertexType

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

(Undocumented.)

global forwardVertexType

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

(Undocumented.)

global forwardEqVertex_singleton

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

(Undocumented.)

abstract production lhsVertexType_real   (top::VertexType ::= )

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

(Undocumented.)

abstract production rhsVertexType   (top::VertexType ::= sigName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 55.

(Undocumented.)

abstract production localVertexType   (top::VertexType ::= fName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 70.

(Undocumented.)

abstract production transAttrVertexType   (top::VertexType ::= v::VertexType transAttr::String )

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

(Undocumented.)

abstract production forwardVertexType_real   (top::VertexType ::= )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 100.

(Undocumented.)

abstract production forwardParentVertexType   (top::VertexType ::= )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 112.

(Undocumented.)

abstract production anonVertexType   (top::VertexType ::= x::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 129.

(Undocumented.)

abstract production subtermVertexType   (top::VertexType ::= parent::VertexType prodName::String sigName::String )

Contained in grammar [silver:compiler:definition:flow:ast]. Defined at silver/compiler/definition/flow/ast/VertexType.sv line 144.

(Undocumented.)