Package abc.ltl.ast.override

Interface Summary

StatebindingPointcut

Common interface for pointcuts binding state.

Class Summary

PCArgs_c	Override to adhere to the StatebindingPointcut interface.
PCTarget_c	Override to adhere to the StatebindingPointcut interface.
PCThis_c	Override to adhere to the StatebindingPointcut interface.