litvinovg/vitro
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

NIHVIVO-1834 - a method to say whether ABox reasoning is asynchronous

Browse source
This commit is contained in:
sjm222 2011-01-25 15:42:18 +00:00
parent 24d7c25fc7
commit bd9a3e41a5
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java
View file

@ -609,9 +609,9 @@ public class SimpleReasoner extends StatementListener {
} }
} }
public static SimpleReasoner getSimpleReasonerFromServletContext( public static SimpleReasoner getSimpleReasonerFromServletContext(ServletContext ctx) {
ServletContext ctx) {
Object simpleReasoner = ctx.getAttribute("simpleReasoner"); Object simpleReasoner = ctx.getAttribute("simpleReasoner");
if (simpleReasoner instanceof SimpleReasoner) { if (simpleReasoner instanceof SimpleReasoner) {
return (SimpleReasoner) simpleReasoner; return (SimpleReasoner) simpleReasoner;
} else { } else {
@ -619,4 +619,7 @@ public class SimpleReasoner extends StatementListener {
} }
} }
public static boolean isABoxReasoningAsynchronous(ServletContext ctx) {
return (getSimpleReasonerFromServletContext(ctx) == null);
}
} }