Esempio n. 1
0
 /* replication interface */
 private PadIntData generatePadIntData(ServerPadInt padInt)
 {
     return new PadIntData(padInt.log.getReadData(),
                       padInt.log.getWriteData(),
                       padInt.log.getTentativeData(),
                       padInt.log.getTentativeReadData(),
                       padInt.log.getTentativeValueData(),
                       padInt.getValueData());
 }