From f4d3a11e8028741e1ca971c2908719a13f0fe90f Mon Sep 17 00:00:00 2001 From: lfainsin Date: Sat, 5 Dec 2020 13:48:44 +0000 Subject: [PATCH] mauvaise extension de fichier git-svn-id: http://cregut.svn.enseeiht.fr/2020/1sn/pim/projets/GH-05@207223 e13453a9-b01f-0410-a051-f404c4f0c485 --- README.md | 3 +-- livrables/raffinages.txt | 2 +- src/{googleNaive.ada => googleNaive.adb} | 0 src/googleNaive.ads | 2 -- src/{pageRank.ada => pageRank.adb} | 0 5 files changed, 2 insertions(+), 5 deletions(-) rename src/{googleNaive.ada => googleNaive.adb} (100%) rename src/{pageRank.ada => pageRank.adb} (100%) diff --git a/README.md b/README.md index 40493ac..531ccf4 100644 --- a/README.md +++ b/README.md @@ -57,5 +57,4 @@ communiquez avec votre coéquipier ! # Autres informations Vous pouvez ajouter ici toute information utile pour comprendre -l'organisation de votre dépôt... - +l'organisation de votre dépôt... \ No newline at end of file diff --git a/livrables/raffinages.txt b/livrables/raffinages.txt index c4e672f..2fa7242 100644 --- a/livrables/raffinages.txt +++ b/livrables/raffinages.txt @@ -43,7 +43,7 @@ R2: Comment « Récupérer les arguments de la ligne de commande » ? Afficher les consignes d'utilisation Fin Si -R2: Comment « Traiter les arguments » ? +R3: Comment « Traiter les arguments » ? ite_max ← 150 alpha ← 0.85 naif ← False diff --git a/src/googleNaive.ada b/src/googleNaive.adb similarity index 100% rename from src/googleNaive.ada rename to src/googleNaive.adb diff --git a/src/googleNaive.ads b/src/googleNaive.ads index 4fda6f3..6aa8c9c 100644 --- a/src/googleNaive.ads +++ b/src/googleNaive.ads @@ -14,8 +14,6 @@ package googleNaive is function "*"(left: T_Google; right: Integer) return T_Google; function "/"(left: T_Google; right: Integer) return T_Google; - function isEmpty(mat: T_Google) return Boolean; - procedure initialize(mat: in out T_Google) with Post => isEmpty(mat); diff --git a/src/pageRank.ada b/src/pageRank.adb similarity index 100% rename from src/pageRank.ada rename to src/pageRank.adb