+++ /dev/null
-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;
- }
-}