Ported to latest version of Android SDK

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

diff --git a/mainActivity/app/src/main/java/com/example/furt/myapplication/UndefinedFormula.java b/mainActivity/app/src/main/java/com/example/furt/myapplication/UndefinedFormula.java
new file mode 100644 (file)
index 0000000..c5885a0
--- /dev/null
+++ b/mainActivity/app/src/main/java/com/example/furt/myapplication/UndefinedFormula.java
@@ -0,0 +1,59 @@
+package com.example.furt.myapplication;
+
+import android.graphics.Paint;
+
+import java.util.List;
+
+public class UndefinedFormula implements Formula{
+
+    Paint p=new Paint();
+    int priority;
+    boolean currentF; //indica se la formula è quella su cui sta lavorando il parser per l'inserimento di ipotesi
+    UndefinedFormula()
+    {
+        priority=100;
+        currentF=false;
+    }
+    public String Draw(int x)
+    {
+        if(currentF) //la formula corrente visualizza un _
+            return "_";
+        else
+           return " ";
+    }
+    public String toString(){return Draw(0);}
+    public String toStringDeleted(){return null;} //UndefinedFormula non può essere scaricata
+    public float size(){
+        p.setTextSize(DrawActivity.textSize);
+        return p.measureText(toString());
+    }
+    public float height()
+    {
+        return 0;
+    } //UndefinedFormula non ha dimensioni e non accetta regole
+    public float sizeDeleted(){return(0);}
+    public List<IntroductionRule> introductionRules(){
+        return null;
+    }
+    public List<EliminationRule> EliminationRules(){
+        return null;
+    }
+
+    @Override
+    public boolean Fill(Formula F) {
+        return false;
+    }
+
+    @Override
+    public boolean setCursor() {
+        currentF=true;
+        return true;
+    }
+
+    @Override
+    public Formula duplicate() {
+        UndefinedFormula tmp=new UndefinedFormula();
+        tmp.currentF=this.currentF;
+        return tmp;
+    }
+}