Choice.java

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package eu.aniketos.spec;

import org.jdom.Element;

/**
 *
 * @author Administrator
 */
public class Choice extends Path {

    private Path op1;
    private Path op2;

    public Choice(Path a, Path b) {
        op1 = a;
        op2 = b;
    }

	/**
	 * trasfrom it to a DOM element
	 */
    public Element toElement() {
        Element e = new Element(Path.choice_tag);
        e.addContent(op1.toElement());
        e.addContent(op2.toElement());
        return e;
    }

}