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