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.
---
 src/uk/ac/ox/cs/pagoda/util/SimpleProgressBar.java | 48 ----------------------
 1 file changed, 48 deletions(-)
 delete mode 100644 src/uk/ac/ox/cs/pagoda/util/SimpleProgressBar.java

(limited to 'src/uk/ac/ox/cs/pagoda/util/SimpleProgressBar.java')

diff --git a/src/uk/ac/ox/cs/pagoda/util/SimpleProgressBar.java b/src/uk/ac/ox/cs/pagoda/util/SimpleProgressBar.java
deleted file mode 100644
index 3c4aad7..0000000
--- a/src/uk/ac/ox/cs/pagoda/util/SimpleProgressBar.java
+++ /dev/null
@@ -1,48 +0,0 @@
-package uk.ac.ox.cs.pagoda.util;
-
-import uk.ac.ox.cs.pagoda.util.disposable.Disposable;
-
-public class SimpleProgressBar extends Disposable {
-
-    private final String name;
-    private int lastPercent;
-    private int maxValue;
-
-    public SimpleProgressBar() {
-        this("");
-    }
-
-    public SimpleProgressBar(String name) {
-        this(name, 100);
-    }
-
-    public SimpleProgressBar(String name, int maxValue) {
-        this.name = name;
-        this.maxValue = maxValue;
-    }
-
-    public void update(int value) {
-        int percent = value * 100 / maxValue;
-        StringBuilder template = new StringBuilder("\r" + name + " [");
-        for (int i = 0; i < 50; i++) {
-            if (i < percent * .5) {
-                template.append("=");
-            } else if (i == percent * .5) {
-                template.append(">");
-            } else {
-                template.append(" ");
-            }
-        }
-        template.append("] %s   ");
-        System.out.printf(template.toString(), percent + "%");
-        System.out.flush();
-        lastPercent = percent;
-    }
-
-    @Override
-    public void dispose() {
-        super.dispose();
-
-        System.out.println();
-    }
-}
-- 
cgit v1.2.3