Aterms.sdf3

pdmosses/sdf/org.metaborg.meta.lang.template/syntax/aterms/Aterms.sdf3

module aterms/Aterms

imports constants/IntCon
                constants/RealCon
                constants/StrCon
        constants/IdentifierCon

context-free syntax
        AFun.Quoted = <<StrCon>>
        AFun.Unquoted = <<IdCon>>


context-free syntax
        ATerm.Int = <<IntCon>>
        ATerm.Real = <<RealCon>>
        ATerm.Fun = <<AFun>>
        ATerm.Appl = <<AFun>(<{ATerm ","}+>)>
        ATerm.Placeholder = <\<<ATerm>\>>
        ATerm.List = <[<{ATerm ","}*>]>
        ATerm.Annotated = <<ATerm><Annotation>>

context-free syntax
        Annotation.Default = <{<{ATerm ","}+>}>

×