abc.ltl.ast
Class LTLNodeFactory_c

java.lang.Object
  soot.javaToJimple.jj.ast.JjNodeFactory_c
      abc.aspectj.ast.AJNodeFactory_c
          abc.ltl.ast.LTLNodeFactory_c

All Implemented Interfaces:

AJNodeFactory, LTLNodeFactory

public class LTLNodeFactory_c
extends AJNodeFactory_c
implements LTLNodeFactory

Constructor Summary

LTLNodeFactory_c()

Method Summary

ByteCodePosition	ByteCodePosition(java.lang.String className, java.lang.String sourceFile, int lineNumber)
PCArgs	PCArgs(Position pos, java.util.List pats)
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)
PCTarget	PCTarget(Position pos, ArgPattern pat)
PCThis	PCThis(Position pos, ArgPattern pat)

Methods inherited from class abc.aspectj.ast.AJNodeFactory_c

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

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.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, PCBinary, PCCall, PCCflow, PCCflowBelow, PCEmpty, PCExecution, PCGet, PCHandler, PCIf, PCInitialization, PCName, PCNot, PCPreinitialization, PCSet, PCStaticInitialization, PCWithin, PCWithinCode, PerCflow, PerCflowBelow, PerTarget, PerThis, PointcutDecl, ProceedCall, RTPName, RTPSubName, SimpleNamePattern, ThrowsPattern, TPEArray, TPEBinary, TPENot, TPERefTypePat, TPEType, TPEUniversal, TypeFormalPattern

Constructor Detail

LTLNodeFactory_c

public LTLNodeFactory_c()

Method Detail

PCFormula

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

Specified by:

PCFormula in interface LTLNodeFactory

PCLTLFinally

public PCLTLFinally PCLTLFinally(Position pos,
                                 Pointcut pc)

Specified by:

PCLTLFinally in interface LTLNodeFactory

PCLTLGlobally

public PCLTLGlobally PCLTLGlobally(Position pos,
                                   Pointcut pc)

Specified by:

PCLTLGlobally in interface LTLNodeFactory

PCLTLNext

public PCLTLNext PCLTLNext(Position pos,
                           Pointcut pc)

Specified by:

PCLTLNext in interface LTLNodeFactory

PCLTLUntil

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

Specified by:

PCLTLUntil in interface LTLNodeFactory

PCLTLRelease

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

Specified by:

PCLTLRelease in interface LTLNodeFactory

ByteCodePosition

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

Specified by:

ByteCodePosition in interface LTLNodeFactory

PCLTLAnd

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

Specified by:

PCLTLAnd in interface LTLNodeFactory

PCLTLOr

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

Specified by:

PCLTLOr in interface LTLNodeFactory

PCLTLImplies

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

Specified by:

PCLTLImplies in interface LTLNodeFactory

PCLTLEquiv

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

Specified by:

PCLTLEquiv in interface LTLNodeFactory

PCLTLNot

public PCLTLNot PCLTLNot(Position pos,
                         Pointcut pc)

Specified by:

PCLTLNot in interface LTLNodeFactory

PCThis

public PCThis PCThis(Position pos,
                     ArgPattern pat)

Specified by:

PCThis in interface AJNodeFactory

Overrides:

PCThis in class AJNodeFactory_c

PCTarget

public PCTarget PCTarget(Position pos,
                         ArgPattern pat)

Specified by:

PCTarget in interface AJNodeFactory

Overrides:

PCTarget in class AJNodeFactory_c

PCArgs

public PCArgs PCArgs(Position pos,
                     java.util.List pats)

Specified by:

PCArgs in interface AJNodeFactory

Overrides:

PCArgs in class AJNodeFactory_c