|
@@ -5,15 +5,18 @@ import TypeAdapter.ColorAdapter;
|
|
|
import TypeAdapter.PairAdapter;
|
|
|
import TypeAdapter.PositionAdapter;
|
|
|
import classes.*;
|
|
|
+
|
|
|
import com.google.gson.Gson;
|
|
|
import com.google.gson.GsonBuilder;
|
|
|
import com.google.gson.JsonObject;
|
|
|
+
|
|
|
import interfaces.CategoryListener;
|
|
|
import interfaces.GraphListener;
|
|
|
import interfaces.ObjectListener;
|
|
|
import ui.view.*;
|
|
|
|
|
|
import javax.swing.*;
|
|
|
+
|
|
|
import java.awt.*;
|
|
|
import java.util.*;
|
|
|
import java.util.List;
|
|
@@ -54,6 +57,9 @@ public class Model {
|
|
|
private float maxCapacity;
|
|
|
// Table for HolonElements --> all cells are editable
|
|
|
private JTable tableHolonElement;
|
|
|
+ /** Table for the properties of HolonObjects, Edges etc */
|
|
|
+ private JTable propertyTable;
|
|
|
+
|
|
|
private ArrayList<GraphListener> graphListeners = new ArrayList();
|
|
|
// Iteration Speed
|
|
|
private int timerSpeed = 1000;
|
|
@@ -697,6 +703,20 @@ public class Model {
|
|
|
public void setTableHolonElement(JTable tableHolonElement) {
|
|
|
this.tableHolonElement = tableHolonElement;
|
|
|
}
|
|
|
+
|
|
|
+ /**
|
|
|
+ * @return the tableProperties
|
|
|
+ */
|
|
|
+ public JTable getTableProperties() {
|
|
|
+ return propertyTable;
|
|
|
+ }
|
|
|
+
|
|
|
+ /**
|
|
|
+ * @return the tableProperties
|
|
|
+ */
|
|
|
+ public void setTableProperties(JTable propertyTable) {
|
|
|
+ this.propertyTable = propertyTable;
|
|
|
+ }
|
|
|
|
|
|
/**
|
|
|
* Returns the sCale (Scale for the Images).
|