mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java

   1 package com.example.furt.myapplication;
   2
   3 import android.graphics.Paint;
   4
   5 import java.util.List;
   6
   7 public class UndefinedFormula implements Formula{
   8
   9     Paint p=new Paint();
  10     int priority;
  11     boolean currentF; //indica se la formula è quella su cui sta lavorando il parser per l'inserimento di ipotesi
  12     UndefinedFormula()
  13     {
  14         priority=100;
  15         currentF=false;
  16     }
  17     public String Draw(int x)
  18     {
  19         if(currentF) //la formula corrente visualizza un _
  20             return "_";
  21         else
  22            return " ";
  23     }
  24     public String toString(){return Draw(0);}
  25     public String toStringDeleted(){return null;} //UndefinedFormula non può essere scaricata
  26     public float size(){
  27         p.setTextSize(DrawActivity.textSize);
  28         return p.measureText(toString());
  29     }
  30     public float height()
  31     {
  32         return 0;
  33     } //UndefinedFormula non ha dimensioni e non accetta regole
  34     public float sizeDeleted(){return(0);}
  35     public List<IntroductionRule> introductionRules(){
  36         return null;
  37     }
  38     public List<EliminationRule> EliminationRules(){
  39         return null;
  40     }
  41
  42     @Override
  43     public boolean Fill(Formula F) {
  44         return false;
  45     }
  46
  47     @Override
  48     public boolean setCursor() {
  49         currentF=true;
  50         return true;
  51     }
  52
  53     @Override
  54     public Formula duplicate() {
  55         UndefinedFormula tmp=new UndefinedFormula();
  56         tmp.currentF=this.currentF;
  57         return tmp;
  58     }
  59 }