English translation for "jml"

jml

Example Sentences:

	1.	Independent groups are working on tools that make use of JML annotations. En plus de cet outil, des groupes indépendants travaillent sur des outils utilisant JML.
	2.	Java comments are interpreted as JML annotations when they begin with an @ sign. Ces commentaires Java sont interprétés comme annotations JML lorsqu'ils commencent par un @.
	3.	JML specifications are added to Java code in the form of annotations in comments. Les spécifications JML sont ajoutées au code Java sous forme d'annotations dans les commentaires.
	4.	Various verification tools, such as a runtime assertion checker and the Extended Static Checker (ESC/Java) aid development. Il existe divers outils de vérification pour JML, tels qu'un exécutable de vérification d'assertions et que l'Extended Static Checker (ESC/Java).
	5.	JML annotations also have access to Java objects, object methods and operators that are within the scope of the method being annotated and that have appropriate visibility. Les annotations JML ont aussi accès aux objets Java, aux méthodes et opérateurs accessibles par la méthode annotée.
	6.	The Iowa State JML tools provide an assertion checking compiler jmlc which converts JML annotations into runtime assertions, a documentation generator jmldoc which produces Javadoc documentation augmented with extra information from JML annotations, and a unit test generator jmlunit which generates JUnit test code from JML annotations. L'outil Iowa State JML permet de convertir les annotations JML en exécutable d'assertions via un compilateur de vérification d'assertion jmlc, de générer une Javadoc améliorée incluant des informations tirées des spécifications JML, et de générer des tests unitaires pour JUnit via le générateur jmlunit.
	7.	The Iowa State JML tools provide an assertion checking compiler jmlc which converts JML annotations into runtime assertions, a documentation generator jmldoc which produces Javadoc documentation augmented with extra information from JML annotations, and a unit test generator jmlunit which generates JUnit test code from JML annotations. L'outil Iowa State JML permet de convertir les annotations JML en exécutable d'assertions via un compilateur de vérification d'assertion jmlc, de générer une Javadoc améliorée incluant des informations tirées des spécifications JML, et de générer des tests unitaires pour JUnit via le générateur jmlunit.
	8.	The Iowa State JML tools provide an assertion checking compiler jmlc which converts JML annotations into runtime assertions, a documentation generator jmldoc which produces Javadoc documentation augmented with extra information from JML annotations, and a unit test generator jmlunit which generates JUnit test code from JML annotations. L'outil Iowa State JML permet de convertir les annotations JML en exécutable d'assertions via un compilateur de vérification d'assertion jmlc, de générer une Javadoc améliorée incluant des informations tirées des spécifications JML, et de générer des tests unitaires pour JUnit via le générateur jmlunit.
	9.	Basic JML also provides the following expressions \result An identifier for the return value of the method that follows. \old() A modifier to refer to the value of the at the time of entry into a method. (\forall ; ; ) The universal quantifier. (\exists ; ; ) The existential quantifier. a ==> b a implies b a b a if and only if b as well as standard Java syntax for logical and, or, and not. Le JML fournit aussi de base les expressions suivantes : \result Un identifiant pour la valeur de retour de la méthode qui suit. \old() Un modificateur pour se reporter à la valeur de la variable au moment de l'appel de la méthode. \forall Le quantificateur universel, pour tout. \exists Le quantificateur existentiel, il existe. a ⇒ b La relation logique a implique b a ⇔ b La relation logique a équivaut à b ainsi que les éléments logiques standards et, ou, et non de la syntaxe Java.

Similar Words：

"jme" English translation, "jmeijme" English translation, "jmerynka" English translation, "jmf" English translation, "jmj (homonymie)" English translation, "jmm" English translation, "jmo" English translation, "jmodelica.org" English translation, "jmol" English translation