abc.ltl.ast.override
Interface StatebindingPointcut

All Known Implementing Classes:

PCArgs_c, PCTarget_c, PCThis_c

public interface StatebindingPointcut

Common interface for pointcuts binding state. (this/target/args)

Author:

Eric Bodden

Method Summary

Node[]	patterns()
Node	replaceBindingsByTypes(Formal... declaredFormals) Returns a copy of this node where all bindings in this/target/args have been replaced by the types of those bindings.

Method Detail

patterns

Node[] patterns()

Returns:

The pattern which is used to bind state in this pointcut. Usually of type AmbTypeOrLocal.

See Also:

AmbTypeOrLocal

replaceBindingsByTypes

Node replaceBindingsByTypes(Formal... declaredFormals)

Returns a copy of this node where all bindings in this/target/args have been replaced by the types of those bindings. E.g. in a pointcut declaration args(i,j) where formals int i, long j have been declared, the result will be args(int,long).

Parameters:

declaredFormals - list of formals that shall be used to resolve types

Returns:

copy of the node where bindings have been replaced by their types