MaDKit forum

Welcome All !
Please, use explicit topic names when creating new threads. Thanks.

You are not logged in.

#1 Re: HowTo » Intégrer une nouvelle bibliothèque dans madkit. » 2011-01-12 11:35:47

Bonjour,

En effet le jar existe dans les librairies référencées et  lorsque je l'importe, Eclipse m'affiche "The import jcsp  cannot be resolved".

Bon je suis désolée, mais j'ai pas réussi à afficher l'image ici, vous trouver un lien vers l'image.

http://www.facebook.com/photo.php?fbid= … 1622913963

Merci.

#2 Re: HowTo » Intégrer une nouvelle bibliothèque dans madkit. » 2011-01-10 09:58:48

Bonjour,

oui bien sûr, déjà j'ai fait comme m'a mentionner Mr saber dans les messages précédents  mais rien ne marche.

#3 Re: HowTo » Intégrer une nouvelle bibliothèque dans madkit. » 2011-01-03 15:53:38

Bonjour,
J’ai encore un problème concernant l’intégration de la bibliothèque JCSP dans madkit.
J’ai copié le fichier « jcsp-1.1-rc4.jar »  dans le dossier «  lib » de madkit et de JDK puis je l’ai spécifié dans le projet en utilisant "required jars" mais ça ne marche pas:"package jcsp.* does not exist"
J’ai suivi  aussi les étapes mentionnées pour utiliser madkit sous eclipse et toujours la même erreur.
Qu’est ce que je dois faire ?

NB: J'ai intégré avant cette bibliothèque sous madkit mais je sais pas c'est quoi le problème cette fois.

Merci.

#4 HowTo » JML en Madkit » 2010-10-12 12:12:44

molka
Replies: 1

Bonjour,

Je veux utiliser le langage JML (Java Modeling Language) qui est un langage de spécification pour java.

Est-ce que je peux utiliser ce langage pour programmer sur  madkit ?

Merci.

#6 Re: HowTo » Intégrer une nouvelle bibliothèque dans madkit. » 2010-01-16 10:31:11

Bonjour,
Je veux utiliser la bibliothèque JCSP. Jar qui génère un code java à partir du SCP.
J’ai rien écrit comme code d’appel vers bibliothèque j’ai juste écrit "import jscp.* ;" et il m’affiche l'erreur "package jcsp does not exist".

Est-ce que je doit spécifier le path de bibliothèque ?

#7 Re: HowTo » Intégrer une nouvelle bibliothèque dans madkit. » 2010-01-13 21:48:01

Bonsoir,
merci de me répondre.
D'ailleurs, c'est ça ce que j'ai fait dés le début mais le problème reste le même. Lorsque j'écris le code spécifique de cette bibliothèque Madkit m'affiche des erreurs, j'ai écrit au début de code d'agent "import ... " mais il ne marche pas. Je sais pas c'est quoi le problème.

#8 HowTo » Intégrer une nouvelle bibliothèque dans madkit. » 2010-01-12 09:23:43

molka
Replies: 13

Bonjour à tous,
Est-ce que c’est possible d’ajouter une nouvelle bibliothèque dans madkit ?
Si oui comment ?
Merci.

Board footer