abc.ltl.ast
Class PCLTLUnary_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
All Implemented Interfaces:
Pointcut, PCLTLGeneral
Direct Known Subclasses:
PCLTLFinally_c, PCLTLGlobally_c, PCLTLNext_c, PCLTLNot_c

public abstract class PCLTLUnary_c
extends PCLTLGeneral_c


Field Summary
protected  Pointcut pc
           
 
Fields inherited from class abc.aspectj.ast.Pointcut_c
initialised
 
Constructor Summary
PCLTLUnary_c(Position pos, Pointcut pc)
           
 
Method Summary
 Expr formulaConstructorExpr(PropositionLabels vis, Position pos, java.util.Collection<Formal> declaredFormals)
           
protected abstract  java.lang.String getSymbol()
           
 boolean isDynamic()
           
 java.util.Collection mayBind()
           
 java.util.Collection mustBind()
           
 java.util.Set pcRefs()
           
 Precedence precedence()
          Get the precedence of the expression.
 void prettyPrint(CodeWriter w, PrettyPrinter tr)
           
protected abstract  Node reconstruct(Pointcut pc)
           
protected abstract  java.lang.String runtimeClassName()
           
 Node visitChildren(NodeVisitor v)
          Visit the children of the pointcut.
 
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.aspectj.ast.Pointcut
checkFormals, makeAIPointcut, printSubExpr
 

Field Detail

pc

protected Pointcut pc
Constructor Detail

PCLTLUnary_c

public PCLTLUnary_c(Position pos,
                    Pointcut pc)
Method Detail

mustBind

public java.util.Collection mustBind()
Specified by:
mustBind in interface Pointcut
Overrides:
mustBind in class Pointcut_c

mayBind

public java.util.Collection mayBind()
                             throws SemanticException
Specified by:
mayBind in interface Pointcut
Overrides:
mayBind in class Pointcut_c
Throws:
SemanticException

visitChildren

public Node visitChildren(NodeVisitor v)
Visit the children of the pointcut.


reconstruct

protected abstract Node reconstruct(Pointcut pc)

isDynamic

public boolean isDynamic()

pcRefs

public java.util.Set pcRefs()

precedence

public Precedence precedence()
Description copied from interface: Pointcut
Get the precedence of the expression.

Specified by:
precedence in interface Pointcut
Overrides:
precedence in class Pointcut_c

prettyPrint

public void prettyPrint(CodeWriter w,
                        PrettyPrinter tr)
Specified by:
prettyPrint in class PCLTLGeneral_c

getSymbol

protected abstract java.lang.String getSymbol()
Returns:
the symbol for this term constructor

formulaConstructorExpr

public Expr formulaConstructorExpr(PropositionLabels vis,
                                   Position pos,
                                   java.util.Collection<Formal> declaredFormals)

runtimeClassName

protected abstract java.lang.String runtimeClassName()
Returns: