Minnesota Extensible Language Tools Group

[silver:compiler:refactor]

Contents of [silver:compiler:refactor]:

Defined in this grammar:

monoid attribute transformed

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/Transforms.sv line 3.

(Undocumented.)

monoid attribute transforms :: Strategy

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/Transforms.sv line 16.

(Undocumented.)

synthesized attribute doRefactor :: Boolean

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/BuildProcess.sv line 5.

(Undocumented.)

synthesized attribute refactorGrammars :: [String]

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/BuildProcess.sv line 6.

(Undocumented.)

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

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/BuildProcess.sv line 14.

(Undocumented.)

abstract production refactorGrammarsFlag   (top::CmdArgs ::= s::String rest::CmdArgs )

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/BuildProcess.sv line 23.

(Undocumented.)

abstract production doRefactor   (top::DriverAction ::= a::Decorated CmdArgs specs::[Decorated RootSpec] )

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/BuildProcess.sv line 58.

(Undocumented.)

fun refactorSpec   (IO<()> ::= r::Decorated RootSpec )

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/BuildProcess.sv line 69.

(Undocumented.)

monoid attribute transformedFiles :: [(String,Root)]

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/BuildProcess.sv line 83.

(Undocumented.)

synthesized attribute refactorConciseFunctions :: Boolean

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/ConciseFunctions.sv line 3.

(Undocumented.)

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

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/ConciseFunctions.sv line 10.

(Undocumented.)

monoid attribute hasImplicitDec :: Boolean

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/ConciseFunctions.sv line 50.

(Undocumented.)

synthesized attribute refactorExplicitNew :: Boolean

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/ExplicitNew.sv line 3.

(Undocumented.)

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

Contained in grammar [silver:compiler:refactor]. Defined at silver/compiler/refactor/ExplicitNew.sv line 10.

(Undocumented.)