package isac.gui.treetable;

 import isac.gui.mawen.editor.EditorListener;

 import isac.gui.mawen.syntax.Ast;

 import isac.interfaces.IEditor;

 import java.awt.Dimension;

 import java.util.ArrayList;

 import javax.swing.JComponent;

 import javax.swing.JTextField;

 public class TacticTextField extends JTextField implements IEditor {

 	private static final long serialVersionUID = 1L;

 /*err*/private isac.gui.mawen.syntax.Ast.Ast formula;

 	protected ArrayList<EditorListener> listeners;

 	public TacticTextField() {

 	  listeners = new ArrayList<EditorListener>();

 		setOpaque(true);

 	    setHorizontalAlignment(JTextField.RIGHT);

 	    setBorder(null);

 	}

 	@Override

 	public JComponent getComponent() {

 		return this;

 	}

 	@Override

 	public void setFormula(String formula) {

 		setText(formula);

 	}

 /*err*/public void setFormula(Ast.Ast formula) {

 /*err*/this.formula = formula;

     setFormula(isac.gui.mawen.syntax.Ast.math_string_of(formula));

     // TODO Auto-generated method stub

     System.out.println(formula);

     }

 	public Ast.Ast getFormula() {

         return formula;

     }

 	@Override

 	public Dimension getExpressionSize() {

 		return getPreferredSize();

 	}

 	@Override

 	public boolean setEditable() {

 		return false;

 	}

 	public void addEditorListener(EditorListener l) {

     listeners.add(l);

     }

     public void removeEditorListener(EditorListener l) {

         listeners.remove(l);

     }

     @Override

     public String getMathText() {

         return getText();

     }

     @Override

     public void fireNotifyLocalCheck() {}

     @Override

    public void fireNotifyIsaCheck() {}

    // inappropriate for StringEditor

 /*err*/public void fireNotifyBraille(Ast.Ast formula) {}

 }