jasco.runtime.aspect
Class PCutpointConstructorStrictComplement

java.lang.Object
  extended by jasco.runtime.aspect.PCutpointConstructorApplicationDesignator
      extended by jasco.runtime.aspect.PCutpointConstructorRegular
          extended by jasco.runtime.aspect.PCutpointConstructorStrictComplement
All Implemented Interfaces:
java.lang.Cloneable

public class PCutpointConstructorStrictComplement
extends PCutpointConstructorRegular

Author:
Wim

Field Summary
static java.lang.String COMPLEMENT_NAME
           
 
Fields inherited from class jasco.runtime.aspect.PCutpointConstructorApplicationDesignator
NEWLINE, TAB
 
Constructor Summary
PCutpointConstructorStrictComplement(PCutpointConstructorApplicationDesignator strictSet)
           
 
Method Summary
 java.util.Vector allPointcuts()
           
 boolean definesName(java.lang.String name)
           
 boolean eval(MethodJoinpoint jp, java.util.Hashtable mappings, boolean forJutta)
          Evaluates to true when the pointcut triggers
 java.lang.String generateClassCreateCode(java.lang.String argname)
           
 int getCurrentStateID()
           
 
Methods inherited from class jasco.runtime.aspect.PCutpointConstructorRegular
addState, addTransition, allTransitions, doNotCache, generateCreateCode, getNextStateIDs, getPreviousStateID, getStartState, getStateIDForName, getStatementMap, getStates, setStartState, setStatementMap, toDescString
 
Methods inherited from class jasco.runtime.aspect.PCutpointConstructorApplicationDesignator
checkAnnotation, deepCopy, dontLoadClasses, generateCreateCode, getNextArgName, getParameter, getParameter2, getRuntimeContext, isRegularExp, removeAnnotation, resetArgNames, setParameter, setParameter2, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

COMPLEMENT_NAME

public static final java.lang.String COMPLEMENT_NAME
See Also:
Constant Field Values
Constructor Detail

PCutpointConstructorStrictComplement

public PCutpointConstructorStrictComplement(PCutpointConstructorApplicationDesignator strictSet)
Method Detail

allPointcuts

public java.util.Vector allPointcuts()
Overrides:
allPointcuts in class PCutpointConstructorRegular

generateClassCreateCode

public java.lang.String generateClassCreateCode(java.lang.String argname)
Overrides:
generateClassCreateCode in class PCutpointConstructorRegular

eval

public boolean eval(MethodJoinpoint jp,
                    java.util.Hashtable mappings,
                    boolean forJutta)
Description copied from class: PCutpointConstructorApplicationDesignator
Evaluates to true when the pointcut triggers

Overrides:
eval in class PCutpointConstructorRegular
Parameters:
jp - current joinpoint
mappings - from variables to concrete method signatures, fe: 1 -> * *(*), 2-> void test.main.Main.run()
forJutta - is this for analyzing jutta, meaning is this runtimecontext a static context. Fe methods in cflow might change, target might change. The current method does not change however.
Returns:

getCurrentStateID

public int getCurrentStateID()
Overrides:
getCurrentStateID in class PCutpointConstructorRegular

definesName

public boolean definesName(java.lang.String name)
Overrides:
definesName in class PCutpointConstructorRegular