abc.ltl.ast
Class PCLTLUntil_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.PCLTLBinary_c
                  extended by abc.ltl.ast.PCLTLUntil_c
All Implemented Interfaces:
Pointcut, PCLTLGeneral, PCLTLUntil

public class PCLTLUntil_c
extends PCLTLBinary_c
implements PCLTLUntil

Author:
Eric

Field Summary
 
Fields inherited from class abc.ltl.ast.PCLTLBinary_c
pcl, pcr
 
Fields inherited from class abc.aspectj.ast.Pointcut_c
initialised
 
Constructor Summary
PCLTLUntil_c(Position pos, Pointcut pcl, Pointcut pcr)
           
 
Method Summary
protected  java.lang.String getSymbol()
          
 Pointcut makeAIPointcut()
           
protected  Node reconstruct(Pointcut pcl, Pointcut pcr)
          Reconstruct the pointcut.
protected  java.lang.String runtimeClassName()
          
 
Methods inherited from class abc.ltl.ast.PCLTLBinary_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

PCLTLUntil_c

public PCLTLUntil_c(Position pos,
                    Pointcut pcl,
                    Pointcut pcr)
Method Detail

reconstruct

protected Node reconstruct(Pointcut pcl,
                           Pointcut pcr)
Reconstruct the pointcut.

Specified by:
reconstruct in class PCLTLBinary_c

makeAIPointcut

public Pointcut makeAIPointcut()
Specified by:
makeAIPointcut in interface Pointcut

getSymbol

protected java.lang.String getSymbol()

Specified by:
getSymbol in class PCLTLBinary_c
Returns:
symbol string for this term constructor

runtimeClassName

protected java.lang.String runtimeClassName()

Specified by:
runtimeClassName in class PCLTLBinary_c
Returns: