abc.ltl.ast
Class PCLTLImplies_c

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

All Implemented Interfaces:

Pointcut, PCLTLGeneral, PCLTLImplies

public class PCLTLImplies_c
extends PCLTLBinary_c
implements PCLTLImplies

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

PCLTLImplies_c(Position pos, Pointcut pcl, Pointcut pcr)

Method Summary

protected java.lang.String	getSymbol()
Pointcut	makeAIPointcut()
protected Node	reconstruct(Pointcut pcl, Pointcut pcr)
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

PCLTLImplies_c

public PCLTLImplies_c(Position pos,
                      Pointcut pcl,
                      Pointcut pcr)

Parameters:

pos -

pcl -

pcr -

Method Detail

reconstruct

protected Node reconstruct(Pointcut pcl,
                           Pointcut pcr)

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: