abc.ltl.ast
Class PCLTLGlobally_c

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

All Implemented Interfaces:

Pointcut, PCLTLGeneral, PCLTLGlobally

public class PCLTLGlobally_c
extends PCLTLUnary_c
implements PCLTLGlobally

Author:

Eric

Field Summary

Fields inherited from class abc.ltl.ast.PCLTLUnary_c

pc

Fields inherited from class abc.aspectj.ast.Pointcut_c

initialised

Constructor Summary

PCLTLGlobally_c(Position pos, Pointcut pc)

Method Summary

protected java.lang.String	getSymbol()
Pointcut	makeAIPointcut()
protected Node	reconstruct(Pointcut pc) Reconstruct the pointcut.
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

PCLTLGlobally_c

public PCLTLGlobally_c(Position pos,
                       Pointcut pc)

Method Detail

reconstruct

protected Node reconstruct(Pointcut pc)

Reconstruct the pointcut.

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: