reader/readNilStore.cc

   1 #include "reader/reader.ih"
   2
   3 namespace odc {
   4
   5 Store *Reader::readNilStore() {
   6         INTEGER comment = readInt();
   7         std::streamoff next = readInt();
   8         d_state->end = d_rider.tellg();
   9         if (next > 0 || (next == 0 && comment % 2 == 1)) {
  10                 d_state->next = d_state->end + next;
  11         } else {
  12                 d_state->next = 0;
  13         }
  14         return 0;
  15 }
  16 //              IF kind = nil THEN
  17 //                      rd.ReadInt(comment); rd.ReadInt(next);
  18 //                      rd.st.end := rd.Pos();
  19 //                      IF (next > 0) OR ((next = 0) & ODD(comment)) THEN rd.st.next := rd.st.end + next ELSE rd.st.next := 0 END;
  20 //                      x := NIL
  21
  22 } // namespace odc