org.topbraid.spin.inference
Class SPINStatistics

java.lang.Object
  extended by org.topbraid.spin.inference.SPINStatistics

public class SPINStatistics
extends java.lang.Object

A wrapper to record the execution time of a given Query for statistical purposes.

Author:
Holger Knublauch

Constructor Summary
SPINStatistics(Query query, java.lang.String label, java.lang.String queryText, long duration, long startTime, Node context)
           
 
Method Summary
 Node getContext()
           
 long getDuration()
           
 java.lang.String getLabel()
           
 Query getQuery()
           
 java.lang.String getQueryText()
           
 long getStartTime()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SPINStatistics

public SPINStatistics(Query query,
                      java.lang.String label,
                      java.lang.String queryText,
                      long duration,
                      long startTime,
                      Node context)
Method Detail

getContext

public Node getContext()

getDuration

public long getDuration()

getLabel

public java.lang.String getLabel()

getQuery

public Query getQuery()

getQueryText

public java.lang.String getQueryText()

getStartTime

public long getStartTime()