Minnesota Extensible Language Tools Group

[silver:compiler:extension:doc:driver]

Contents of [silver:compiler:extension:doc:driver]:

Defined in this grammar:

synthesized attribute docGeneration :: Boolean

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 11.

(Undocumented.)

synthesized attribute printUndoc :: Boolean

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 12.

(Undocumented.)

synthesized attribute countUndoc :: Boolean

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 13.

(Undocumented.)

synthesized attribute parseDocs :: Boolean

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

(Undocumented.)

synthesized attribute docOutOption :: Maybe<String>

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 15.

(Undocumented.)

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

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 27.

(Undocumented.)

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

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 35.

(Undocumented.)

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

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 43.

(Undocumented.)

abstract production docOutFlag   (top::CmdArgs ::= loc::String rest::CmdArgs )

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 51.

(Undocumented.)

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

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 90.

(Undocumented.)

abstract production genDoc   (top::DriverAction ::= a::Decorated CmdArgs specs::[Decorated RootSpec] outputLoc::String )

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 112.

(Undocumented.)

function writeSpec   (IO<()> ::= r::Decorated RootSpec outputLoc::String )

Contained in grammar [silver:compiler:extension:doc:driver]. Defined at silver/compiler/extension/doc/driver/BuildProcess.sv line 123.

(Undocumented.)