concrete production templateExpr

###### top::Expr ::= Template_kwd t::TemplateString In file: StringTemplating.sv

concrete production singleLineTemplateExpr

###### top::Expr ::= SLTemplate_kwd t::SingleLineTemplateString In file: StringTemplating.sv

concrete production pptemplateExpr

###### top::Expr ::= PPTemplate_kwd t::TemplateString In file: StringTemplating.sv

concrete production singleLinepptemplateExpr

###### top::Expr ::= SLPPTemplate_kwd t::SingleLineTemplateString In file: StringTemplating.sv

function catcall

###### Expr ::= a::Expr b::Expr l::Location In file: StringTemplating.sv

function infold

###### a ::= f::(a ::= a a) l::[a] In file: StringTemplating.sv

attribute stringTemplate

In file: StringTemplating.sv

attribute stringTemplate

In file: StringTemplating.sv

attribute stringTemplate

In file: StringTemplating.sv

attribute stringTemplate

In file: StringTemplating.sv

attribute stringTemplate

In file: StringTemplating.sv

attribute stringTemplate

In file: StringTemplating.sv

attribute stringTemplate

In file: StringTemplating.sv

attribute ppTemplate

In file: StringTemplating.sv

attribute ppTemplate

In file: StringTemplating.sv

attribute ppTemplate

In file: StringTemplating.sv

attribute ppTemplate

In file: StringTemplating.sv

attribute ppTemplate

In file: StringTemplating.sv

attribute ppTemplate

In file: StringTemplating.sv

attribute ppTemplate

In file: StringTemplating.sv

aspect production templateString

###### top ::= b::TemplateStringBody _ In file: StringTemplating.sv

aspect production templateStringEmpty

###### top ::= _ In file: StringTemplating.sv

aspect production singleLineTemplateString

###### top ::= b::SingleLineTemplateStringBody _ In file: StringTemplating.sv

aspect production singleLineTemplateStringEmpty

###### top ::= _ In file: StringTemplating.sv

aspect production bodyCons

###### top ::= h::TemplateStringBodyItem t::TemplateStringBody In file: StringTemplating.sv

aspect production bodyOne

###### top ::= h::TemplateStringBodyItem In file: StringTemplating.sv

aspect production bodyOneWater

###### top ::= w::Water In file: StringTemplating.sv

aspect production singleLineBodyCons

###### top ::= h::SingleLineTemplateStringBodyItem t::SingleLineTemplateStringBody In file: StringTemplating.sv

aspect production singleLineBodyOne

###### top ::= h::SingleLineTemplateStringBodyItem In file: StringTemplating.sv

aspect production singleLineBodyOneWater

###### top ::= w::SingleLineWater In file: StringTemplating.sv

aspect production itemWaterEscape

###### top ::= w::Water nw::NonWater In file: StringTemplating.sv

aspect production itemEscape

###### top ::= nw::NonWater In file: StringTemplating.sv

aspect production singleLineItemWaterEscape

###### top ::= w::SingleLineWater nw::NonWater In file: StringTemplating.sv

aspect production singleLineItemEscape

###### top ::= nw::NonWater In file: StringTemplating.sv

aspect production nonwater

###### top ::= '${' e::Expr '}' In file: StringTemplating.sv