abc.ltl.ast
Class PCLTLRelease_c

java.lang.Object
  Node_c
      abc.aspectj.ast.Pointcut_c
          abc.ltl.ast.PCLTLGeneral_c
              abc.ltl.ast.PCLTLBinary_c
                  abc.ltl.ast.PCLTLRelease_c

All Implemented Interfaces:

Pointcut, PCLTLGeneral, PCLTLRelease

public class PCLTLRelease_c
extends PCLTLBinary_c
implements PCLTLRelease

PCLTLRelease_c

Author:

Eric Bodden

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

PCLTLRelease_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

PCLTLRelease_c

public PCLTLRelease_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: