Created intial managers

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;
+}

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());
+    }
+}

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;
+}

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;
+}