abc.ltl.ast
Class PCLTLNot_c

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

All Implemented Interfaces:

Pointcut, PCLTLGeneral, PCLTLNot

public class PCLTLNot_c
extends PCLTLUnary_c
implements PCLTLNot

Field Summary

Fields inherited from class abc.ltl.ast.PCLTLUnary_c

pc

Fields inherited from class abc.aspectj.ast.Pointcut_c

initialised

Constructor Summary

PCLTLNot_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

PCLTLNot_c

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