function getTerminalRegexDclAll

[DclInfo] ::= search::String e::Decorated Env

In file: Env.sv

attribute terminalTree

In file: Env.sv

function filterAndConvertTermDcls

[Pair<String DclInfo>] ::= ei::EnvItem sofar::[Pair<String DclInfo>]

In file: Env.sv

function buildTerminalTree

EnvTree<DclInfo> ::= eis::[EnvItem]

In file: Env.sv

aspect production i_emptyEnv

top ::=

In file: Env.sv

aspect production i_appendEnv

top ::= e1::Decorated Env e2::Decorated Env

In file: Env.sv

aspect production i_newScopeEnv

top ::= d::Defs e::Decorated Env

In file: Env.sv

aspect production i_occursEnv

top ::= _ e::Decorated Env

In file: Env.sv

concrete production regExprEasyTerm

top::RegExpr ::= t::Terminal_t

In file: TerminalDcl.sv

nonterminal EasyTerminalRef

In file: TerminalDcl.sv

concrete production easyTerminalRef

top::EasyTerminalRef ::= t::Terminal_t

In file: TerminalDcl.sv

concrete production productionRhsElemEasyReg

top::ProductionRHSElem ::= id::Name '::' reg::EasyTerminalRef

In file: TerminalDcl.sv

concrete production productionRhsElemTypeEasyReg

top::ProductionRHSElem ::= reg::EasyTerminalRef

In file: TerminalDcl.sv

concrete production aspectRHSElemEasyReg

top::AspectRHSElem ::= reg::EasyTerminalRef

In file: TerminalDcl.sv

concrete production aspectRHSElemTypedEasyReg

top::AspectRHSElem ::= id::Name '::' reg::EasyTerminalRef

In file: TerminalDcl.sv

concrete production terminalExprReg

top::Expr ::= reg::EasyTerminalRef

In file: TerminalDcl.sv