abc.ra.ast
Interface RelAspectDecl

All Superinterfaces:

AspectDecl, MakesAspectMethods

All Known Implementing Classes:

RelAspectDecl_c

public interface RelAspectDecl
extends AspectDecl

Method Summary

void	addTmBodyMethodName(java.lang.String tmBodyMethodName) Registers the name of a generated tracematch body method.
RelAspectDecl	declareMethods(NodeFactory nf, TypeSystem ts) Generates associate and release methods.
java.util.List<Formal>	formals()

Methods inherited from interface abc.aspectj.ast.MakesAspectMethods

aspectMethodsEnter, aspectMethodsLeave

Method Detail

declareMethods

RelAspectDecl declareMethods(NodeFactory nf,
                             TypeSystem ts)

Generates associate and release methods.

formals

java.util.List<Formal> formals()

Returns:

the relational aspect formals

addTmBodyMethodName

void addTmBodyMethodName(java.lang.String tmBodyMethodName)

Registers the name of a generated tracematch body method. Those bodies must be post-processed in the backend, replacing this by the state variable.