%%% %% 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]]