Class Statistics

  • public class Statistics
    extends java.lang.Object
    Statistics on the size of TinyTree instances, kept so that the system can learn how much space to allocate to new trees
    • Constructor Detail

      • Statistics

        public Statistics()
      • Statistics

        public Statistics​(int nodes,
                          int atts,
                          int namespaces,
                          int chars)
    • Method Detail

      • getAverageNodes

        public double getAverageNodes()
      • getAverageAttributes

        public double getAverageAttributes()
      • getAverageNamespaces

        public double getAverageNamespaces()
      • getAverageCharacters

        public double getAverageCharacters()
      • updateStatistics

        public void updateStatistics​(int numberOfNodes,
                                     int numberOfAttributes,
                                     int numberOfNamespaces,
                                     int chars)
        Update the statistics held in static data. We don't bother to sychronize, on the basis that it doesn't matter if the stats are wrong.
        numberOfNodes - the number of (non-attribute, non-namespace) nodes
        numberOfAttributes - the number of attribute nodes
        numberOfNamespaces - the number of namespace bindings (deltas on namespace nodes)
        chars - the number of characters in text nodes
      • toString

        public java.lang.String toString()
        toString in class java.lang.Object