Class CAUSAL.CausalNewViewHeader

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String NAME  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getLocalTime()  
      ViewId getNewViewId()  
      boolean isComplete()  
      void readExternal​(java.io.ObjectInput in)
      Manual deserialization
      void readFrom​(java.io.DataInputStream in)
      Read the state of the current object (including superclasses) from instream Note that the input stream must not be closed
      int size()
      Size of this vector timestamp estimation, used in fragmentation.
      java.lang.String toString()  
      void writeExternal​(java.io.ObjectOutput out)
      Manual serialization
      void writeTo​(java.io.DataOutputStream out)
      Write the entire state of the current object (including superclasses) to outstream.
      • Methods inherited from class java.lang.Object

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

      • CausalNewViewHeader

        public CausalNewViewHeader​(ViewId newViewId,
                                   int localTime,
                                   boolean complete)
      • CausalNewViewHeader

        public CausalNewViewHeader()
        Used for externalization.
    • Method Detail

      • getNewViewId

        public ViewId getNewViewId()
      • getLocalTime

        public int getLocalTime()
      • isComplete

        public boolean isComplete()
      • size

        public int size()
        Size of this vector timestamp estimation, used in fragmentation.
        Overrides:
        size in class Header
        Returns:
        headersize in bytes
      • writeExternal

        public void writeExternal​(java.io.ObjectOutput out)
                           throws java.io.IOException
        Manual serialization
        Specified by:
        writeExternal in interface java.io.Externalizable
        Throws:
        java.io.IOException
      • readExternal

        public void readExternal​(java.io.ObjectInput in)
                          throws java.io.IOException,
                                 java.lang.ClassNotFoundException
        Manual deserialization
        Specified by:
        readExternal in interface java.io.Externalizable
        Throws:
        java.io.IOException
        java.lang.ClassNotFoundException
      • writeTo

        public void writeTo​(java.io.DataOutputStream out)
                     throws java.io.IOException
        Description copied from interface: Streamable
        Write the entire state of the current object (including superclasses) to outstream. Note that the output stream must not be closed
        Specified by:
        writeTo in interface Streamable
        Throws:
        java.io.IOException
      • readFrom

        public void readFrom​(java.io.DataInputStream in)
                      throws java.io.IOException,
                             java.lang.IllegalAccessException,
                             java.lang.InstantiationException
        Description copied from interface: Streamable
        Read the state of the current object (including superclasses) from instream Note that the input stream must not be closed
        Specified by:
        readFrom in interface Streamable
        Throws:
        java.io.IOException
        java.lang.IllegalAccessException
        java.lang.InstantiationException
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class Header