aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/endomorph
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-06-03 15:21:30 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-06-03 15:21:30 +0100
commitb3b822d187a6402a39d30e471fe90a5dfad64312 (patch)
tree912e1914610c8cf6103b7b7aef07087ddd7eb62f /src/uk/ac/ox/cs/pagoda/endomorph
parent691964863246bbf6ef9f72cc5e82c83df34f135a (diff)
downloadACQuA-b3b822d187a6402a39d30e471fe90a5dfad64312.tar.gz
ACQuA-b3b822d187a6402a39d30e471fe90a5dfad64312.zip
Before reintroducing extended queries.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/endomorph')
-rw-r--r--src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java29
1 files changed, 23 insertions, 6 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java b/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java
index e6b50f9..cde0895 100644
--- a/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java
+++ b/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java
@@ -1,11 +1,8 @@
1package uk.ac.ox.cs.pagoda.endomorph; 1package uk.ac.ox.cs.pagoda.endomorph;
2 2
3import java.util.Collection;
4import java.util.LinkedList;
5
6import org.semanticweb.owlapi.model.OWLOntology; 3import org.semanticweb.owlapi.model.OWLOntology;
7 4import uk.ac.ox.cs.pagoda.endomorph.plan.CheckPlan;
8import uk.ac.ox.cs.pagoda.endomorph.plan.*; 5import uk.ac.ox.cs.pagoda.endomorph.plan.OpenEndPlan;
9import uk.ac.ox.cs.pagoda.query.AnswerTuple; 6import uk.ac.ox.cs.pagoda.query.AnswerTuple;
10import uk.ac.ox.cs.pagoda.query.AnswerTuples; 7import uk.ac.ox.cs.pagoda.query.AnswerTuples;
11import uk.ac.ox.cs.pagoda.query.QueryRecord; 8import uk.ac.ox.cs.pagoda.query.QueryRecord;
@@ -14,8 +11,12 @@ import uk.ac.ox.cs.pagoda.summary.Graph;
14import uk.ac.ox.cs.pagoda.summary.NodeTuple; 11import uk.ac.ox.cs.pagoda.summary.NodeTuple;
15import uk.ac.ox.cs.pagoda.util.Timer; 12import uk.ac.ox.cs.pagoda.util.Timer;
16import uk.ac.ox.cs.pagoda.util.Utility; 13import uk.ac.ox.cs.pagoda.util.Utility;
14import uk.ac.ox.cs.pagoda.util.disposable.DisposedException;
17 15
18public class Endomorph implements Checker { 16import java.util.Collection;
17import java.util.LinkedList;
18
19public class Endomorph extends Checker {
19 20
20 Checker fullReasoner; 21 Checker fullReasoner;
21 DependencyGraph dGraph; 22 DependencyGraph dGraph;
@@ -36,6 +37,8 @@ public class Endomorph implements Checker {
36 37
37 @Override 38 @Override
38 public int check(AnswerTuples answerTuples) { 39 public int check(AnswerTuples answerTuples) {
40 if(isDisposed()) throw new DisposedException();
41
39 Collection<NodeTuple> nodes = new LinkedList<NodeTuple>(); 42 Collection<NodeTuple> nodes = new LinkedList<NodeTuple>();
40 int counter = 0; 43 int counter = 0;
41 44
@@ -62,33 +65,47 @@ public class Endomorph implements Checker {
62 } 65 }
63 66
64 public OWLOntology getOntology() { 67 public OWLOntology getOntology() {
68 if(isDisposed()) throw new DisposedException();
69
65 return m_record.getRelevantOntology(); 70 return m_record.getRelevantOntology();
66 } 71 }
67 72
68 @Override 73 @Override
69 public boolean check(AnswerTuple answerTuple) { 74 public boolean check(AnswerTuple answerTuple) {
75 if(isDisposed()) throw new DisposedException();
76
70 return fullReasoner.check(answerTuple); 77 return fullReasoner.check(answerTuple);
71 } 78 }
72 79
73 @Override 80 @Override
74 public boolean isConsistent() { 81 public boolean isConsistent() {
82 if(isDisposed()) throw new DisposedException();
83
75 return fullReasoner.isConsistent(); 84 return fullReasoner.isConsistent();
76 } 85 }
77 86
78 @Override 87 @Override
79 public void dispose() { 88 public void dispose() {
89 super.dispose();
90
80 fullReasoner.dispose(); 91 fullReasoner.dispose();
81 } 92 }
82 93
83 public Graph getGraph() { 94 public Graph getGraph() {
95 if(isDisposed()) throw new DisposedException();
96
84 return graph; 97 return graph;
85 } 98 }
86 99
87 public Checker getChecker() { 100 public Checker getChecker() {
101 if(isDisposed()) throw new DisposedException();
102
88 return fullReasoner; 103 return fullReasoner;
89 } 104 }
90 105
91 public DependencyGraph getDependencyGraph() { 106 public DependencyGraph getDependencyGraph() {
107 if(isDisposed()) throw new DisposedException();
108
92 return dGraph; 109 return dGraph;
93 } 110 }
94 111