abc.ltl.ast
Class PCLTLGeneral_c

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

All Implemented Interfaces:

Pointcut, PCLTLGeneral

Direct Known Subclasses:

PCLTLBinary_c, PCLTLUnary_c

public abstract class PCLTLGeneral_c
extends Pointcut_c
implements PCLTLGeneral

Field Summary

Fields inherited from class abc.aspectj.ast.Pointcut_c

initialised

Constructor Summary

PCLTLGeneral_c(Position pos)

Method Summary

java.util.List	acceptCFG(CFGBuilder v, java.util.List succs)
Term	entry()
abstract void	prettyPrint(CodeWriter w, PrettyPrinter tr)
boolean	reachable()
Term	reachable(boolean reachability)

Methods inherited from class abc.aspectj.ast.Pointcut_c

checkFormals, mayBind, mustBind, precedence, 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, makeAIPointcut, mayBind, mustBind, pcRefs, precedence, printSubExpr

Constructor Detail

PCLTLGeneral_c

public PCLTLGeneral_c(Position pos)

Method Detail

acceptCFG

public java.util.List acceptCFG(CFGBuilder v,
                                java.util.List succs)

entry

public Term entry()

reachable

public boolean reachable()

reachable

public Term reachable(boolean reachability)

prettyPrint

public abstract void prettyPrint(CodeWriter w,
                                 PrettyPrinter tr)