This is the mail archive of the kawa@sources.redhat.com mailing list for the Kawa project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: warnings when calling methods from Java interfaces, not classes


(define random-gen :: <java.security.SecureRandom>
  (invoke-static <java.security.SecureRandom> 'getInstance "SHA1PRNG"))
(define (foo key-gen :: <java.security.KeyPairGenerator>)
  (invoke key-gen 'initialize (as <int> 1024) random-gen))

I don't know why the cast of 1024 to <int> is needed. Probably Kawa could be smarter here.

I created a BugZilla bug report for this so I wouldn't forget it:

http://savannah.gnu.org/bugs/?func=detailbug&bug_id=6268&group_id=145

--
	--Per Bothner
per@bothner.com   http://per.bothner.com/


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]