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

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


            updateVectorTime(jupiterActivity.getTimestamp());
            return new NoOperation();
        }

        Timestamp timestamp = jupiterActivity.getTimestamp();
        if (!(timestamp instanceof JupiterVectorTime)) {
            throw new IllegalArgumentException(
                "Jupiter expects timestamps of type JupiterVectorTime");
        }
        checkPreconditions((JupiterVectorTime) timestamp);
View Full Code Here


    public synchronized void updateVectorTime(JID source, JID dest) {
        Jupiter proxy = this.proxies.get(source);
        if (proxy != null) {
            try {
                Timestamp ts = proxy.getTimestamp();
                this.proxies.get(dest).updateVectorTime(
                    new JupiterVectorTime(ts.getComponents()[1], ts
                        .getComponents()[0]));
            } catch (TransformationException e) {
                JupiterDocumentServer.log.error(
                    "Error during update vector time for " + dest, e);
            }
View Full Code Here

TOP

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

Copyright © 2018 www.massapicom. All rights reserved.
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.