%%%
 %% Aspect Body Declarations
 %%
 %% @author  Martin Bravenboer <martin.bravenboer@gmail.com>
 %%%
module languages/aspectj/aspect/BodyDeclaration[Ctx]
imports
  languages/aspectj/aspect/DeclareDeclaration[Ctx]
  languages/aspectj/aspect/AdviceDeclaration[Ctx]
  languages/aspectj/aspect/IntertypeMemberDeclaration[Ctx]

exports
  sorts AspectBodyDec
  context-free syntax
    ClassBodyDec[[Ctx]] -> AspectBodyDec
    DeclareDec          -> AspectBodyDec 
    AdviceDec           -> AspectBodyDec
    IntertypeMemberDec  -> AspectBodyDec

    AspectDec           -> ClassMemberDec[[Ctx]]
    PointcutDec         -> ClassMemberDec[[Ctx]]