Examples of de.fu_berlin.inf.dpp.concurrent.jupiter.TransformationException

Package de.fu_berlin.inf.dpp.concurrent.jupiter

Examples of de.fu_berlin.inf.dpp.concurrent.jupiter.TransformationException

de.fu_berlin.inf.dpp.concurrent.jupiter.TransformationException
Exception thrown by algorithm instances whenever transforming operations fails.

        }
        JupiterVectorTime remoteVectorTime = (JupiterVectorTime) timestamp;


        int remoteOperationCount = remoteVectorTime.getRemoteOperationCount();
        if (remoteOperationCount > localOperationCount) {
            throw new TransformationException(
                "precondition #2 violated (Remote vector time ("
                    + remoteOperationCount + ") is greater than"
                    + " local vector time (" + localOperationCount + ")).");
        }

View Full Code Here

    protected void checkPreconditions(JupiterVectorTime time)
        throws TransformationException {
        if (!this.ackJupiterActivityList.isEmpty()
            && (time.getRemoteOperationCount() < this.ackJupiterActivityList
                .get(0).getLocalOperationCount())) {
            throw new TransformationException("Precondition #1 violated.");
        } else if (time.getRemoteOperationCount() > this.vectorTime
            .getLocalOperationCount()) {
            throw new TransformationException(
                "precondition #2 violated (Remote vector time is greater than local vector time).");
        } else if (time.getLocalOperationCount() != this.vectorTime
            .getRemoteOperationCount()) {
            throw new TransformationException(
                "Precondition #3 violated (Vector time does not match): "
                    + time + " , " + this.vectorTime);
        }
    }

View Full Code Here

    }


    public void updateVectorTime(Timestamp timestamp)
        throws TransformationException {
        if (this.ackJupiterActivityList.size() > 0) {
            throw new TransformationException(
                "ackJupiterActivityList have entries. Update Vector time failed.");
        }
        int local = timestamp.getComponents()[0];
        int remote = timestamp.getComponents()[1];
        this.vectorTime = new JupiterVectorTime(local, remote);

View Full Code Here

TOP

Related Classes of de.fu_berlin.inf.dpp.concurrent.jupiter.TransformationException

de.fu_berlin.inf.dpp.concurrent.jupiter.internal.Jupiter

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.