Ported to latest version of Android SDK

[logicplayer.git] / mainActivity / app / src / main / java / com / example / furt / myapplication / FormulaTOP.java

diff --git a/mainActivity/app/src/main/java/com/example/furt/myapplication/FormulaTOP.java b/mainActivity/app/src/main/java/com/example/furt/myapplication/FormulaTOP.java
new file mode 100644 (file)
index 0000000..8d9aa70
--- /dev/null
+++ b/mainActivity/app/src/main/java/com/example/furt/myapplication/FormulaTOP.java
@@ -0,0 +1,38 @@
+package com.example.furt.myapplication;
+
+import java.util.ArrayList;
+import java.util.List;
+
+public class FormulaTOP extends GenericFormula implements Formula{
+
+    FormulaTOP()
+    {
+        priority=100;
+    }
+
+    @Override
+    public String Draw(int p){return "Ț";}
+
+    public List<IntroductionRule> introductionRules(){
+        //le regole di introduzione ed eliminazione per Top non sono implementate in quanto prive
+        //di un'applicazione effettiva nella dimostrazione
+        List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
+        return nodes;
+    }
+
+    @Override
+    public boolean Fill(Formula F) {
+        return false;
+    }
+
+    @Override
+    public boolean setCursor() {
+        return false;
+    }
+
+    @Override
+    public Formula duplicate() {
+        return new FormulaTOP();
+    }
+
+}