Uses of Interface
org.topbraid.spin.util.ProgressMonitor

Packages that use ProgressMonitor
org.topbraid.spin.constraints Support for constraint checking using spin:constraint. 
org.topbraid.spin.inference Support for inferencing using spin:rule and spin:constructor. 
org.topbraid.spin.util Various utilities that don't fit elsewhere. 
 

Uses of ProgressMonitor in org.topbraid.spin.constraints
 

Methods in org.topbraid.spin.constraints with parameters of type ProgressMonitor
static java.util.List<ConstraintViolation> SPINConstraints.check(Model model, ProgressMonitor monitor)
          Checks all instances in a given Model against all spin:constraints and returns a List of constraint violations.
static java.util.List<ConstraintViolation> SPINConstraints.check(Resource resource, ProgressMonitor monitor)
          Checks all spin:constraints for a given Resource.
 

Uses of ProgressMonitor in org.topbraid.spin.inference
 

Methods in org.topbraid.spin.inference with parameters of type ProgressMonitor
static void SPINConstructors.construct(Model queryModel, java.util.List<Resource> instances, Model targetModel, ProgressMonitor monitor)
          Runs the constructors on a List of Resources.
static void SPINConstructors.construct(Model queryModel, java.util.List<Resource> instances, Model targetModel, java.util.Set<Resource> reached, ProgressMonitor monitor)
          Runs the constructors on a List of Resources.
static void SPINConstructors.construct(Model queryModel, java.util.List<Resource> instances, Model targetModel, java.util.Set<Resource> reached, SPINExplanations explanations, ProgressMonitor monitor)
          Runs the constructors on a List of Resources.
static void SPINConstructors.constructAll(Model queryModel, Model targetModel, ProgressMonitor monitor)
          Runs all constructors on all instances in a given model.
static void SPINConstructors.constructInstance(Model queryModel, Resource instance, Model targetModel, java.util.List<Resource> newResources, SPINExplanations explanations, ProgressMonitor monitor)
          Runs constructors for a single instance.
static void SPINConstructors.constructInstance(Model queryModel, Resource instance, Resource type, Model targetModel, java.util.List<Resource> newResources, java.util.Set<Resource> reachedTypes, ProgressMonitor monitor)
          Runs all constructors defined for a given type on a given instance.
static void SPINConstructors.constructInstance(Model queryModel, Resource instance, Resource type, Model targetModel, java.util.List<Resource> newResources, java.util.Set<Resource> reachedTypes, SPINExplanations explanations, ProgressMonitor monitor)
          Runs all constructors defined for a given type on a given instance.
static int SPINInferences.run(Model queryModel, Model newTriples, java.util.Map<Resource,java.util.List<QueryWrapper>> class2Query, java.util.Map<QueryWrapper,java.util.Map<java.lang.String,RDFNode>> templateBindings, SPINExplanations explanations, java.util.List<SPINStatistics> statistics, boolean singlePass, Property rulePredicate, SPINRuleComparator comparator, ProgressMonitor monitor)
          Iterates over a provided collection of SPIN rules and adds all constructed triples to a given Model (newTriples) until no further changes have been made within one iteration.
static int SPINInferences.run(Model queryModel, Model newTriples, SPINExplanations explanations, java.util.List<SPINStatistics> statistics, boolean singlePass, ProgressMonitor monitor)
          See the other run method for help - this is using spin:rule as rulePredicate.
static int SPINInferences.run(Model queryModel, Property rulePredicate, Model newTriples, SPINExplanations explanations, java.util.List<SPINStatistics> statistics, boolean singlePass, ProgressMonitor monitor)
          Iterates over all SPIN rules in a (query) Model and adds all constructed triples to a given Model (newTriples) until no further changes have been made within one iteration.
 

Uses of ProgressMonitor in org.topbraid.spin.util
 

Classes in org.topbraid.spin.util that implement ProgressMonitor
 class SimpleProgressMonitor
          A simple implementation of ProgressMonitor that prints messages to System.out.
 

Methods in org.topbraid.spin.util with parameters of type ProgressMonitor
 void RunnableWithProgress.run(ProgressMonitor monitor)
          Runs the runnable.