//
// This file was generated by the Eclipse Implementation of JAXB, v2.3.3 
// See https://eclipse-ee4j.github.io/jaxb-ri 
// Any modifications to this file will be lost upon recompilation of the source schema. 
// Generated on: 2024.10.27 at 05:48:07 PM CET 
//


package de.uni_freiburg.informatik.ultimate.test.benchexec.benchmark;

import java.util.ArrayList;
import java.util.List;
import javax.xml.bind.JAXBElement;
import javax.xml.bind.annotation.XmlAccessType;
import javax.xml.bind.annotation.XmlAccessorType;
import javax.xml.bind.annotation.XmlAttribute;
import javax.xml.bind.annotation.XmlElementRef;
import javax.xml.bind.annotation.XmlElementRefs;
import javax.xml.bind.annotation.XmlRootElement;
import javax.xml.bind.annotation.XmlSchemaType;
import javax.xml.bind.annotation.XmlType;


/**
 * <p>Java class for anonymous complex type.
 * 
 * <p>The following schema fragment specifies the expected content contained within this class.
 * 
 * <pre>
 * <complexType>
 *   <complexContent>
 *     <restriction base="{http://www.w3.org/2001/XMLSchema}anyType">
 *       <sequence>
 *         <choice maxOccurs="unbounded" minOccurs="0">
 *           <element ref="{}rundefinition"/>
 *           <element ref="{}option"/>
 *           <element ref="{}propertyfile"/>
 *           <element ref="{}tasks"/>
 *           <element ref="{}requiredfiles"/>
 *           <element ref="{}resultfiles"/>
 *           <element ref="{}require"/>
 *         </choice>
 *         <element ref="{}columns" minOccurs="0"/>
 *       </sequence>
 *       <attribute name="tool" use="required" type="{http://www.w3.org/2001/XMLSchema}anySimpleType" />
 *       <attribute name="memlimit" type="{http://www.w3.org/2001/XMLSchema}anySimpleType" />
 *       <attribute name="timelimit" type="{http://www.w3.org/2001/XMLSchema}anySimpleType" />
 *       <attribute name="hardtimelimit" type="{http://www.w3.org/2001/XMLSchema}anySimpleType" />
 *       <attribute name="cpuCores" type="{http://www.w3.org/2001/XMLSchema}anySimpleType" />
 *       <attribute name="threads" type="{http://www.w3.org/2001/XMLSchema}anySimpleType" />
 *     </restriction>
 *   </complexContent>
 * </complexType>
 * </pre>
 * 
 * 
 */
@XmlAccessorType(XmlAccessType.FIELD)
@XmlType(name = "", propOrder = {
    "rundefinitionOrOptionOrPropertyfile",
    "columns"
})
@XmlRootElement(name = "benchmark")
public class Benchmark {

    @XmlElementRefs({
        @XmlElementRef(name = "rundefinition", type = Rundefinition.class, required = false),
        @XmlElementRef(name = "option", type = Option.class, required = false),
        @XmlElementRef(name = "propertyfile", type = JAXBElement.class, required = false),
        @XmlElementRef(name = "tasks", type = Tasks.class, required = false),
        @XmlElementRef(name = "requiredfiles", type = JAXBElement.class, required = false),
        @XmlElementRef(name = "resultfiles", type = JAXBElement.class, required = false),
        @XmlElementRef(name = "require", type = Require.class, required = false)
    })
    protected List<Object> rundefinitionOrOptionOrPropertyfile;
    protected Columns columns;
    @XmlAttribute(name = "tool", required = true)
    @XmlSchemaType(name = "anySimpleType")
    protected String tool;
    @XmlAttribute(name = "memlimit")
    @XmlSchemaType(name = "anySimpleType")
    protected String memlimit;
    @XmlAttribute(name = "timelimit")
    @XmlSchemaType(name = "anySimpleType")
    protected String timelimit;
    @XmlAttribute(name = "hardtimelimit")
    @XmlSchemaType(name = "anySimpleType")
    protected String hardtimelimit;
    @XmlAttribute(name = "cpuCores")
    @XmlSchemaType(name = "anySimpleType")
    protected String cpuCores;
    @XmlAttribute(name = "threads")
    @XmlSchemaType(name = "anySimpleType")
    protected String threads;

    /**
     * Gets the value of the rundefinitionOrOptionOrPropertyfile property.
     * 
     * &lt;p&gt;
     * This accessor method returns a reference to the live list,
     * not a snapshot. Therefore any modification you make to the
     * returned list will be present inside the JAXB object.
     * This is why there is not a &lt;CODE&gt;set&lt;/CODE&gt; method for the rundefinitionOrOptionOrPropertyfile property.
     * 
     * &lt;p&gt;
     * For example, to add a new item, do as follows:
     * &lt;pre&gt;
     *    getRundefinitionOrOptionOrPropertyfile().add(newItem);
     * &lt;/pre&gt;
     * 
     * 
     * &lt;p&gt;
     * Objects of the following type(s) are allowed in the list
     * {@link Rundefinition }
     * {@link Option }
     * {@link JAXBElement }{@code <}{@link String }{@code >}
     * {@link Tasks }
     * {@link JAXBElement }{@code <}{@link String }{@code >}
     * {@link JAXBElement }{@code <}{@link String }{@code >}
     * {@link Require }
     * 
     * 
     */
    public List<Object> getRundefinitionOrOptionOrPropertyfile() {
        if (rundefinitionOrOptionOrPropertyfile == null) {
            rundefinitionOrOptionOrPropertyfile = new ArrayList<Object>();
        }
        return this.rundefinitionOrOptionOrPropertyfile;
    }

    /**
     * Gets the value of the columns property.
     * 
     * @return
     *     possible object is
     *     {@link Columns }
     *     
     */
    public Columns getColumns() {
        return columns;
    }

    /**
     * Sets the value of the columns property.
     * 
     * @param value
     *     allowed object is
     *     {@link Columns }
     *     
     */
    public void setColumns(Columns value) {
        this.columns = value;
    }

    /**
     * Gets the value of the tool property.
     * 
     * @return
     *     possible object is
     *     {@link String }
     *     
     */
    public String getTool() {
        return tool;
    }

    /**
     * Sets the value of the tool property.
     * 
     * @param value
     *     allowed object is
     *     {@link String }
     *     
     */
    public void setTool(String value) {
        this.tool = value;
    }

    /**
     * Gets the value of the memlimit property.
     * 
     * @return
     *     possible object is
     *     {@link String }
     *     
     */
    public String getMemlimit() {
        return memlimit;
    }

    /**
     * Sets the value of the memlimit property.
     * 
     * @param value
     *     allowed object is
     *     {@link String }
     *     
     */
    public void setMemlimit(String value) {
        this.memlimit = value;
    }

    /**
     * Gets the value of the timelimit property.
     * 
     * @return
     *     possible object is
     *     {@link String }
     *     
     */
    public String getTimelimit() {
        return timelimit;
    }

    /**
     * Sets the value of the timelimit property.
     * 
     * @param value
     *     allowed object is
     *     {@link String }
     *     
     */
    public void setTimelimit(String value) {
        this.timelimit = value;
    }

    /**
     * Gets the value of the hardtimelimit property.
     * 
     * @return
     *     possible object is
     *     {@link String }
     *     
     */
    public String getHardtimelimit() {
        return hardtimelimit;
    }

    /**
     * Sets the value of the hardtimelimit property.
     * 
     * @param value
     *     allowed object is
     *     {@link String }
     *     
     */
    public void setHardtimelimit(String value) {
        this.hardtimelimit = value;
    }

    /**
     * Gets the value of the cpuCores property.
     * 
     * @return
     *     possible object is
     *     {@link String }
     *     
     */
    public String getCpuCores() {
        return cpuCores;
    }

    /**
     * Sets the value of the cpuCores property.
     * 
     * @param value
     *     allowed object is
     *     {@link String }
     *     
     */
    public void setCpuCores(String value) {
        this.cpuCores = value;
    }

    /**
     * Gets the value of the threads property.
     * 
     * @return
     *     possible object is
     *     {@link String }
     *     
     */
    public String getThreads() {
        return threads;
    }

    /**
     * Sets the value of the threads property.
     * 
     * @param value
     *     allowed object is
     *     {@link String }
     *     
     */
    public void setThreads(String value) {
        this.threads = value;
    }

}