aspect CheckCode { pointcut Verification (): call outport (RestoreCode_out_V (..)); advice around(): Verification(){ variables{ counter: Integer_Type; message: String_Type; } initially{ counter:=1; message:="Card Rejected!"; } if (counter = 3){ RejectedCard_out_V ! (message); } else{ proceed(); counter := counter + 1; } } }