From a4530e84c84b509edcd6ae823999c2f2c0cd66db Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E2=80=9CKhaoula?=
<“khaoula.arouissi@imt-atlantique.net”>
Date: Wed, 9 Oct 2024 16:41:40 +0200
Subject: [PATCH] interface
---
.gitignore | 4 +-
.settings/org.eclipse.core.resources.prefs | 3 ++
.settings/org.eclipse.jdt.core.prefs | 8 ++++
.../java/org/{example => petriNet}/Main.java | 2 +-
.../java/org/petriNet/PetriNetService.java | 15 ++++++++
src/main/java/org/petriNet/ReseauPerti.java | 38 +++++++++++++++++++
6 files changed, 68 insertions(+), 2 deletions(-)
create mode 100644 .settings/org.eclipse.core.resources.prefs
create mode 100644 .settings/org.eclipse.jdt.core.prefs
rename src/main/java/org/{example => petriNet}/Main.java (84%)
create mode 100644 src/main/java/org/petriNet/PetriNetService.java
create mode 100644 src/main/java/org/petriNet/ReseauPerti.java
diff --git a/.gitignore b/.gitignore
index 11a805f..576c1ce 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,6 @@
.classpath
bin/
*.class
-.DS_Store
\ No newline at end of file
+.DS_Store
+/target/
+.DS_Store
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 0000000..e9441bb
--- /dev/null
+++ b/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,3 @@
+eclipse.preferences.version=1
+encoding//src/main/java=UTF-8
+encoding/<project>=UTF-8
diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000..2af1e7b
--- /dev/null
+++ b/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,8 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
+org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=ignore
+org.eclipse.jdt.core.compiler.release=disabled
+org.eclipse.jdt.core.compiler.source=11
diff --git a/src/main/java/org/example/Main.java b/src/main/java/org/petriNet/Main.java
similarity index 84%
rename from src/main/java/org/example/Main.java
rename to src/main/java/org/petriNet/Main.java
index 407f157..61581ef 100644
--- a/src/main/java/org/example/Main.java
+++ b/src/main/java/org/petriNet/Main.java
@@ -1,4 +1,4 @@
-package org.example;
+package org.petriNet;
public class Main {
public static void main(String[] args) {
diff --git a/src/main/java/org/petriNet/PetriNetService.java b/src/main/java/org/petriNet/PetriNetService.java
new file mode 100644
index 0000000..76cb725
--- /dev/null
+++ b/src/main/java/org/petriNet/PetriNetService.java
@@ -0,0 +1,15 @@
+package org.petriNet;
+
+public interface PetriNetService {
+
+ public void ajouterPlace(Place place);
+
+ public void ajouterTransition(Transition transition);
+
+ public void ajouterArc(Arc arc);
+
+ public void tirerTransition(Transition transition);
+
+ public void afficherEtat();
+
+}
diff --git a/src/main/java/org/petriNet/ReseauPerti.java b/src/main/java/org/petriNet/ReseauPerti.java
new file mode 100644
index 0000000..2282314
--- /dev/null
+++ b/src/main/java/org/petriNet/ReseauPerti.java
@@ -0,0 +1,38 @@
+package org.petriNet;
+
+public class ReseauPerti implements PetriNetService {
+
+
+
+ @Override
+ public void ajouterPlace(Place place) {
+ // TODO Auto-generated method stub
+
+ }
+
+ @Override
+ public void ajouterTransition(Transition transition) {
+ // TODO Auto-generated method stub
+
+ }
+
+ @Override
+ public void ajouterArc(Arc arc) {
+ // TODO Auto-generated method stub
+
+ }
+
+ @Override
+ public void tirerTransition(Transition transition) {
+ // TODO Auto-generated method stub
+
+ }
+
+ @Override
+ public void afficherEtat() {
+ // TODO Auto-generated method stub
+
+ }
+
+
+}
--
GitLab