Package daikon.inv
Enum OutputFormat
- Object
-
- Enum<OutputFormat>
-
- OutputFormat
-
- All Implemented Interfaces:
Serializable
,Comparable<OutputFormat>
public enum OutputFormat extends Enum<OutputFormat>
Enumeration type for output style. (Should this be somewhere else?)
-
-
Enum Constant Summary
Enum Constants Enum Constant Description CSHARPCONTRACT
C# Code Contract.DAIKON
The standard, concise Daikon output format.DBCJAVA
Design-By-Contract for Java (used by Parasoft JContract)ESCJAVA
ESC/Java's annotation language -- a variant of JML.JAVA
Java boolean expression.JML
Java Modeling Language.SIMPLIFY
Simplify theorem prover.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description String
ensures_tag()
static OutputFormat
get(String name)
Return the appropriate OutputFormat for the given name, or throw an error if no such OutputFormat exists.boolean
isJavaFamily()
String
requires_tag()
String
toString()
static OutputFormat
valueOf(String name)
Returns the enum constant of this type with the specified name.static OutputFormat[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
DAIKON
public static final OutputFormat DAIKON
The standard, concise Daikon output format. Intended to be read by humans.
-
DBCJAVA
public static final OutputFormat DBCJAVA
Design-By-Contract for Java (used by Parasoft JContract)
-
ESCJAVA
public static final OutputFormat ESCJAVA
ESC/Java's annotation language -- a variant of JML.
-
JAVA
public static final OutputFormat JAVA
Java boolean expression.
-
JML
public static final OutputFormat JML
Java Modeling Language.
-
SIMPLIFY
public static final OutputFormat SIMPLIFY
Simplify theorem prover. First order logical expressions, expressed in Lisp-style parens.
-
CSHARPCONTRACT
public static final OutputFormat CSHARPCONTRACT
C# Code Contract.
-
-
Method Detail
-
values
public static OutputFormat[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (OutputFormat c : OutputFormat.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static OutputFormat valueOf(String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (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 type has no constant with the specified nameNullPointerException
- if the argument is null
-
toString
@SideEffectFree public String toString(@GuardSatisfied OutputFormat this)
- Overrides:
toString
in classEnum<OutputFormat>
-
isJavaFamily
@Pure public boolean isJavaFamily()
-
get
public static OutputFormat get(String name)
Return the appropriate OutputFormat for the given name, or throw an error if no such OutputFormat exists.
-
ensures_tag
public String ensures_tag()
-
requires_tag
public String requires_tag()
-
-