Minnesota Extensible Language Tools Group

[silver:compiler:analysis:uniqueness]

Contents of [silver:compiler:analysis:uniqueness]:

Defined in this grammar:

synthesized attribute accessUniqueRefs :: [(String,UniqueRefSite)]

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/Expr.sv line 14.

(Undocumented.)

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

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/Expr.sv line 16.

(Undocumented.)

inherited attribute isNtUniquenessPreserving :: Boolean

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/Expr.sv line 152.

(Undocumented.)

monoid attribute appExprUniquenessErrors :: [Message]

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/Expr.sv line 155.

(Undocumented.)

monoid attribute uniqueRefs :: [(String,UniqueRefSite)]

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/UniqueRefSite.sv line 4.

(Undocumented.)

nonterminal UniqueRefSite

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/UniqueRefSite.sv line 4.

(Undocumented.)

annotation refSet :: [String]

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/UniqueRefSite.sv line 17.

(Undocumented.)

annotation refFlowDeps :: [FlowVertex]

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/UniqueRefSite.sv line 20.

(Undocumented.)

abstract production uniqueRefSite   (top::UniqueRefSite ::= )

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/UniqueRefSite.sv line 22.

(Undocumented.)

fun unionMutuallyExclusiveRefs   ([(String,UniqueRefSite)] ::= rs1::[(String,UniqueRefSite)] rs2::[(String,UniqueRefSite)] )

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/UniqueRefSite.sv line 27.

(Undocumented.)

instance Eq UniqueRefSite

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/UniqueRefSite.sv line 33.

(Undocumented.)

instance Eq UniqueRefSite.eq

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/UniqueRefSite.sv line 34.

(Undocumented.)

global uniqueContextErrors

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/UniqueRefSite.sv line 37.

(Undocumented.)

monoid attribute hasUniqueRefs :: Boolean

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/RootSpec.sv line 3.

(Undocumented.)

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

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/RootSpec.sv line 14.

(Undocumented.)

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

Contained in grammar [silver:compiler:analysis:uniqueness]. Defined at silver/compiler/analysis/uniqueness/RootSpec.sv line 20.

(Undocumented.)