jasco.runtime.aspect
Class PCutpointConstructorRegular

java.lang.Object
  extended by jasco.runtime.aspect.PCutpointConstructorApplicationDesignator
      extended by jasco.runtime.aspect.PCutpointConstructorRegular
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
PCutpointConstructorComplement, PCutpointConstructorStrict, PCutpointConstructorStrictComplement

public class PCutpointConstructorRegular
extends PCutpointConstructorApplicationDesignator


Field Summary
 
Fields inherited from class jasco.runtime.aspect.PCutpointConstructorApplicationDesignator
NEWLINE, TAB
 
Constructor Summary
PCutpointConstructorRegular()
           
 
Method Summary
 void addState(State state)
           
 void addTransition(State start, int label, PCutpointConstructorApplicationDesignator des, State dest)
           
 java.util.Vector allPointcuts()
           
 java.util.Vector allTransitions()
           
 boolean definesName(java.lang.String name)
           
 boolean doNotCache()
           
 boolean eval(MethodJoinpoint jp, java.util.Hashtable mappings, boolean forJutta)
          Evaluates to true when the pointcut triggers
protected  java.lang.String generateClassCreateCode(java.lang.String argname)
           
 java.lang.String generateCreateCode(java.lang.String argname)
           
 int getCurrentStateID()
           
 java.util.Iterator getNextStateIDs()
           
 java.lang.String getPreviousStateID()
           
 State getStartState()
           
 int getStateIDForName(java.lang.String name)
           
 java.util.TreeMap getStatementMap()
           
 java.util.Iterator getStates()
           
 void setStartState(State state)
           
 void setStatementMap(java.util.TreeMap map)
           
 java.lang.String 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
 

Constructor Detail

PCutpointConstructorRegular

public PCutpointConstructorRegular()
Method Detail

setStatementMap

public void setStatementMap(java.util.TreeMap map)

getStatementMap

public java.util.TreeMap getStatementMap()

generateClassCreateCode

protected java.lang.String generateClassCreateCode(java.lang.String argname)

getPreviousStateID

public java.lang.String getPreviousStateID()

generateCreateCode

public java.lang.String generateCreateCode(java.lang.String argname)
Specified by:
generateCreateCode in class PCutpointConstructorApplicationDesignator

eval

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

Specified by:
eval in class PCutpointConstructorApplicationDesignator
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:

getNextStateIDs

public java.util.Iterator getNextStateIDs()

doNotCache

public boolean doNotCache()
Overrides:
doNotCache in class PCutpointConstructorApplicationDesignator

addState

public void addState(State state)

addTransition

public void addTransition(State start,
                          int label,
                          PCutpointConstructorApplicationDesignator des,
                          State dest)

setStartState

public void setStartState(State state)

getStartState

public State getStartState()

getStates

public java.util.Iterator getStates()

toDescString

public java.lang.String toDescString()
Specified by:
toDescString in class PCutpointConstructorApplicationDesignator

definesName

public boolean definesName(java.lang.String name)

allPointcuts

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

allTransitions

public java.util.Vector allTransitions()

getCurrentStateID

public int getCurrentStateID()

getStateIDForName

public int getStateIDForName(java.lang.String name)
Parameters:
name -
Returns: