[ANN] PreconditionPlugin 1.1 available
Hi all,
i've fixed some bugs (thanks Tobin) and added class invariant generation.
Read more about it and download at
http://www.intellij.org/twiki/bin/view/Main/PreconditionPlugin
Please report problems, suggestions, etc.
thanks!
/Ole
请先登录再写评论。
Hi Ole
Your idea and how you have coded the plugin is great. The setup in xml-files and types can inherit preconditions is great.
However I found some problems.
I have this simple method
If I set preconditons for both variables using the dialog I get the Exception:
thanks for your report... I'll look at it (and fix it hopefully) tonight..
regards
/Ole
"Claus Ibsen" <cib_rejse@yahoo.dk> wrote in message
news:5651042.1038323074544.JavaMail.jrun@is.intellij.net...
>
xml-files and types can inherit preconditions is great.
>
>
>
>
Exception:
>
Hi Ole
Another problem
I have the same method
0 : "Argument name in method DummyBean.doit must not be empty"; }]]>Where I already have a precondition for the name variable. Now I add a precondition for the age varaible and I select lager than 0. I get the wrong code below
It uses the wrong variable name, as it uses the name variable and not the age variable.
Another minor issue is that if your method is empty and you add a precondition the caret is moved to the end of the method, right before the last }. However if there is some code in the method the caret is correctly moved to the next line.
And why is it possible to select
>]]>
at "select method" in the dialog?
Hi!
This option should be selected by default if the caret is not within any
method..
regards!
/Ole
"Claus Ibsen" <cib_rejse@yahoo.dk> wrote in message
news:2353611.1038323519578.JavaMail.jrun@is.intellij.net...
>
>
>
>
Thanks again.. gonna be a long (and rewarding) night..
:)
/Ole
"Claus Ibsen" <cib_rejse@yahoo.dk> wrote in message
news:4573036.1038323366206.JavaMail.jrun@is.intellij.net...
>
>
>
>
precondition for the age varaible and I select lager than 0. I get the wrong
code below
>
>
not the age variable.
>
>
precondition the caret is moved to the end of the method, right before the
last }. However if there is some code in the method the caret is correctly
moved to the next line.