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

java - No use of nillable="0" in SOAP Webservice -

i have received xsd 3rd party supplier generated java based system; used create soap endpoint receive data transfers. xsd not make use of nillable attribute defined within w3c/xsd namespace, example: <xs:complextype name="customer"> <xs:sequence> <xs:element minoccurs="1" maxoccurs="1" name="id" type="xs:integer"/> <xs:element minoccurs="0" maxoccurs="1" name="titleid" type="xs:integer"/> <xs:element minoccurs="0" maxoccurs="1" name="firstname" type="xs:string"/> <xs:element minoccurs="0" maxoccurs="1" name="familyname" type="xs:string"/> <xs:element minoccurs="0" maxoccurs="1" name="previousname" type="xs:string"/> <xs:element minoccurs="0" maxoccurs="1" nam...
Read more

ubuntu - Laravel 5.2 quickstart guide gives Not Found Error -

edit: think problem due not setting apache properly, these 2 links helped me. solution: http://laravel.io/forum/06-11-2014-not-found-but-route-exists https://www.digitalocean.com/community/tutorials/how-to-set-up-apache-virtual-hosts-on-ubuntu-14-04-lts end edit i'm following laravel 5.2 quickstart guide. https://laravel.com/docs/5.2/quickstart i'm running ubuntu 14.04.2 the website runs initially, when click on add task button run 404 not found error. as per guide run following commands setup complete quickstart project. git clone https://github.com/laravel/quickstart-basic quickstart cd quickstart composer install php artisan migrate additionally run following commands because i'm on ubuntu server: sudo chown -r www-data.www-data quickstart sudo chmod -r 755 quickstart sudo chmod 777 quickstart/storage the routes.php file looks like: <?php use app\task; use illuminate\http\request; route::group(['middleware' => ['web']]...
Read more