abc.ltl.ast
Class PCLTLNext_c

java.lang.Object
  extended by Node_c
      extended by abc.aspectj.ast.Pointcut_c
          extended by abc.ltl.ast.PCLTLGeneral_c
              extended by abc.ltl.ast.PCLTLUnary_c
                  extended by abc.ltl.ast.PCLTLNext_c
All Implemented Interfaces:
Pointcut, PCLTLGeneral, PCLTLNext

public class PCLTLNext_c
extends PCLTLUnary_c
implements PCLTLNext


Field Summary
 
Fields inherited from class abc.ltl.ast.PCLTLUnary_c
pc
 
Fields inherited from class abc.aspectj.ast.Pointcut_c
initialised
 
Constructor Summary
PCLTLNext_c(Position pos, Pointcut pc)
           
 
Method Summary
protected  java.lang.String getSymbol()
          
 Pointcut makeAIPointcut()
          
protected  Node reconstruct(Pointcut pc)
          
protected  java.lang.String runtimeClassName()
          
 
Methods inherited from class abc.ltl.ast.PCLTLUnary_c
formulaConstructorExpr, isDynamic, mayBind, mustBind, pcRefs, precedence, prettyPrint, visitChildren
 
Methods inherited from class abc.ltl.ast.PCLTLGeneral_c
acceptCFG, entry, reachable, reachable
 
Methods inherited from class abc.aspectj.ast.Pointcut_c
checkFormals, printSubExpr
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface abc.ltl.ast.PCLTLGeneral
formulaConstructorExpr
 
Methods inherited from interface abc.aspectj.ast.Pointcut
checkFormals, isDynamic, mayBind, mustBind, pcRefs, precedence, printSubExpr
 

Constructor Detail

PCLTLNext_c

public PCLTLNext_c(Position pos,
                   Pointcut pc)
Parameters:
pos -
pc -
Method Detail

reconstruct

protected Node reconstruct(Pointcut pc)

Specified by:
reconstruct in class PCLTLUnary_c

makeAIPointcut

public Pointcut makeAIPointcut()

Specified by:
makeAIPointcut in interface Pointcut

getSymbol

protected java.lang.String getSymbol()

Specified by:
getSymbol in class PCLTLUnary_c
Returns:
the symbol for this term constructor

runtimeClassName

protected java.lang.String runtimeClassName()

Specified by:
runtimeClassName in class PCLTLUnary_c
Returns: