check point before reconsidering the lock management feature of the SRM

diff --git a/developer/javac🖉/#Ariadne_LockManager.java# b/developer/javac🖉/#Ariadne_LockManager.java#
new file mode 100644 (file)
index 0000000..06773c8
--- /dev/null
+++ b/developer/javac🖉/#Ariadne_LockManager.java#
@@ -0,0 +1,12 @@
+/*
+
+
+*/
+
+
+package com.ReasoningTechnology.Ariadne;
+
+public interface Ariadne_OwnershipServer{
+  Ariadne_LockManagerDelegate<T>  single_thread(Object resource);
+  Ariadne_LockManagerDelegate<T>  multiple_thread(Object resource);
+}

diff --git a/developer/javac🖉/#Ariadne_OwnershipManager.java# b/developer/javac🖉/#Ariadne_OwnershipManager.java#
deleted file mode 100644 (file)
index 06773c8..0000000
--- a/developer/javac🖉/#Ariadne_OwnershipManager.java#
+++ /dev/null
@@ -1,12 +0,0 @@
-/*
-
-
-*/
-
-
-package com.ReasoningTechnology.Ariadne;
-
-public interface Ariadne_OwnershipServer{
-  Ariadne_LockManagerDelegate<T>  single_thread(Object resource);
-  Ariadne_LockManagerDelegate<T>  multiple_thread(Object resource);
-}

diff --git a/developer/javac🖉/Ariadne_LockManager.java b/developer/javac🖉/Ariadne_LockManager.java
new file mode 100644 (file)
index 0000000..21bdb05
--- /dev/null
+++ b/developer/javac🖉/Ariadne_LockManager.java
@@ -0,0 +1,12 @@
+/*
+
+
+*/
+
+
+package com.ReasoningTechnology.Ariadne;
+
+public interface Ariadne_LockManager{
+  Ariadne_LockManagerDelegate<T>  single_thread(Object resource);
+  Ariadne_LockManagerDelegate<T>  multiple_thread(Object resource);
+}

diff --git a/developer/javac🖉/Ariadne_LockManagerDelegate.java b/developer/javac🖉/Ariadne_LockManagerDelegate.java
new file mode 100644 (file)
index 0000000..1b46908
--- /dev/null
+++ b/developer/javac🖉/Ariadne_LockManagerDelegate.java
@@ -0,0 +1,6 @@
+package com.ReasoningTechnology.Ariadne;
+
+public interface Ariadne_LockManagerDelegate{
+  void request();
+  void relinquish();
+}

diff --git a/developer/javac🖉/Ariadne_OwnershipManager.java b/developer/javac🖉/Ariadne_OwnershipManager.java
deleted file mode 100644 (file)
index 06773c8..0000000
--- a/developer/javac🖉/Ariadne_OwnershipManager.java
+++ /dev/null
@@ -1,12 +0,0 @@
-/*
-
-
-*/
-
-
-package com.ReasoningTechnology.Ariadne;
-
-public interface Ariadne_OwnershipServer{
-  Ariadne_LockManagerDelegate<T>  single_thread(Object resource);
-  Ariadne_LockManagerDelegate<T>  multiple_thread(Object resource);
-}

diff --git a/developer/javac🖉/Ariadne_OwnershipManagerDelegate.java b/developer/javac🖉/Ariadne_OwnershipManagerDelegate.java
deleted file mode 100644 (file)
index 35cd60d..0000000
--- a/developer/javac🖉/Ariadne_OwnershipManagerDelegate.java
+++ /dev/null
@@ -1,6 +0,0 @@
-package com.ReasoningTechnology.Ariadne;
-
-public interface Ariadne_Arbiter{
-  void request();
-  void relinquish();
-}