-- ServiceException extends CardRuntimeException

-- import javacard.framework.*;


package javacard::framework::service



context ServiceException::ServiceException(reason: JShort)
  pre : true
  post: not excThrown(java::lang::Exception)
        and
        self.reason.asInt() = reason.asInt()



context ServiceException::throwIt(reason: JShort)
  pre : true
  post: excThrown(ServiceException)
        and
        ServiceException.systemInstance.getReason().asInt() 
           = reason.asInt()



endpackage