public ExtendedLamportClockObject(long id, int logicalClock) //this used for when we want to make an instance from another machines
{
this.id = id;
this.logicalClock = logicalClock;
//Now correct the clock
//LC = Max(LC, LCsender) + 1
//if the remote machine has a Logical Clock that is less than this machine clock
if (this.logicalClock < LogicalClock.getLogicalClock())
{
LogicalClock.nextLogicalClock(); //it will increase the logical clock by 1 unit [LC = LC + 1]
}
else //if the remote machine has a Logical Clock that is greater than this machine clock
{
LogicalClock.setLogicalClock(logicalClock + 1); //LC = LCsender + 1
}
}
public ExtendedLamportClockObject() //this used for when we want to make an instance for this machine
{
this.id = MachinIdentification.getUniqueIdNumber();
this.logicalClock = LogicalClock.nextLogicalClock();
}
