From 17bd9beaf7f358a44e5bf36a5855fe6727d506dc Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 10 May 2022 18:17:06 +0100
Subject: [pagoda] Move project to Scala

This commit includes a few changes:
- The repository still uses Maven to manage dependency but it is now a
  Scala project.
- The code has been ported from OWLAPI 3.4.10 to 5.1.20
- A proof of concept program using both RSAComb and PAGOdA has been
  added.
---
 .../ox/cs/pagoda/util/disposable/Disposable.java   | 30 ----------------------
 .../pagoda/util/disposable/DisposedException.java  | 12 ---------
 2 files changed, 42 deletions(-)
 delete mode 100644 src/uk/ac/ox/cs/pagoda/util/disposable/Disposable.java
 delete mode 100644 src/uk/ac/ox/cs/pagoda/util/disposable/DisposedException.java

(limited to 'src/uk/ac/ox/cs/pagoda/util/disposable')

diff --git a/src/uk/ac/ox/cs/pagoda/util/disposable/Disposable.java b/src/uk/ac/ox/cs/pagoda/util/disposable/Disposable.java
deleted file mode 100644
index 4015b66..0000000
--- a/src/uk/ac/ox/cs/pagoda/util/disposable/Disposable.java
+++ /dev/null
@@ -1,30 +0,0 @@
-package uk.ac.ox.cs.pagoda.util.disposable;
-
-
-/**
- * Every public method of a subclass of this class,
- * as first instruction, should check if the object has already been disposed
- * and, if so, should throw a <tt>DisposedException</tt>.
- */
-public abstract class Disposable {
-
-    private boolean disposed = false;
-
-    /**
-     * This method must be called after the use of the object.
-     * <p>
-     * Every overriding method must call <tt>super.dispose()</tt> as first instruction.
-     */
-    public void dispose() {
-        if(isDisposed()) throw new AlreadyDisposedException();
-        disposed = true;
-    }
-
-    public final boolean isDisposed() {
-        return disposed;
-    }
-
-    private class AlreadyDisposedException extends RuntimeException {
-    }
-
-}
diff --git a/src/uk/ac/ox/cs/pagoda/util/disposable/DisposedException.java b/src/uk/ac/ox/cs/pagoda/util/disposable/DisposedException.java
deleted file mode 100644
index eb8c039..0000000
--- a/src/uk/ac/ox/cs/pagoda/util/disposable/DisposedException.java
+++ /dev/null
@@ -1,12 +0,0 @@
-package uk.ac.ox.cs.pagoda.util.disposable;
-
-public class DisposedException extends RuntimeException {
-
-    public DisposedException() {
-        super();
-    }
-
-    public DisposedException(String msg) {
-        super(msg);
-    }
-}
-- 
cgit v1.2.3