aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2022-05-12 18:29:30 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2022-05-12 18:29:30 +0100
commit076e470e620b3e80a48438ea59f17775dcc88f9d (patch)
tree58f6ed2cf32b1ddd0aee21fe75cd47a1a718574a /src
parent227e4609bba9969cb7f39e52715fa62cf93cbfbf (diff)
downloadACQuA-076e470e620b3e80a48438ea59f17775dcc88f9d.tar.gz
ACQuA-076e470e620b3e80a48438ea59f17775dcc88f9d.zip
[pagoda] Fix public interfaces to allow outside access
Minor changes to access level for `QueryReasoner` and `ConsistencyManager`.
Diffstat (limited to 'src')
-rw-r--r--src/main/java/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java6
-rw-r--r--src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java2
2 files changed, 4 insertions, 4 deletions
diff --git a/src/main/java/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java b/src/main/java/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
index 3fd2fbd..f3db29d 100644
--- a/src/main/java/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
+++ b/src/main/java/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
@@ -149,7 +149,7 @@ public class ConsistencyManager extends Disposable {
149 return botQueryRecords; 149 return botQueryRecords;
150 } 150 }
151 151
152 boolean checkRLLowerBound() { 152 public boolean checkRLLowerBound() {
153 if(isDisposed()) throw new DisposedException(); 153 if(isDisposed()) throw new DisposedException();
154 154
155 fullQueryRecord = m_queryManager.create(QueryRecord.botQueryText, 0); 155 fullQueryRecord = m_queryManager.create(QueryRecord.botQueryText, 0);
@@ -181,7 +181,7 @@ public class ConsistencyManager extends Disposable {
181// return true; 181// return true;
182// } 182// }
183 183
184 boolean checkELLowerBound() { 184 public boolean checkELLowerBound() {
185 if(isDisposed()) throw new DisposedException(); 185 if(isDisposed()) throw new DisposedException();
186 186
187 fullQueryRecord.updateLowerBoundAnswers(m_reasoner.elLowerStore.evaluate(fullQueryRecord.getQueryText(), fullQueryRecord 187 fullQueryRecord.updateLowerBoundAnswers(m_reasoner.elLowerStore.evaluate(fullQueryRecord.getQueryText(), fullQueryRecord
@@ -212,7 +212,7 @@ public class ConsistencyManager extends Disposable {
212 return false; 212 return false;
213 } 213 }
214 214
215 boolean check() { 215 public boolean check() {
216 if(isDisposed()) throw new DisposedException(); 216 if(isDisposed()) throw new DisposedException();
217 217
218// if (!checkRLLowerBound()) return false; 218// if (!checkRLLowerBound()) return false;
diff --git a/src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java b/src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
index b6623c2..fa2b185 100644
--- a/src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
+++ b/src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
@@ -27,7 +27,7 @@ public abstract class QueryReasoner extends Disposable {
27 private static final boolean DEFAULT_EQUALITIES = true; 27 private static final boolean DEFAULT_EQUALITIES = true;
28 public boolean fullReasoner = this instanceof MyQueryReasoner; 28 public boolean fullReasoner = this instanceof MyQueryReasoner;
29 // protected boolean forSemFacet = false; 29 // protected boolean forSemFacet = false;
30 PagodaProperties properties; 30 public PagodaProperties properties;
31 BufferedWriter answerWriter = null; 31 BufferedWriter answerWriter = null;
32 private StringBuilder importedData = new StringBuilder(); 32 private StringBuilder importedData = new StringBuilder();
33 private QueryManager m_queryManager = new QueryManager(); 33 private QueryManager m_queryManager = new QueryManager();