jml

1La chaleur

2Répondre

J'utilise Eclipse pour programmer en Java. J'ai essayé d'installer à partir de this site par l'intermédiaire du programme de mise à jour d'Eclipse mais bien qu'il n'ait pas déclenché d'erreur, je ne v

1La chaleur

2Répondre

contrats vs Exceptions

Supposons que je le code suivant: public class MainClass { public static void main(String[] args) { System.out.println(sumNumbers(10, 10)); } //@requires a >= 10; //@ensures

1La chaleur

1Répondre

JML: Comment spécifier une exigence d'un tableau avec des éléments en croissant?

Je veux faire en JML: //@ requires (\forall int i : array[i] < array[i+1]) void calculatesDistances(int[] array){ .. } Je ne pouvais pas le faire fonctionner, a vu beaucoup d'exemples dans les sp

3La chaleur

2Répondre

déclaration avec retour dans JML

i besoin de mettre en place une postcondition qui assure à retourner null si size_ est 0. Basé sur if(size_ == 0) return null; comment puis-je faire en JML? des idées? A la suite ne fonctionne

0La chaleur

1Répondre

Comment configurer mon environnement pour ESC/Java2 sous Windows et générer/exécuter avec ESC/Java2?

Comment configurer mon environnement d'exécution pour ESC/Java2 sous Windows XP? Et de plus, comment puis-je construire et exécuter, dans WindowsXP, des projets avec ESC/Java2. Il est difficile de dir

0La chaleur

1Répondre

Evaluation JML de \ old (Expression [Id])

Je voudrais savoir comment est évaluée une expression JML de la forme \old(Expression[Id]), c'est-à-dire si j'ai l'expression \old(vector[value-1]), est ce que le \old fait aussi référence à "valeur"