From 94efcd8b62cc99cc44e6ce873c9dbb408d17974d Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 3 Feb 2019 19:03:00 -0700
Subject: [PATCH] Created intial managers

---
 .../main/java/manager/DefinitionManager.java  | 11 +++++++
 .../src/main/java/manager/ManagerConfig.java  | 30 +++++++++++++++++++
 .../src/main/java/manager/ProofManager.java   | 11 +++++++
 .../src/main/java/manager/TheoremManager.java | 11 +++++++
 4 files changed, 63 insertions(+)
 create mode 100644 pandamonium-theorem-prover/persistence/src/main/java/manager/DefinitionManager.java
 create mode 100644 pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
 create mode 100644 pandamonium-theorem-prover/persistence/src/main/java/manager/ProofManager.java
 create mode 100644 pandamonium-theorem-prover/persistence/src/main/java/manager/TheoremManager.java

diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/DefinitionManager.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/DefinitionManager.java
new file mode 100644
index 0000000..f6f98d6
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/DefinitionManager.java
@@ -0,0 +1,11 @@
+package manager;
+
+import dao.DefinitionDao;
+import lombok.AllArgsConstructor;
+import org.springframework.stereotype.Component;
+
+@Component
+@AllArgsConstructor
+class DefinitionManager {
+    final private DefinitionDao definitionDao;
+}
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
new file mode 100644
index 0000000..2de5b2d
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
@@ -0,0 +1,30 @@
+package manager;
+
+import dao.DefinitionDao;
+import dao.ProofDao;
+import dao.TheoremDao;
+import org.springframework.context.annotation.Bean;
+import org.springframework.context.annotation.ComponentScan;
+import org.springframework.context.annotation.Configuration;
+import org.springframework.context.annotation.PropertySource;
+
+@Configuration
+@ComponentScan
+@PropertySource("classpath:development.properties")
+public class ManagerConfig {
+
+    @Bean
+    public TheoremManager theoremManager() {
+        return new TheoremManager(new TheoremDao());
+    }
+
+    @Bean
+    public DefinitionManager definitionManager() {
+        return new DefinitionManager(new DefinitionDao());
+    }
+
+    @Bean
+    public ProofManager proofManager() {
+        return new ProofManager(new ProofDao());
+    }
+}
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/ProofManager.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/ProofManager.java
new file mode 100644
index 0000000..4f50c14
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/ProofManager.java
@@ -0,0 +1,11 @@
+package manager;
+
+import dao.ProofDao;
+import lombok.AllArgsConstructor;
+import org.springframework.stereotype.Component;
+
+@Component
+@AllArgsConstructor
+class ProofManager {
+    final private ProofDao proofDao;
+}
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/TheoremManager.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/TheoremManager.java
new file mode 100644
index 0000000..7956c4d
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/TheoremManager.java
@@ -0,0 +1,11 @@
+package manager;
+
+import dao.TheoremDao;
+import lombok.AllArgsConstructor;
+import org.springframework.stereotype.Component;
+
+@Component
+@AllArgsConstructor
+class TheoremManager {
+    final private TheoremDao theoremDao;
+}