/**
* generated by Xtext 2.17.0
*/
package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
import java.util.Arrays;
import java.util.Collections;
import java.util.List;
import org.eclipse.emf.common.util.Enumerator;
/**
*
* A representation of the literals of the enumeration 'Solver',
* and utility methods for working with them.
*
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getSolver()
* @model
* @generated
*/
public enum Solver implements Enumerator
{
/**
* The 'SMT Solver' literal object.
*
*
* @see #SMT_SOLVER_VALUE
* @generated
* @ordered
*/
SMT_SOLVER(0, "SMTSolver", "SMTSolver"),
/**
* The 'Alloy Solver' literal object.
*
*
* @see #ALLOY_SOLVER_VALUE
* @generated
* @ordered
*/
ALLOY_SOLVER(1, "AlloySolver", "AlloySolver"),
/**
* The 'Viatra Solver' literal object.
*
*
* @see #VIATRA_SOLVER_VALUE
* @generated
* @ordered
*/
VIATRA_SOLVER(2, "ViatraSolver", "ViatraSolver");
/**
* The 'SMT Solver' literal value.
*
*
* @see #SMT_SOLVER
* @model name="SMTSolver"
* @generated
* @ordered
*/
public static final int SMT_SOLVER_VALUE = 0;
/**
* The 'Alloy Solver' literal value.
*
*
* @see #ALLOY_SOLVER
* @model name="AlloySolver"
* @generated
* @ordered
*/
public static final int ALLOY_SOLVER_VALUE = 1;
/**
* The 'Viatra Solver' literal value.
*
*
* @see #VIATRA_SOLVER
* @model name="ViatraSolver"
* @generated
* @ordered
*/
public static final int VIATRA_SOLVER_VALUE = 2;
/**
* An array of all the 'Solver' enumerators.
*
*
* @generated
*/
private static final Solver[] VALUES_ARRAY =
new Solver[]
{
SMT_SOLVER,
ALLOY_SOLVER,
VIATRA_SOLVER,
};
/**
* A public read-only list of all the 'Solver' enumerators.
*
*
* @generated
*/
public static final List VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY));
/**
* Returns the 'Solver' literal with the specified literal value.
*
*
* @param literal the literal.
* @return the matching enumerator or null
.
* @generated
*/
public static Solver get(String literal)
{
for (int i = 0; i < VALUES_ARRAY.length; ++i)
{
Solver result = VALUES_ARRAY[i];
if (result.toString().equals(literal))
{
return result;
}
}
return null;
}
/**
* Returns the 'Solver' literal with the specified name.
*
*
* @param name the name.
* @return the matching enumerator or null
.
* @generated
*/
public static Solver getByName(String name)
{
for (int i = 0; i < VALUES_ARRAY.length; ++i)
{
Solver result = VALUES_ARRAY[i];
if (result.getName().equals(name))
{
return result;
}
}
return null;
}
/**
* Returns the 'Solver' literal with the specified integer value.
*
*
* @param value the integer value.
* @return the matching enumerator or null
.
* @generated
*/
public static Solver get(int value)
{
switch (value)
{
case SMT_SOLVER_VALUE: return SMT_SOLVER;
case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER;
case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER;
}
return null;
}
/**
*
*
* @generated
*/
private final int value;
/**
*
*
* @generated
*/
private final String name;
/**
*
*
* @generated
*/
private final String literal;
/**
* Only this class can construct instances.
*
*
* @generated
*/
private Solver(int value, String name, String literal)
{
this.value = value;
this.name = name;
this.literal = literal;
}
/**
*
*
* @generated
*/
@Override
public int getValue()
{
return value;
}
/**
*
*
* @generated
*/
@Override
public String getName()
{
return name;
}
/**
*
*
* @generated
*/
@Override
public String getLiteral()
{
return literal;
}
/**
* Returns the literal value of the enumerator, which is its string representation.
*
*
* @generated
*/
@Override
public String toString()
{
return literal;
}
} //Solver