clojure - How do I properly annotate overloaded Java methods? -


in working annotate clojang, i'm having trouble protocol methods call overloaded java methods. i've narrowed problem down following minimal tricky case 'clojang.jinterface.otp.nodes:

(ns clojang.jinterface.otp.nodes   (:require [clojure.core.typed :as t :refer [ann ann-protocol]]             [clojure.core.typed.utils :refer [defprotocol]])   (:import [com.ericsson.otp.erlang otptransport]            [java.net inetaddress])   (:refer-clojure :exclude [defprotocol]))  (ann-protocol abstractnodeobject   create-transport   (t/ifn [abstractnodeobject inetaddress int -> (t/nilable otptransport)]          [abstractnodeobject string int -> (t/nilable otptransport)])) (defprotocol abstractnodeobject   (create-transport [this addr port-num]     "create instance of ``otptransport``."))  (extend-type abstractnode   abstractnodeobject   (create-transport [this addr port-num]     (.createtransport addr port-num)))

per jinterface javadocs, abstractnode.createtransport can take java.lang.string or java.net.inetaddress addr. while believe i've annotated correctly in ann-protocol form, core.typed complains implementation (on last line in example). suspect can somehow fix using t/inst, have yet sort out exact incantation.

i know add type hint, ^string or ^inetaddress arglist (on second last line of example) , remove other clause corresponding t/ifn form above, how can tell core.typed either type viable?

after brief discussion ambrose on irc, solution we've reached branch on (string? addr) follows:

(create-transport [this addr port-num]   (if (string? addr)     (.createtransport ^string addr port-num)     (.createtransport ^inetaddress addr port-num)))

and replace ifn annotation with:

[abstractnodeobject (t/u string inetaddress) int -> (t/nilable otptransport)]

Comments

Post a Comment

Popular posts from this blog

sublimetext3 - what keyboard shortcut is to comment/uncomment for this script tag in sublime -

Image
i have script tag in code, keyboard shortcut comment/uncomment script tag in sublime. after selecting script open , close tag. <script src="http://code.jquery.com/jquery-latest.min.js" type="text/javascript"> </script> i pressing ctrl + shift + / , getting this /*<script src="http://code.jquery.com/jquery-latest.min.js" type="text/javascript"> </script>*/ also pressed ctrl + / , got this // <script src="http://code.jquery.com/jquery-latest.min.js" type="text/javascript"> // </script> instead of <!-- <script src="http://code.jquery.com/jquery-latest.min.js" type="text/javascript"> </script> --> script open , close tag in 2 lines not in 1 line , not have spaces too. for mac,high light lines want comment. hold 'command , / ' commented. for windows: high line or select lines ,then hold ctrl + / if not work: ...
Read more

post - imageshack API cURL -

i credentials correct. when send image through form this:(action="http://api.imageshack.com/v2/images/"). working fine when tried send $ch = curl_init($url); failed. code: enter code here <form action="" method="post" enctype="multipart/form-data"> select image upload: <input type="file" name="file" id="file" multiple> <input type="text" name="auth_token" id="auth_token" value="xxxxxxxxxxxxxxxx"> <input type="text" name="api_key" id="api_key" value="xxxxxxxxxxxxxxx"> <input type="submit" value="upload image" > </form> $url = ' http://api.imageshack.com/v2/images/ '; $temp = $_files["file"]['tmp_name']; echo $temp."<br>" ; $ch = curl_init($url); curl_setopt($ch, curlopt_post, true); curl...
Read more

dataset - MPAndroidchart returning no chart Data available -

i having problems mpandroidchart. adding temperature , humidity data chart, displays "no chart data available". here can see bug is? super grateful! //create data //set size of data int size = list.size(); if (size > 24){ size = 24;} //create lists form temp , hum arraylist<entry> temps = new arraylist<entry>(); arraylist<entry> hums = new arraylist<entry>(); //fill list temp values (int = 0; < size; i++){ entry value = new entry(math.round(list.get(list.size()-size + i).temp), (size-i)); temps.add(value); } //fill list hum values (int = 0; < size; i++){ entry value = new entry(math.round(list.get(list.size()-size + i).hum), (size-i)); hums.add(value); } ...
Read more