abc.ra.ast
Class CustomWarningPerSymbolAdviceDecl_c

java.lang.Object
  MethodDecl_c
      abc.aspectj.extension.AJMethodDecl_c
          abc.aspectj.ast.AdviceBody_c
              abc.aspectj.ast.AdviceDecl_c
                  abc.tm.ast.PerSymbolAdviceDecl_c
                      abc.ra.ast.CustomWarningPerSymbolAdviceDecl_c

All Implemented Interfaces:

AdviceDecl, MakesAspectMethods, ContainsAspectInfo, TransformsAspectReflection, CustomWarningPerSymbolAdviceDecl, TMAdviceDecl

public class CustomWarningPerSymbolAdviceDecl_c
extends PerSymbolAdviceDecl_c
implements CustomWarningPerSymbolAdviceDecl

A special PerSymbolAdviceDecl_c which generates customized warnings, based on the waring type.

Author:

Eric Bodden

See Also:

CustomWarningPerSymbolAdviceDecl

Field Summary

Fields inherited from class abc.tm.ast.PerSymbolAdviceDecl_c

sym, tm_id, tm_pos

Fields inherited from class abc.aspectj.ast.AdviceDecl_c

pc, retval, spec

Fields inherited from class abc.aspectj.ast.AdviceBody_c

canRewriteThisJoinPoint, hasEnclosingJoinPointStaticPart, hasJoinPoint, hasJoinPointStaticPart, isAroundAdvice, methodsInAdvice, thisEnclosingJoinPointStaticPartInstance, thisJoinPointInstance, thisJoinPointStaticPartInstance

Fields inherited from interface abc.ra.ast.CustomWarningPerSymbolAdviceDecl

ADVICE, NONE, REL_ASPECT, SYMBOL

Fields inherited from interface abc.tm.ast.TMAdviceDecl

BODY, OTHER, SOME, SYNCH

Constructor Summary

CustomWarningPerSymbolAdviceDecl_c(Position pos, Flags flags, AdviceSpec spec, java.util.List throwTypes, Pointcut pc, Block body, java.lang.String tm_id, SymbolDecl sym, Position tm_pos, int warningType)

Method Summary

void	update(GlobalAspectInfo gai, Aspect current_aspect) Mostly copied, just registers a subtype of TMAdviceDecl which provides special warnings.

Methods inherited from class abc.tm.ast.PerSymbolAdviceDecl_c

typeCheck

Methods inherited from class abc.aspectj.ast.AdviceDecl_c

acceptCFG, addExtraFormals, adviceSignature, disambiguateEnter, enterScope, entry, prettyPrint, proceedDecl, reconstruct, visitChildren

Methods inherited from class abc.aspectj.ast.AdviceBody_c

aspectMethodsEnter, aspectMethodsLeave, buildTypes, dummyVal, enterAspectReflectionInspect, enterAspectReflectionRewrite, enterScope, hasEnclosingJoinPointStaticPart, hasJoinPoint, hasJoinPointStaticPart, joinpointFormals, leaveAspectReflectionInspect, leaveAspectReflectionRewrite, localMethod, makeMethodInstance, methodDecl

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface abc.aspectj.ast.AdviceDecl

hasJoinPoint, hasJoinPointStaticPart, joinpointFormals, localMethod, methodDecl, proceedDecl

Methods inherited from interface abc.aspectj.ast.MakesAspectMethods

aspectMethodsEnter, aspectMethodsLeave

Methods inherited from interface abc.aspectj.visit.TransformsAspectReflection

enterAspectReflectionInspect, enterAspectReflectionRewrite, leaveAspectReflectionInspect, leaveAspectReflectionRewrite

Constructor Detail

CustomWarningPerSymbolAdviceDecl_c

public CustomWarningPerSymbolAdviceDecl_c(Position pos,
                                          Flags flags,
                                          AdviceSpec spec,
                                          java.util.List throwTypes,
                                          Pointcut pc,
                                          Block body,
                                          java.lang.String tm_id,
                                          SymbolDecl sym,
                                          Position tm_pos,
                                          int warningType)

Method Detail

update

public void update(GlobalAspectInfo gai,
                   Aspect current_aspect)

Mostly copied, just registers a subtype of TMAdviceDecl which provides special warnings.

Specified by:

update in interface ContainsAspectInfo

Overrides:

update in class PerSymbolAdviceDecl_c

Parameters:

gai - the target of the information.

current_aspect - the aspect currently being traversed.