/**
*/
package net.certware.argument.sfp.semiFormalProof;
import java.util.Arrays;
import java.util.Collections;
import java.util.List;
import org.eclipse.emf.common.util.Enumerator;
/**
* <!-- begin-user-doc -->
* A representation of the literals of the enumeration '<em><b>Validation Kind</b></em>',
* and utility methods for working with them.
* <!-- end-user-doc -->
* @see net.certware.argument.sfp.semiFormalProof.SemiFormalProofPackage#getValidationKind()
* @model
* @generated
*/
public enum ValidationKind implements Enumerator
{
/**
* The '<em><b>UNKNOWN</b></em>' literal object.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see #UNKNOWN_VALUE
* @generated
* @ordered
*/
UNKNOWN(0, "UNKNOWN", "unknown"),
/**
* The '<em><b>VALID</b></em>' literal object.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see #VALID_VALUE
* @generated
* @ordered
*/
VALID(1, "VALID", "valid"),
/**
* The '<em><b>INVALID</b></em>' literal object.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see #INVALID_VALUE
* @generated
* @ordered
*/
INVALID(2, "INVALID", "invalid");
/**
* The '<em><b>UNKNOWN</b></em>' literal value.
* <!-- begin-user-doc -->
* <p>
* If the meaning of '<em><b>UNKNOWN</b></em>' literal object isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @see #UNKNOWN
* @model literal="unknown"
* @generated
* @ordered
*/
public static final int UNKNOWN_VALUE = 0;
/**
* The '<em><b>VALID</b></em>' literal value.
* <!-- begin-user-doc -->
* <p>
* If the meaning of '<em><b>VALID</b></em>' literal object isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @see #VALID
* @model literal="valid"
* @generated
* @ordered
*/
public static final int VALID_VALUE = 1;
/**
* The '<em><b>INVALID</b></em>' literal value.
* <!-- begin-user-doc -->
* <p>
* If the meaning of '<em><b>INVALID</b></em>' literal object isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @see #INVALID
* @model literal="invalid"
* @generated
* @ordered
*/
public static final int INVALID_VALUE = 2;
/**
* An array of all the '<em><b>Validation Kind</b></em>' enumerators.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private static final ValidationKind[] VALUES_ARRAY =
new ValidationKind[]
{
UNKNOWN,
VALID,
INVALID,
};
/**
* A public read-only list of all the '<em><b>Validation Kind</b></em>' enumerators.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public static final List<ValidationKind> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY));
/**
* Returns the '<em><b>Validation Kind</b></em>' literal with the specified literal value.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public static ValidationKind get(String literal)
{
for (int i = 0; i < VALUES_ARRAY.length; ++i)
{
ValidationKind result = VALUES_ARRAY[i];
if (result.toString().equals(literal))
{
return result;
}
}
return null;
}
/**
* Returns the '<em><b>Validation Kind</b></em>' literal with the specified name.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public static ValidationKind getByName(String name)
{
for (int i = 0; i < VALUES_ARRAY.length; ++i)
{
ValidationKind result = VALUES_ARRAY[i];
if (result.getName().equals(name))
{
return result;
}
}
return null;
}
/**
* Returns the '<em><b>Validation Kind</b></em>' literal with the specified integer value.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public static ValidationKind get(int value)
{
switch (value)
{
case UNKNOWN_VALUE: return UNKNOWN;
case VALID_VALUE: return VALID;
case INVALID_VALUE: return INVALID;
}
return null;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private final int value;
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private final String name;
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private final String literal;
/**
* Only this class can construct instances.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
private ValidationKind(int value, String name, String literal)
{
this.value = value;
this.name = name;
this.literal = literal;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public int getValue()
{
return value;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public String getName()
{
return name;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public String getLiteral()
{
return literal;
}
/**
* Returns the literal value of the enumerator, which is its string representation.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
@Override
public String toString()
{
return literal;
}
} //ValidationKind