concrete production propagateAttrDcl

top::ProductionStmt ::= 'propagate' ns::NameList ';'

In file: ProductionBody.sv

function makeArgs

[AppExpr] ::= loc::Location env::Decorated Env attrName::QName inputs::[NamedSignatureElement]

In file: ProductionBody.sv

function makeAnnoArgs

[AnnoExpr] ::= loc::Location baseName::QName inputs::[NamedSignatureElement]

In file: ProductionBody.sv

abstract production propagateOne

top::ProductionStmt ::= a::QName

In file: ProductionBody.sv