abc.ltl.ast
Class PCLTLUnary_c
java.lang.Object
Node_c
abc.aspectj.ast.Pointcut_c
abc.ltl.ast.PCLTLGeneral_c
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pc
protected Pointcut pc
PCLTLUnary_c
public PCLTLUnary_c(Position pos,
Pointcut pc)
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: