abc.ltl.ast
Interface PCLTLFinally

All Superinterfaces:
PCLTLGeneral, Pointcut
All Known Implementing Classes:
PCLTLFinally_c

public interface PCLTLFinally
extends PCLTLGeneral

Author:
Eric

Method Summary
 
Methods inherited from interface abc.ltl.ast.PCLTLGeneral
formulaConstructorExpr
 
Methods inherited from interface abc.aspectj.ast.Pointcut
checkFormals, isDynamic, makeAIPointcut, mayBind, mustBind, pcRefs, precedence, printSubExpr