From b72911c3498e13551443275848160e9c0fed2375 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 25 Oct 2012 14:31:12 +0200
Subject: [PATCH] moved model classes
---
.../{animator/domainobjects => model/eventb}/EBEvent.java | 3 +--
de.prob.core/src/de/prob/model/eventb/EBMachine.java | 5 ++---
2 files changed, 3 insertions(+), 5 deletions(-)
rename de.prob.core/src/de/prob/{animator/domainobjects => model/eventb}/EBEvent.java (93%)
diff --git a/de.prob.core/src/de/prob/animator/domainobjects/EBEvent.java b/de.prob.core/src/de/prob/model/eventb/EBEvent.java
similarity index 93%
rename from de.prob.core/src/de/prob/animator/domainobjects/EBEvent.java
rename to de.prob.core/src/de/prob/model/eventb/EBEvent.java
index 61a159ca..37899622 100644
--- a/de.prob.core/src/de/prob/animator/domainobjects/EBEvent.java
+++ b/de.prob.core/src/de/prob/model/eventb/EBEvent.java
@@ -1,8 +1,7 @@
-package de.prob.animator.domainobjects;
+package de.prob.model.eventb;
import java.util.Arrays;
-import de.prob.model.eventb.EventB;
import de.prob.model.representation.IEntity;
import de.prob.model.representation.Label;
diff --git a/de.prob.core/src/de/prob/model/eventb/EBMachine.java b/de.prob.core/src/de/prob/model/eventb/EBMachine.java
index b8376256..03c24021 100644
--- a/de.prob.core/src/de/prob/model/eventb/EBMachine.java
+++ b/de.prob.core/src/de/prob/model/eventb/EBMachine.java
@@ -2,7 +2,6 @@ package de.prob.model.eventb;
import java.util.Arrays;
-import de.prob.animator.domainobjects.EBEvent;
import de.prob.model.representation.IEntity;
import de.prob.model.representation.Label;
@@ -31,7 +30,7 @@ public class EBMachine extends Label {
this.variant.addChild(new EventB(variant));
}
- public void addEvent(final String event) {
- events.addChild(new EBEvent(event));
+ public void addEvent(final EBEvent event) {
+ events.addChild(event);
}
}
--
GitLab