Module dev.civl.abc

Package dev.civl.abc.config.IF

Enum Class Configurations.Language

java.lang.Object

java.lang.Enum<Configurations.Language>

dev.civl.abc.config.IF.Configurations.Language

All Implemented Interfaces:

Serializable, Comparable<Configurations.Language>, Constable

Enclosing class:

Configurations

public static enum Configurations.Language
extends Enum<Configurations.Language>

The language of the program being processed. C is the default, but if the file suffix ends in ".cvl" the command line processor will change it to CIVL_C. As this is a public static variable, it can also be set manually.

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
C	The programming language C, as specified in the C11 Standard
CIVL_C	The programming language CIVL-C, an extension of C for concurrency and verification.
FORTRAN	The programming language FORTRAN, as specified in the FORTRAN Standard
FORTRAN_OLD	Used for developing the new Fortran front.

Method Summary

Modifier and Type	Method	Description
static Configurations.Language	valueOf(String name)	Returns the enum constant of this class with the specified name.
static Configurations.Language[]	values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods inherited from class java.lang.Enum

compareTo, describeConstable, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

C

public static final Configurations.Language C

The programming language C, as specified in the C11 Standard

CIVL_C

public static final Configurations.Language CIVL_C

The programming language CIVL-C, an extension of C for concurrency and verification. See http://vsl.cis.udel.edu/civl .

FORTRAN

public static final Configurations.Language FORTRAN

The programming language FORTRAN, as specified in the FORTRAN Standard

FORTRAN_OLD

public static final Configurations.Language FORTRAN_OLD

Used for developing the new Fortran front.

Method Details

values

public static Configurations.Language[] values()

Returns an array containing the constants of this enum class, in the order they are declared.

Returns:

an array containing the constants of this enum class, in the order they are declared

valueOf

public static Configurations.Language valueOf(String name)

Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum class has no constant with the specified name

NullPointerException - if the argument is null