/****************************************************************** 

 * Copyright (c) 2003, Mario Hochreiter, Student of 

 * Software Engineering at FH-Hagenberg, Austria. 

 * Project member of the isac team at the Institute for 

 * Software-Technologie, Graz University of Technology, Austria. 

 * 

 * Use is subject to license terms.

 ******************************************************************/

package isac.util;

import isac.util.formulae.Specification;

import isac.bridge.xml.DataTypes; //.scala

import edu.tum.cs.isabelle.api.XML; // from libisabelle-full.jar

import java.io.Serializable;

import java.util.ArrayList;

/**

 * Describes a way how a specific calculation will be calculated (which method

 * will be used to solve this calculation).

 * 

 * @author Mario Hochreiter

 * @version 0.1

 *  

 */

public class Variant implements Serializable {

    static final long serialVersionUID = 4983770207782569120L;

	/** strings betweend the isa tags */

    protected ArrayList<String> isa_strings_;

    protected Specification spec_;

    public Variant() {

        isa_strings_ = new ArrayList<String>();

    }

    /**

     * Add a new isa string

     * 

     * @param isa

     *            The isa string

     */

    public void addNewIsaString(String isa) {

        isa_strings_.add(isa);

    }

    public String toString() {

        String content = "<TERMLIST>";

        for (int index = 0; index < isa_strings_.size(); index++)

            content += "<MATHML>\n<ISA>\n" + isa_strings_.get(index)

                    + "\n</ISA>\n</MATHML>\n";

        if (spec_ != null) {

            content += spec_;

        }

        content += "</TERMLIST>\n";

        return content;

    }

    /**

     * Format the object in a way that the bridge can handle it

     * 

     * @return SML representation of this Variant

     */

    public String toSMLString() {

        StringBuffer sb = new StringBuffer();

        int size = isa_strings_.size();

        sb.append("[");

        for (int i = 0; i < size; i++) {

            sb.append("\"" + (String) isa_strings_.get(i) + "\"");

            if (i < size - 1) sb.append(", ");

        }

        sb.append("],");

        sb.append("(" + spec_.toSMLString() + ")");

        return sb.toString();

    }

    /**

     * Format the object in a way that libisabelle/PIDE can handle it

     * @return XML representation of this Variant

     */

    // conversion is done in Scala, because it is much simpler there

    public XML.Tree toXML() {

    	return DataTypes.xml_of_Variant(this);

    }

    public void setSpecification(Specification spec) {

        this.spec_ = spec;

    }

    public Specification getSpecification() {

        return spec_;

    }

    public ArrayList<String> getIsaStrings() {

        return isa_strings_;

    }

}