Dark-Alex-17/ptp
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Completed Architectural Setup

Browse Source
This commit is contained in:
atusa17
2019-02-03 21:42:03 -07:00
parent 6980708288
commit 77652722af
8 changed files with 26 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pandamonium-theorem-prover/services/src/main/java/edu/msudenver/tsp/services/parser/ParserService.java
+18
View File
@@ -1,8 +1,26 @@
package edu.msudenver.tsp.services.parser;
import edu.msudenver.tsp.persistence.manager.DefinitionManager;
import edu.msudenver.tsp.persistence.manager.NotationManager;
import edu.msudenver.tsp.persistence.manager.ProofManager;
import edu.msudenver.tsp.persistence.manager.TheoremManager;
import org.springframework.beans.factory.annotation.Autowired;
import org.springframework.stereotype.Service;
@Service
class ParserService {
private final DefinitionManager definitionManager;
private final TheoremManager theoremManager;
private final NotationManager notationManager;
private final ProofManager proofManager;
@Autowired
public ParserService(final DefinitionManager definitionManager, final TheoremManager theoremManager,
final NotationManager notationManager, final ProofManager proofManager) {
this.definitionManager = definitionManager;
this.theoremManager = theoremManager;
this.notationManager = notationManager;
this.proofManager = proofManager;
}
}