HomeBankingPermit open_for_tax_reporting(Ticket t)
throws RoleViolationException
 {
    if (MyHomeBankingPublicKey.stamp(t))
      return new HomeBankingPermit();
    else
      throw new RoleViolationException();
 }
|