PreconditionPlugin  HOME INDEX SEARCH CHANGES GO

PreconditionPlugin What is it? A precondition/class-invariant generator, ie a tool that can insert assert statements at the beginning of a method for validating input arguments. create methods for checking class invariants This plugin is not a complete Design by Contract implementation, but it provides some of the basics. amateur clips amateur movies amateur videos anal clips anal movies anal videos asian clips asian movies asian videos bbw clips bbw movies bbw videos black ebony clips black ebony movies black ebony videos fuck clips fuck movies fuck videos latina clips latina movies latina videos lesbian clips lesbian movies lesbian videos milf clips milf movies milf videos shemale clips shemale movies shemale videos teen clips teen movies teen videos big tits clips big tits movies big tits videos blowjob clips blowjob movies blowjob videos blowjob clips blowjob movies blowjob videos footjob clips footjob movies footjob videos gangbang ogry clips gangbang ogry movies gangbang ogry videos handjob clips handjob movies handjob videos interracial clips interracial movies interracial videos voyeur clips voyeur movies voyeur videos gay clips gay movies gay videos How does it work Pressing Shift-Ctrl-T shows a dialog in which you can select one of the current classes methods and for each argument specify a precondition. When pressing OK the specified assert statement are generated into the code. Pressing Shift-Ctrl-I shows a dialog in which you can select a condition for each of the current classes fields. When pressing OK a "checkInvariant" method is generated checking the specified conditions. Available preconditions are configured in an external preconditions.xml file which maps preconditions and their error messages to specific types. The plugin "understands" inheritance and implementation, ie configuring a precondition for java.util.List will also make it applicable on java.util.ArrayList. Have a look at the file included and you'll get the hang of it.. Please share your precondition configurations with the rest of us, either by attaching them to this page or by inserting them into the zip WARNING This plugin uses the unpublished ProgramStructureInterface. Newer versions of IDEA may break this plugin. Please refer to ProgramStructureInterface for conditions of use. In short: use at your own risk and dont bug the IntelliJ people about it. Change History 1.0 Initial version 1.1 Added class invariant generation and fixed some bugs 1.2 Bugfixes only 1.3 Added ability to work with if conditions and exceptions rather than just assert statements. Future Improvements Configuration of preconditions from within the IDE settings -- GlenStampoultzis - 25 Mar 2003 IntelliJPluginWebForm IntelliJPluginName: IntelliJPluginVersion: IntelliJPluginVendor: IntelliJPluginBinary: IntelliJPluginSource: IntelliJPluginClassification: TopicClassification: IntelliJPluginPackage TopicShortDescription: Generate precondition and class invariant assertions, fully configurable TestedOnOS: OsWin2K, OsWinXP ShouldRunOnOS: AnyOS Attachment: Action: Size: Date: Who: Comment: PreconditionPlugin.zip action 57973 25 Mar 2003 - 00:57 GlenStampoultzis Version 1.3, includes source and libs preconditions.xml action 2736 23 Nov 2002 - 00:14 OleMatzura default configuration

e d i t a t t a c h r e f - b y d i f f s m o r e Have ideas, requests, problems regarding this site? Send feedback. Copyright © 2000-2003 by the contributing authors. All materials at intellij.org are the property of the contributing authors.