New version (to be tested).

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

diff --git a/mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java b/mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java
index 309cb4c637b9c4809a0a37ebd90b88c622d733ed..c5885a0108d0ee860cdd118220751da0fe62b696 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java
+++ b/mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java
@@ -8,7 +8,7 @@ public class UndefinedFormula implements Formula{
 
     Paint p=new Paint();
     int priority;
-    boolean currentF;
+    boolean currentF; //indica se la formula è quella su cui sta lavorando il parser per l'inserimento di ipotesi
     UndefinedFormula()
     {
         priority=100;
@@ -16,13 +16,13 @@ public class UndefinedFormula implements Formula{
     }
     public String Draw(int x)
     {
-        if(currentF)
+        if(currentF) //la formula corrente visualizza un _
             return "_";
         else
            return " ";
     }
     public String toString(){return Draw(0);}
-    public String toStringDeleted(){return null;} //UndefinedFormula should never be deleted
+    public String toStringDeleted(){return null;} //UndefinedFormula non può essere scaricata
     public float size(){
         p.setTextSize(DrawActivity.textSize);
         return p.measureText(toString());
@@ -30,11 +30,11 @@ public class UndefinedFormula implements Formula{
     public float height()
     {
         return 0;
-    }
+    } //UndefinedFormula non ha dimensioni e non accetta regole
     public float sizeDeleted(){return(0);}
     public List<IntroductionRule> introductionRules(){
         return null;
-    } //UndefinedFormula accepts no rules
+    }
     public List<EliminationRule> EliminationRules(){
         return null;
     }