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.