Class Order<T>

  • Type Parameters:
    T - The class that is being ordered.

    public class Order<T>
    extends java.lang.Object
    This class represents an order among some objects.
    Author:
    Matthias Thimm
    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      private class  Order.OrderNode
      Represents an object that is ordered.
    • Constructor Summary

      Constructors 
      Constructor Description
      Order​(java.util.Collection<T> objects)
      Creates a new order for the given set of objects.
    • Method Summary

      Modifier and Type Method Description
      DefaultGraph<Order.OrderNode> getDefaultGraph()  
      java.util.Collection<T> getElements()
      Returns the elements appearing in this order.
      java.util.Map<T,​Order.OrderNode> getNodes()  
      boolean isOrderedBefore​(T object1, T object2)
      Checks whether object1 is ordered before object2.
      void setOrderedBefore​(T object1, T object2)
      Adds that object1 is ordered before object2
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • nodes

        private java.util.Map<T,​Order.OrderNode> nodes
        A bijection between objects and nodes in the defaultGraph.
    • Constructor Detail

      • Order

        public Order​(java.util.Collection<T> objects)
        Creates a new order for the given set of objects.
        Parameters:
        objects - some set of objects.
    • Method Detail

      • setOrderedBefore

        public void setOrderedBefore​(T object1,
                                     T object2)
        Adds that object1 is ordered before object2
        Parameters:
        object1 - some object
        object2 - some object
      • isOrderedBefore

        public boolean isOrderedBefore​(T object1,
                                       T object2)
        Checks whether object1 is ordered before object2.
        Parameters:
        object1 - some object.
        object2 - some object.
        Returns:
        "true" if object1 is ordered before object2.
      • getElements

        public java.util.Collection<T> getElements()
        Returns the elements appearing in this order.
        Returns:
        the elements appearing in this order.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • getDefaultGraph

        public DefaultGraph<Order.OrderNode> getDefaultGraph()
        Returns:
        the directed defaultGraph that represents the order
      • getNodes

        public java.util.Map<T,​Order.OrderNode> getNodes()
        Returns:
        the bijection between objects and nodes in the defaultGraph