From ae9b27d941604e62fd57e728c7f7df488c598912 Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 3 Feb 2019 19:09:46 -0700
Subject: [PATCH] Created the initial NotationDao and NotationDto, and
 NotationManager

---
 .../persistence/src/main/java/dao/NotationDao.java    |  4 ++++
 .../persistence/src/main/java/dto/NotationDto.java    |  4 ++++
 .../src/main/java/manager/ManagerConfig.java          |  6 ++++++
 .../src/main/java/manager/NotationManager.java        | 11 +++++++++++
 4 files changed, 25 insertions(+)
 create mode 100644 pandamonium-theorem-prover/persistence/src/main/java/dao/NotationDao.java
 create mode 100644 pandamonium-theorem-prover/persistence/src/main/java/dto/NotationDto.java
 create mode 100644 pandamonium-theorem-prover/persistence/src/main/java/manager/NotationManager.java

diff --git a/pandamonium-theorem-prover/persistence/src/main/java/dao/NotationDao.java b/pandamonium-theorem-prover/persistence/src/main/java/dao/NotationDao.java
new file mode 100644
index 0000000..b4d1524
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/dao/NotationDao.java
@@ -0,0 +1,4 @@
+package dao;
+
+public class NotationDao extends BaseDao {
+}
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/dto/NotationDto.java b/pandamonium-theorem-prover/persistence/src/main/java/dto/NotationDto.java
new file mode 100644
index 0000000..8084dd9
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/dto/NotationDto.java
@@ -0,0 +1,4 @@
+package dto;
+
+public class NotationDto extends BaseDto {
+}
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
index 2de5b2d..c2c4417 100644
--- a/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
@@ -1,6 +1,7 @@
 package manager;
 
 import dao.DefinitionDao;
+import dao.NotationDao;
 import dao.ProofDao;
 import dao.TheoremDao;
 import org.springframework.context.annotation.Bean;
@@ -27,4 +28,9 @@ public class ManagerConfig {
     public ProofManager proofManager() {
         return new ProofManager(new ProofDao());
     }
+
+    @Bean
+    public NotationManager notationManager() {
+        return new NotationManager(new NotationDao());
+    }
 }
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/NotationManager.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/NotationManager.java
new file mode 100644
index 0000000..a8e6d0f
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/NotationManager.java
@@ -0,0 +1,11 @@
+package manager;
+
+import dao.NotationDao;
+import lombok.AllArgsConstructor;
+import org.springframework.stereotype.Component;
+
+@Component
+@AllArgsConstructor
+class NotationManager {
+    final private NotationDao notationDao;
+}