abc.ltl.ast
Interface PCLTLGeneral

All Superinterfaces:

Pointcut

All Known Subinterfaces:

PCLTLAnd, PCLTLEquiv, PCLTLFinally, PCLTLGlobally, PCLTLImplies, PCLTLNext, PCLTLNot, PCLTLOr, PCLTLRelease, PCLTLUntil

All Known Implementing Classes:

PCLTLAnd_c, PCLTLBinary_c, PCLTLEquiv_c, PCLTLFinally_c, PCLTLGeneral_c, PCLTLGlobally_c, PCLTLImplies_c, PCLTLNext_c, PCLTLNot_c, PCLTLOr_c, PCLTLRelease_c, PCLTLUnary_c, PCLTLUntil_c

public interface PCLTLGeneral
extends Pointcut

Method Summary

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

Methods inherited from interface abc.aspectj.ast.Pointcut

checkFormals, isDynamic, makeAIPointcut, mayBind, mustBind, pcRefs, precedence, printSubExpr

Method Detail

formulaConstructorExpr

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