-- KeyBuilder


package javacard::security


-- static
context KeyBuilder::buildKey(keyType: JByte,
                             keyLength: JShort,
                             keyEncrypt: Boolean): Key
  pre : true
  post: not excThrown(java::lang::Exception)
        or
        (
           excThrown(CryptoException)
           and
           CryptException.systemInstance.getReason().asInt()
              = CryptoException.NO_SUCH_ALGORITHM
        )


endpackage