abc.ltl.ast
Class PointcutUtils

java.lang.Object
  abc.ltl.ast.PointcutUtils

public class PointcutUtils
extends java.lang.Object

PointcutUtils

Author:

Eric Bodden

Constructor Summary

PointcutUtils()

Method Summary

static TypeNode	bindingNameToType(java.lang.String bindingName, Formal... declaredFormals)
static java.util.List<Formal>	boundFormals(java.util.Collection<Formal> declaredFormals, Pointcut pc, boolean includeFormalsBoundByIfPCs)
static Expr	propositionInstantiationExprForPointcut(Pointcut pc, PropositionLabels vis, java.util.Collection<Formal> declaredFormals, Position pos)
static Pointcut	replaceBindingsByTypes(java.util.Collection<Formal> declaredFormals, Pointcut pc)
static Pointcut	replaceIfPCsByIfTrue(Pointcut pc, AJNodeFactory nf)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PointcutUtils

public PointcutUtils()

Method Detail

propositionInstantiationExprForPointcut

public static Expr propositionInstantiationExprForPointcut(Pointcut pc,
                                                           PropositionLabels vis,
                                                           java.util.Collection<Formal> declaredFormals,
                                                           Position pos)

Parameters:

pc - pointcut to generate the constructor expression for

vis - reference to visitor

pos - position information for the generated expression

declaredFormals - formals declared in the enclosing formula

Returns:

the instantiation expression

boundFormals

public static java.util.List<Formal> boundFormals(java.util.Collection<Formal> declaredFormals,
                                                  Pointcut pc,
                                                  boolean includeFormalsBoundByIfPCs)

Parameters:

declaredFormals - formals declared in the formula

pc - pointcut

includeFormalsBoundByIfPCs - if true, formals bound by if-subpointcuts are included

Returns:

subset of declaredFormals, holding all formals bound by the pointcut pc

replaceBindingsByTypes

public static Pointcut replaceBindingsByTypes(java.util.Collection<Formal> declaredFormals,
                                              Pointcut pc)

bindingNameToType

public static TypeNode bindingNameToType(java.lang.String bindingName,
                                         Formal... declaredFormals)

replaceIfPCsByIfTrue

public static Pointcut replaceIfPCsByIfTrue(Pointcut pc,
                                            AJNodeFactory nf)