Class OrderStatisticSetTestSuite.OrderStatisticSetFactory

java.lang.Object
com.google.common.collect.testing.TestStringSetGenerator
com.google.common.collect.testing.TestStringSortedSetGenerator
org.sosy_lab.common.collect.OrderStatisticSetTestSuite.OrderStatisticSetFactory
All Implemented Interfaces:
com.google.common.collect.testing.TestCollectionGenerator<String>, com.google.common.collect.testing.TestContainerGenerator<Collection<String>,String>, com.google.common.collect.testing.TestSetGenerator<String>, com.google.common.collect.testing.TestSortedSetGenerator<String>
Enclosing class:
OrderStatisticSetTestSuite

protected abstract static class OrderStatisticSetTestSuite.OrderStatisticSetFactory extends com.google.common.collect.testing.TestStringSortedSetGenerator
  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    protected
     
  • Method Summary

    Modifier and Type
    Method
    Description
    protected abstract OrderStatisticSet<String>
    create(String[] pStrings)
     

    Methods inherited from class com.google.common.collect.testing.TestStringSortedSetGenerator

    aboveSamplesGreater, aboveSamplesLesser, belowSamplesGreater, belowSamplesLesser, create, order

    Methods inherited from class com.google.common.collect.testing.TestStringSetGenerator

    createArray, samples

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface com.google.common.collect.testing.TestContainerGenerator

    createArray, samples
  • Constructor Details

    • OrderStatisticSetFactory

      protected OrderStatisticSetFactory()
  • Method Details

    • create

      protected abstract OrderStatisticSet<String> create(String[] pStrings)
      Specified by:
      create in class com.google.common.collect.testing.TestStringSortedSetGenerator