[silver:regex:concrete_syntax]

Contents of [silver:regex:concrete_syntax]:

Defined in this grammar:

lexer class Operator extends {lsp:Regexp}

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 7.

(Undocumented.)


lexer class Escape extends {lsp:Regexp}

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

(Undocumented.)


terminal Plus_t

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

(Undocumented.)


terminal Kleene_t

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

(Undocumented.)


terminal Optional_t

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 11.

(Undocumented.)


terminal Choice_t

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 12.

(Undocumented.)


terminal Range_t

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

(Undocumented.)


terminal RegexNot_t

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 14.

(Undocumented.)


terminal RegexLBrack_t

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 15.

(Undocumented.)


terminal RegexRBrack_t

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 16.

(Undocumented.)


terminal RegexLParen_t

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

(Undocumented.)


terminal RegexRParen_t

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

(Undocumented.)


terminal RegexWildcard_t

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 19.

(Undocumented.)


terminal RegexChar_t

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 20.

(Undocumented.)


terminal EscapedChar_t

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 21.

(Undocumented.)


nonterminal Regex

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 44.

(Undocumented.)


concrete production regexEpsilon   (top::Regex ::= )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 46.

(Undocumented.)


concrete production regexSeq   (top::Regex ::= h::RegexSeq )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 53.

(Undocumented.)


concrete production regexChoice   (top::Regex ::= h::RegexSeq '|' t::Regex )

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

(Undocumented.)


nonterminal RegexSeq

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 71.

(Undocumented.)


concrete production regexSeqSnoc   (top::RegexSeq ::= h::RegexSeq t::RegexRepetition )

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

(Undocumented.)


concrete production regexSeqOne   (top::RegexSeq ::= t::RegexRepetition )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 80.

(Undocumented.)


nonterminal RegexRepetition

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 91.

(Undocumented.)


concrete production regexKleene   (top::RegexRepetition ::= i::RegexItem '*' )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 93.

(Undocumented.)


concrete production regexPlus   (top::RegexRepetition ::= i::RegexItem '+' )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 100.

(Undocumented.)


concrete production regexOptional   (top::RegexRepetition ::= i::RegexItem '?' )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 107.

(Undocumented.)


concrete production regexOnce   (top::RegexRepetition ::= i::RegexItem )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 114.

(Undocumented.)


nonterminal RegexItem

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 125.

(Undocumented.)


concrete production regexCharItem   (top::RegexItem ::= char::RegexChar )

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

(Undocumented.)


concrete production regexWildcard   (top::RegexItem ::= '.' )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 134.

(Undocumented.)


concrete production regexSet   (top::RegexItem ::= '[' g::RegexCharSet ']' )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 141.

(Undocumented.)


concrete production regexSetInverted   (top::RegexItem ::= '[' '^' g::RegexCharSet ']' )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 148.

(Undocumented.)


concrete production regexGroup   (top::RegexItem ::= '(' r::Regex ')' )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 155.

(Undocumented.)


nonterminal RegexCharSet

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 166.

(Undocumented.)


concrete production regexCharSetSnoc   (top::RegexCharSet ::= h::RegexCharSet t::RegexCharSetItem )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 168.

(Undocumented.)


concrete production regexCharSetOne   (top::RegexCharSet ::= t::RegexCharSetItem )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 175.

(Undocumented.)


nonterminal RegexCharSetItem

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 186.

(Undocumented.)


concrete production regexSetChar   (top::RegexCharSetItem ::= char::RegexChar )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 188.

(Undocumented.)


concrete production regexSetRange   (top::RegexCharSetItem ::= l::RegexChar '-' u::RegexChar )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 195.

(Undocumented.)


nonterminal RegexChar

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 206.

(Undocumented.)


concrete production regexChar   (top::RegexChar ::= char::RegexChar_t )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 208.

(Undocumented.)


concrete production regexEscapedChar   (top::RegexChar ::= esc::EscapedChar_t )

Contained in grammar [silver:regex:concrete_syntax]. Defined at silver/regex/concrete_syntax/Regex.sv line 215.

(Undocumented.)