abc.ltl.ast
Interface LTLNodeFactory

All Superinterfaces:

AJNodeFactory

All Known Implementing Classes:

LTLNodeFactory_c

public interface LTLNodeFactory
extends AJNodeFactory

Method Summary

ByteCodePosition	ByteCodePosition(java.lang.String className, java.lang.String sourceFile, int lineNumber)
PCFormula	PCFormula(java.util.Collection<Formal> formals, PCLTLGeneral innerPc, ByteCodePosition pos)
PCLTLAnd	PCLTLAnd(Position pos, Pointcut pcl, Pointcut pcr)
PCLTLEquiv	PCLTLEquiv(Position pos, Pointcut pcl, Pointcut pcr)
PCLTLFinally	PCLTLFinally(Position pos, Pointcut pc)
PCLTLGlobally	PCLTLGlobally(Position pos, Pointcut pc)
PCLTLImplies	PCLTLImplies(Position pos, Pointcut pcl, Pointcut pcr)
PCLTLNext	PCLTLNext(Position pos, Pointcut pc)
PCLTLNot	PCLTLNot(Position pos, Pointcut pc)
PCLTLOr	PCLTLOr(Position pos, Pointcut pcl, Pointcut pcr)
PCLTLRelease	PCLTLRelease(Position pos, Pointcut pcl, Pointcut pcr)
PCLTLUntil	PCLTLUntil(Position pos, Pointcut pcl, Pointcut pcr)

Methods inherited from interface abc.aspectj.ast.AJNodeFactory

AdviceDecl, AdviceFormal, After, AfterReturning, AfterThrowing, AmbExpr, AmbTypeOrLocal, ArgDotDot, ArgStar, Around, AspectBody, AspectDecl, Before, CharLit, ClassTypeDotId, ClassTypeDotNew, constructClassnamePatternFromTypePattern, ConstructorPattern, CPEBinary, CPEName, CPENot, CPESubName, CPEUniversal, DeclareError, DeclareParents, DeclarePrecedence, DeclareSoft, DeclareWarning, DotDotFormalPattern, DotDotNamePattern, DotNamePattern, Field, FieldPattern, hostConstructorCall, hostSpecial, IntertypeConstructorDecl, IntertypeFieldDecl, IntertypeMethodDecl, IsSingleton, MethodPattern, ModifierPattern, PCAdviceExecution, PCArgs, PCBinary, PCCall, PCCflow, PCCflowBelow, PCEmpty, PCExecution, PCGet, PCHandler, PCIf, PCInitialization, PCName, PCNot, PCPreinitialization, PCSet, PCStaticInitialization, PCTarget, PCThis, PCWithin, PCWithinCode, PerCflow, PerCflowBelow, PerTarget, PerThis, PointcutDecl, ProceedCall, RTPName, RTPSubName, SimpleNamePattern, ThrowsPattern, TPEArray, TPEBinary, TPENot, TPERefTypePat, TPEType, TPEUniversal, TypeFormalPattern

Method Detail

PCFormula

PCFormula PCFormula(java.util.Collection<Formal> formals,
                    PCLTLGeneral innerPc,
                    ByteCodePosition pos)

PCLTLFinally

PCLTLFinally PCLTLFinally(Position pos,
                          Pointcut pc)

PCLTLGlobally

PCLTLGlobally PCLTLGlobally(Position pos,
                            Pointcut pc)

PCLTLNext

PCLTLNext PCLTLNext(Position pos,
                    Pointcut pc)

PCLTLUntil

PCLTLUntil PCLTLUntil(Position pos,
                      Pointcut pcl,
                      Pointcut pcr)

PCLTLRelease

PCLTLRelease PCLTLRelease(Position pos,
                          Pointcut pcl,
                          Pointcut pcr)

PCLTLAnd

PCLTLAnd PCLTLAnd(Position pos,
                  Pointcut pcl,
                  Pointcut pcr)

PCLTLOr

PCLTLOr PCLTLOr(Position pos,
                Pointcut pcl,
                Pointcut pcr)

PCLTLImplies

PCLTLImplies PCLTLImplies(Position pos,
                          Pointcut pcl,
                          Pointcut pcr)

PCLTLEquiv

PCLTLEquiv PCLTLEquiv(Position pos,
                      Pointcut pcl,
                      Pointcut pcr)

PCLTLNot

PCLTLNot PCLTLNot(Position pos,
                  Pointcut pc)

ByteCodePosition

ByteCodePosition ByteCodePosition(java.lang.String className,
                                  java.lang.String sourceFile,
                                  int lineNumber)