Définition de la signature des automates

diff --git a/automata/automata.ml b/automata/automata.ml
index 3fbe032f2bc348d4b78d97204e23ee9cb48e7c14..3183f5330ed96db185b4ffc893b2965b1cd31300 100644 (file)
--- a/automata/automata.ml
+++ b/automata/automata.ml
@@ -12,3 +12,23 @@
  * You should have received a copy of the GNU Affero General Public License along
  * with this program. If not, see <https://www.gnu.org/licenses/>.
  *)
+
+module type Automaton = sig
+  val name : string
+
+  type t
+
+  val neighbours : (int * int) list
+
+  val transition : t list -> t -> t
+
+  val default : t
+
+  val prev : t -> t
+
+  val next : t -> t
+
+  val color : t -> Graphics.color
+end
+
+let automata = []

diff --git a/automata/automata.mli b/automata/automata.mli
index 3fbe032f2bc348d4b78d97204e23ee9cb48e7c14..4b129983742e2e22c0ba22be08267e02161e901e 100644 (file)
--- a/automata/automata.mli
+++ b/automata/automata.mli
@@ -12,3 +12,23 @@
  * You should have received a copy of the GNU Affero General Public License along
  * with this program. If not, see <https://www.gnu.org/licenses/>.
  *)
+
+module type Automaton = sig
+  val name : string
+
+  type t
+
+  val neighbours : (int * int) list
+
+  val transition : t list -> t -> t
+
+  val default : t
+
+  val prev : t -> t
+
+  val next : t -> t
+
+  val color : t -> Graphics.color
+end
+
+val automata : (module Automaton) list

diff --git a/automata/dune b/automata/dune
index 07028bf7282cc0d5c05834ab22da47bb23c93a6c..c503e3a1950079c7beaa902ebbad497b145841a9 100644 (file)
--- a/automata/dune
+++ b/automata/dune
@@ -1,2 +1,5 @@
+(include_subdirs unqualified)
+
 (library
- (name automata))
+ (name automata)
+ (libraries graphics))

diff --git a/bin/dune b/bin/dune
index 3909b043359a6b959962d51bf1924e7880d5343c..6313089927478898cb978cb7dcb740d99568bffe 100644 (file)
--- a/bin/dune
+++ b/bin/dune
@@ -1,4 +1,4 @@
 (executable
  (public_name cells)
  (name main)
- (libraries automata))
+ (libraries automata graphics))

diff --git a/bin/main.ml b/bin/main.ml
index d2fb53028e5655a5694dc04a2fb568cf3e220265..f79aac181be28413310104f3a4ff54f53a4e3509 100644 (file)
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -13,4 +13,9 @@
  * with this program. If not, see <https://www.gnu.org/licenses/>.
  *)
 
-let () = Printf.printf "Hello, world !\n"
+let () =
+        List.iter
+          (fun m ->
+            let module Automaton = (val m : Automata.Automaton) in
+            Printf.printf "%s\n" Automaton.name)
+          Automata.automata

diff --git a/dune-project b/dune-project
index 950fc33aab855568b3dfe8ad957cfd7870e63331..68b953cee678142257bf46d98ff219580bf8f446 100644 (file)
--- a/dune-project
+++ b/dune-project
@@ -18,5 +18,5 @@
  (name cells)
  (synopsis "Un simulateur d'automates cellulaires.")
  (description "Un système pour simuler n'importe quel automate cellulaire en deux dimensions (à condition d'en faire un module OCaml).")
- (depends ocaml dune)
+ (depends ocaml dune graphics)
  (tags ("cellular" "automaton" "automata")))