Class Facts


  • final class Facts
    extends java.lang.Object
    Helper class that wraps a collection of Fact instances to make them easier to build.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.lang.Iterable<Fact> facts  
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private Facts​(java.lang.Iterable<Fact> facts)  
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      (package private) Facts and​(Fact... moreFacts)
      Returns an instance concatenating the facts wrapped by the current instance followed by the given facts.
      (package private) Facts and​(Facts moreFacts)
      Returns an instance concatenating the facts wrapped by the current instance followed by the given facts.
      (package private) java.lang.Iterable<Fact> asIterable()
      Returns the facts wrapped by this instance.
      (package private) static Facts facts​(Fact... facts)
      Returns an instance wrapping the given facts.
      (package private) static Facts facts​(java.lang.Iterable<Fact> facts)
      Returns an instance wrapping the given facts.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • facts

        private final java.lang.Iterable<Fact> facts
    • Constructor Detail

      • Facts

        private Facts​(java.lang.Iterable<Fact> facts)
    • Method Detail

      • facts

        static Facts facts​(Fact... facts)
        Returns an instance wrapping the given facts.
      • facts

        static Facts facts​(java.lang.Iterable<Fact> facts)
        Returns an instance wrapping the given facts.
      • asIterable

        java.lang.Iterable<Fact> asIterable()
        Returns the facts wrapped by this instance.
      • and

        Facts and​(Facts moreFacts)
        Returns an instance concatenating the facts wrapped by the current instance followed by the given facts.
      • and

        Facts and​(Fact... moreFacts)
        Returns an instance concatenating the facts wrapped by the current instance followed by the given facts.