diff options
author | Ingela Anderton Andin <[email protected]> | 2010-09-15 14:34:58 +0200 |
---|---|---|
committer | Ingela Anderton Andin <[email protected]> | 2010-09-15 14:34:58 +0200 |
commit | 6a933540f24e76c05cc652acbf2aa92b9ab76d58 (patch) | |
tree | 09109c4569002173d90faf5134bf3f9e9a0ed174 /lib/public_key/src | |
parent | 3f336f1b6f2854618146e882b04e8cbc50d1111e (diff) | |
download | otp-6a933540f24e76c05cc652acbf2aa92b9ab76d58.tar.gz otp-6a933540f24e76c05cc652acbf2aa92b9ab76d58.tar.bz2 otp-6a933540f24e76c05cc652acbf2aa92b9ab76d58.zip |
Corrected and added dialyzer specs
Diffstat (limited to 'lib/public_key/src')
-rw-r--r-- | lib/public_key/src/pubkey_cert.erl | 4 | ||||
-rw-r--r-- | lib/public_key/src/public_key.erl | 1 |
2 files changed, 2 insertions, 3 deletions
diff --git a/lib/public_key/src/pubkey_cert.erl b/lib/public_key/src/pubkey_cert.erl index e704c168f1..c1819e6ddc 100644 --- a/lib/public_key/src/pubkey_cert.erl +++ b/lib/public_key/src/pubkey_cert.erl @@ -290,7 +290,7 @@ is_fixed_dh_cert(#'OTPCertificate'{tbsCertificate = %%-------------------------------------------------------------------- --spec verify_fun(#'OTPTBSCertificate'{}, {bad_cert, atom()} | {extension, #'Extension'{}}| +-spec verify_fun(#'OTPCertificate'{}, {bad_cert, atom()} | {extension, #'Extension'{}}| valid, term(), fun()) -> term(). %% %% Description: Gives the user application the opportunity handle path @@ -313,7 +313,7 @@ verify_fun(Otpcert, Result, UserState0, VerifyFun) -> {extension, #'Extension'{critical = true}} -> throw({bad_cert, unknown_critical_extension}); _ -> - UserState + UserState end end. diff --git a/lib/public_key/src/public_key.erl b/lib/public_key/src/public_key.erl index 9c7817fa8e..6de5f388dc 100644 --- a/lib/public_key/src/public_key.erl +++ b/lib/public_key/src/public_key.erl @@ -528,7 +528,6 @@ path_validation([DerCert | _] = Path, {error, Reason} end. - validate(DerCert, #path_validation_state{working_issuer_name = Issuer, working_public_key = Key, working_public_key_parameters = |