Protocol validation on compilation time using scribble

[raduportase]

Hello,

I would like to know if I can use existing Scribble tools to check if a Java code respects the given protocol at compilation time.

[raduportase]

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.

[objectiser]

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

[raduportase]

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