*** empty log message ***

[IRC.git] / Robust / Transactions / jcarderdstm2version / src / com / enea / jcarder / common / contexts / ContextWriterIfc.java

diff --git a/Robust/Transactions/jcarderdstm2version/src/com/enea/jcarder/common/contexts/ContextWriterIfc.java b/Robust/Transactions/jcarderdstm2version/src/com/enea/jcarder/common/contexts/ContextWriterIfc.java
new file mode 100644 (file)
index 0000000..2999990
--- /dev/null
+++ b/Robust/Transactions/jcarderdstm2version/src/com/enea/jcarder/common/contexts/ContextWriterIfc.java
@@ -0,0 +1,29 @@
+/*
+ * JCarder -- cards Java programs to keep threads disentangled
+ *
+ * Copyright (C) 2006-2007 Enea AB
+ * Copyright (C) 2007 Ulrik Svensson
+ * Copyright (C) 2007 Joel Rosdahl
+ *
+ * This program is made available under the GNU GPL version 2, with a special
+ * exception for linking with JUnit. See the accompanying file LICENSE.txt for
+ * details.
+ *
+ * This program is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.
+ */
+
+package com.enea.jcarder.common.contexts;
+
+import java.io.IOException;
+
+import com.enea.jcarder.common.Lock;
+import com.enea.jcarder.common.LockingContext;
+
+public interface ContextWriterIfc {
+
+    int writeLock(Lock lock) throws IOException;
+
+    int writeContext(LockingContext context) throws IOException;
+}