-
1. Re: Protocol validation on compilation time using scribble
Here are some explanations regarding what I would like to do:
(1)Write protocol specification using Scribble -> (2)implement Java code that uses this protocol -> (3)Compile the java code
At compilation time (3) I would like to use a tool (maybe a plugin for a java compiler or some kind of assertion mechanism ) that checks if the code I wrote respects the protocol or not. If this tool exists, it should inform me if the code does not respect the protocol and the compilation should fail.
I have read that Session Java offers this kind of capabilities(i.e check if code implements protocols correctly at compilation time).
Note that I am new to sessions and protocols and that English is not my main language.
-
2. Re: Protocol validation on compilation time using scribble
Hi Radu
The scribble tools on this site don't offer the functionality you require. However it is a future goal to be able to statically check code.
In terms of session java, it may be better to ask you question on this mailing list (https://groups.google.com/forum/?hl=en#!forum/scribble-lang).
Regards
Gary
-
3. Re: Protocol validation on compilation time using scribble
Thank you for the quick response.
Regarding session java, I know now for a fact that it can be used for my needs.
Respectfully,
Radu Portase