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

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