Riccardo Bernardini
2017-08-04 14:56:25 UTC
Dear all,
I am planning to write a CoAP library in Ada/SPARK [1] (why? Partly because
it is fun, partly as a tough exercise in SPARK, partly for a future project
of mine).
My question is: does it exist an official API (or a preferred one) for
CoAP?
So far
(1) I went to the "Implementation" page (
http://coap.technology/impls.html) where I saw several implementations, but
no reference to a common API. I could take inspiration from an
implementation, but which one?
(2) I searched the mail archive for "API" (
https://mailarchive.ietf.org/arch/search/?email_list=core&gbt=1&q=API ),
but browsing the "Subject" of the resulting 139 messages, I did not see
anything promising (with the exception of "Common request/response API,"
but as I understand it is related to defining a set of exceptions)
Thank you in advance for your help
Riccardo
[1] https://en.wikipedia.org/wiki/SPARK_(programming_language)
I am planning to write a CoAP library in Ada/SPARK [1] (why? Partly because
it is fun, partly as a tough exercise in SPARK, partly for a future project
of mine).
My question is: does it exist an official API (or a preferred one) for
CoAP?
So far
(1) I went to the "Implementation" page (
http://coap.technology/impls.html) where I saw several implementations, but
no reference to a common API. I could take inspiration from an
implementation, but which one?
(2) I searched the mail archive for "API" (
https://mailarchive.ietf.org/arch/search/?email_list=core&gbt=1&q=API ),
but browsing the "Subject" of the resulting 139 messages, I did not see
anything promising (with the exception of "Common request/response API,"
but as I understand it is related to defining a set of exceptions)
Thank you in advance for your help
Riccardo
[1] https://en.wikipedia.org/wiki/SPARK_(programming_language)