Minnesota Extensible Language Tools Group

[silver:compiler:definition:flow:ast]

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

Defined in this grammar:

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 synVertex :: (FlowVertex ::= String)

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

(Undocumented.)

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

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

(Undocumented.)

synthesized attribute fwdVertex :: FlowVertex

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

(Undocumented.)

synthesized attribute eqVertex :: [FlowVertex]

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

(Undocumented.)

global lhsVertexType

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

(Undocumented.)

global forwardVertexType

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

(Undocumented.)

global forwardEqVertex_singleton

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

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

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

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

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

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

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

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

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

data nonterminal FlowDef

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

(Undocumented.)

data nonterminal FlowDefs

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

(Undocumented.)

monoid attribute synTreeContribs :: [Pair<String FlowDef>]

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

(Undocumented.)

monoid attribute inhTreeContribs :: [Pair<String FlowDef>]

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

(Undocumented.)

monoid attribute defTreeContribs :: [Pair<String FlowDef>]

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

(Undocumented.)

monoid attribute fwdTreeContribs :: [Pair<String FlowDef>]

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

(Undocumented.)

monoid attribute fwdInhTreeContribs :: [Pair<String FlowDef>]

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

(Undocumented.)

monoid attribute localInhTreeContribs :: [Pair<String FlowDef>]

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

(Undocumented.)

monoid attribute localTreeContribs :: [Pair<String FlowDef>]

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

(Undocumented.)

monoid attribute prodTreeContribs :: [Pair<String FlowDef>]

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

(Undocumented.)

monoid attribute prodGraphContribs :: [Pair<String FlowDef>]

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

(Undocumented.)

synthesized attribute flowEdges :: [Pair<FlowVertex FlowVertex>]

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

(Undocumented.)

synthesized attribute suspectFlowEdges :: [Pair<FlowVertex FlowVertex>]

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

(Undocumented.)

monoid attribute hostSynTreeContribs :: [Pair<String FlowDef>]

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

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

(Undocumented.)

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

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

(Undocumented.)

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

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

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

(Undocumented.)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(Undocumented.)

data nonterminal PatternVarProjection

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

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

(Undocumented.)

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

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

(Undocumented.)

abstract production childRefDecSiteEq   (top::FlowDef ::= prod::String sigName::String alwaysDec::Boolean decSite::VertexType attrs::[String] )

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

(Undocumented.)

abstract production localRefDecSiteEq   (top::FlowDef ::= prod::String fName::String alwaysDec::Boolean decSite::VertexType attrs::[String] )

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

(Undocumented.)

abstract production childTransRefDecSiteEq   (top::FlowDef ::= prod::String sigName::String transAttr::String alwaysDec::Boolean decSite::VertexType attrs::[String] )

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

(Undocumented.)

abstract production localTransRefDecSiteEq   (top::FlowDef ::= prod::String fName::String transAttr::String alwaysDec::Boolean decSite::VertexType attrs::[String] )

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

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

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

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

(Undocumented.)