[silver:regex]

Contents of [silver:regex]:

Defined in this grammar:

synthesized attribute nullable :: Boolean

Contained in grammar [silver:regex]. Defined at silver/regex/Matching.sv line 3.

(Undocumented.)


inherited attribute wrt :: Integer

Contained in grammar [silver:regex]. Defined at silver/regex/Matching.sv line 5.

(Undocumented.)


synthesized attribute deriv :: Regex

Contained in grammar [silver:regex]. Defined at silver/regex/Matching.sv line 6.

(Undocumented.)


function matchStep   (Regex ::= r::Regex c::Integer )

Contained in grammar [silver:regex]. Defined at silver/regex/Matching.sv line 28.

(Undocumented.)


fun matches   (Boolean ::= r::Regex s::String )

Contained in grammar [silver:regex]. Defined at silver/regex/Matching.sv line 35.

(Undocumented.)


global newlineChar

Contained in grammar [silver:regex]. Defined at silver/regex/Matching.sv line 60.

(Undocumented.)


synthesized attribute altPP :: Document

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 8.

(Undocumented.)


synthesized attribute seqPP :: Document

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 9.

(Undocumented.)


synthesized attribute basePP :: Document

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 10.

(Undocumented.)


nonterminal Regex

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 13.

(Undocumented.)


aspect default production top::Regex ::= {#aspect_default_production_silver:regex:Regex}

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 17.

(Undocumented.)


abstract production char   (top::Regex ::= c::Integer )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 27.

(Undocumented.)


abstract production wildChar   (top::Regex ::= )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 35.

(Undocumented.)


abstract production charRange   (top::Regex ::= l::Integer u::Integer )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 41.

(Undocumented.)


abstract production negChars   (top::Regex ::= r::Regex )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 50.

(Undocumented.)


abstract production empty   (top::Regex ::= )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 60.

(Undocumented.)


abstract production epsilon   (top::Regex ::= )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 67.

(Undocumented.)


abstract production alt   (top::Regex ::= r1::Regex r2::Regex )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 73.

(Undocumented.)


abstract production seq   (top::Regex ::= r1::Regex r2::Regex )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 89.

(Undocumented.)


abstract production star   (top::Regex ::= r::Regex )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 95.

(Undocumented.)


abstract production plus   (top::Regex ::= r::Regex )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 101.

(Undocumented.)


abstract production opt   (top::Regex ::= r::Regex )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 111.

(Undocumented.)


fun regexLiteral   (Regex ::= s::String )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 127.

(Undocumented.)


fun escapeRegexChar   (Document ::= char::String )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 131.

(Undocumented.)


fun escapeRegexClassChar   (Document ::= char::String )

Contained in grammar [silver:regex]. Defined at silver/regex/AbstractSyntax.sv line 144.

(Undocumented.)


type GenInhs

Contained in grammar [silver:regex]. Defined at silver/regex/Arbitrary.sv line 18.

(Undocumented.)


aspect default production top::Regex ::= {#aspect_default_production_silver:regex:Regex}

Contained in grammar [silver:regex]. Defined at silver/regex/Arbitrary.sv line 24.

(Undocumented.)


global asciiChars

Contained in grammar [silver:regex]. Defined at silver/regex/Arbitrary.sv line 69.

(Undocumented.)