From 61b8fca76b5d79e68d73c4ee83b8751eb4cde8d8 Mon Sep 17 00:00:00 2001 From: atusa17 Date: Sun, 3 Feb 2019 18:47:57 -0700 Subject: [PATCH] Added initial classes that need to be written --- .../src/main/java/PersistenceConfig.java | 3 +++ .../src/main/java/parser/ParserConfig.java | 17 +++++++++++++++++ .../src/main/java/parser/ParserService.java | 8 ++++++++ .../src/main/java/scoring/ScoringConfig.java | 17 +++++++++++++++++ .../java/scoring/TheoremScoringService.java | 8 ++++++++ .../src/test/java/parser/ParserServiceTest.java | 9 +++++++++ .../java/scoring/TheoremScoringServiceTest.java | 9 +++++++++ .../src/main/java/ProofsDriver.java | 2 ++ .../src/main/java/WebsiteConfig.java | 11 +++++++++++ .../src/test/java/ProofsDriverTest.java | 3 +++ 10 files changed, 87 insertions(+) create mode 100644 pandamonium-theorem-prover/persistence/src/main/java/PersistenceConfig.java create mode 100644 pandamonium-theorem-prover/services/src/main/java/parser/ParserConfig.java create mode 100644 pandamonium-theorem-prover/services/src/main/java/parser/ParserService.java create mode 100644 pandamonium-theorem-prover/services/src/main/java/scoring/ScoringConfig.java create mode 100644 pandamonium-theorem-prover/services/src/main/java/scoring/TheoremScoringService.java create mode 100644 pandamonium-theorem-prover/services/src/test/java/parser/ParserServiceTest.java create mode 100644 pandamonium-theorem-prover/services/src/test/java/scoring/TheoremScoringServiceTest.java create mode 100644 pandamonium-theorem-prover/src/main/java/ProofsDriver.java create mode 100644 pandamonium-theorem-prover/src/main/java/WebsiteConfig.java create mode 100644 pandamonium-theorem-prover/src/test/java/ProofsDriverTest.java diff --git a/pandamonium-theorem-prover/persistence/src/main/java/PersistenceConfig.java b/pandamonium-theorem-prover/persistence/src/main/java/PersistenceConfig.java new file mode 100644 index 0000000..312e04a --- /dev/null +++ b/pandamonium-theorem-prover/persistence/src/main/java/PersistenceConfig.java @@ -0,0 +1,3 @@ + +public class PersistenceConfig { +} diff --git a/pandamonium-theorem-prover/services/src/main/java/parser/ParserConfig.java b/pandamonium-theorem-prover/services/src/main/java/parser/ParserConfig.java new file mode 100644 index 0000000..95fa30b --- /dev/null +++ b/pandamonium-theorem-prover/services/src/main/java/parser/ParserConfig.java @@ -0,0 +1,17 @@ +package 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; + +@Configuration +@ComponentScan +@PropertySource("classpath:development.properties") +public class ParserConfig { + + @Bean + public ParserService parserService() { + return new ParserService(); + } +} diff --git a/pandamonium-theorem-prover/services/src/main/java/parser/ParserService.java b/pandamonium-theorem-prover/services/src/main/java/parser/ParserService.java new file mode 100644 index 0000000..11c6604 --- /dev/null +++ b/pandamonium-theorem-prover/services/src/main/java/parser/ParserService.java @@ -0,0 +1,8 @@ +package parser; + +import org.springframework.stereotype.Service; + +@Service +class ParserService { + +} diff --git a/pandamonium-theorem-prover/services/src/main/java/scoring/ScoringConfig.java b/pandamonium-theorem-prover/services/src/main/java/scoring/ScoringConfig.java new file mode 100644 index 0000000..318ce9e --- /dev/null +++ b/pandamonium-theorem-prover/services/src/main/java/scoring/ScoringConfig.java @@ -0,0 +1,17 @@ +package scoring; + +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 ScoringConfig { + + @Bean + public TheoremScoringService theoremScoringService() { + return new TheoremScoringService(); + } +} diff --git a/pandamonium-theorem-prover/services/src/main/java/scoring/TheoremScoringService.java b/pandamonium-theorem-prover/services/src/main/java/scoring/TheoremScoringService.java new file mode 100644 index 0000000..b15e600 --- /dev/null +++ b/pandamonium-theorem-prover/services/src/main/java/scoring/TheoremScoringService.java @@ -0,0 +1,8 @@ +package scoring; + +import org.springframework.stereotype.Service; + +@Service +class TheoremScoringService { + +} diff --git a/pandamonium-theorem-prover/services/src/test/java/parser/ParserServiceTest.java b/pandamonium-theorem-prover/services/src/test/java/parser/ParserServiceTest.java new file mode 100644 index 0000000..342fcbe --- /dev/null +++ b/pandamonium-theorem-prover/services/src/test/java/parser/ParserServiceTest.java @@ -0,0 +1,9 @@ +package parser; + +import org.junit.runner.RunWith; +import org.mockito.runners.MockitoJUnitRunner; + +@RunWith(MockitoJUnitRunner.class) +public class ParserServiceTest { + +} \ No newline at end of file diff --git a/pandamonium-theorem-prover/services/src/test/java/scoring/TheoremScoringServiceTest.java b/pandamonium-theorem-prover/services/src/test/java/scoring/TheoremScoringServiceTest.java new file mode 100644 index 0000000..57c2cf6 --- /dev/null +++ b/pandamonium-theorem-prover/services/src/test/java/scoring/TheoremScoringServiceTest.java @@ -0,0 +1,9 @@ +package scoring; + +import org.junit.runner.RunWith; +import org.mockito.runners.MockitoJUnitRunner; + +@RunWith(MockitoJUnitRunner.class) +public class TheoremScoringServiceTest { + +} \ No newline at end of file diff --git a/pandamonium-theorem-prover/src/main/java/ProofsDriver.java b/pandamonium-theorem-prover/src/main/java/ProofsDriver.java new file mode 100644 index 0000000..ea5ea80 --- /dev/null +++ b/pandamonium-theorem-prover/src/main/java/ProofsDriver.java @@ -0,0 +1,2 @@ +public class ProofsDriver { +} diff --git a/pandamonium-theorem-prover/src/main/java/WebsiteConfig.java b/pandamonium-theorem-prover/src/main/java/WebsiteConfig.java new file mode 100644 index 0000000..e4569f9 --- /dev/null +++ b/pandamonium-theorem-prover/src/main/java/WebsiteConfig.java @@ -0,0 +1,11 @@ +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 WebsiteConfig { + + +} diff --git a/pandamonium-theorem-prover/src/test/java/ProofsDriverTest.java b/pandamonium-theorem-prover/src/test/java/ProofsDriverTest.java new file mode 100644 index 0000000..a406456 --- /dev/null +++ b/pandamonium-theorem-prover/src/test/java/ProofsDriverTest.java @@ -0,0 +1,3 @@ +public class ProofsDriverTest { + +} \ No newline at end of file