diff --git a/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ManagerConfig.java b/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ManagerConfig.java index 7f8a5d5..ddedae9 100644 --- a/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ManagerConfig.java +++ b/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ManagerConfig.java @@ -1,10 +1,5 @@ package edu.msudenver.tsp.persistence.manager; -import edu.msudenver.tsp.persistence.dao.DefinitionDao; -import edu.msudenver.tsp.persistence.dao.NotationDao; -import edu.msudenver.tsp.persistence.dao.ProofDao; -import edu.msudenver.tsp.persistence.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; @@ -14,23 +9,4 @@ import org.springframework.context.annotation.PropertySource; @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()); - } - - @Bean - public NotationManager notationManager() { - return new NotationManager(new NotationDao()); - } } diff --git a/pandamonium-theorem-prover/services/src/main/java/edu/msudenver/tsp/services/parser/ParserConfig.java b/pandamonium-theorem-prover/services/src/main/java/edu/msudenver/tsp/services/parser/ParserConfig.java index 8cdc76a..bd4510c 100644 --- a/pandamonium-theorem-prover/services/src/main/java/edu/msudenver/tsp/services/parser/ParserConfig.java +++ b/pandamonium-theorem-prover/services/src/main/java/edu/msudenver/tsp/services/parser/ParserConfig.java @@ -1,6 +1,5 @@ package edu.msudenver.tsp.services.parser; -import org.springframework.context.annotation.Bean; import org.springframework.context.annotation.ComponentScan; import org.springframework.context.annotation.Configuration; import org.springframework.context.annotation.PropertySource; @@ -10,8 +9,4 @@ import org.springframework.context.annotation.PropertySource; @PropertySource("classpath:development.properties") public class ParserConfig { - @Bean - public ParserService parserService() { - return new ParserService(); - } }