abc.ltl.ast
Class PCLTLGlobally_c

java.lang.Object
  extended by Node_c
      extended by abc.aspectj.ast.Pointcut_c
          extended by abc.ltl.ast.PCLTLGeneral_c
              extended by abc.ltl.ast.PCLTLUnary_c
                  extended by 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: