org.symcomp.openmath
Enum OpenMathBase.ENCODINGS

java.lang.Object
  extended by java.lang.Enum<OpenMathBase.ENCODINGS>
      extended by org.symcomp.openmath.OpenMathBase.ENCODINGS
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<OpenMathBase.ENCODINGS>
Enclosing class:
OpenMathBase

public static enum OpenMathBase.ENCODINGS
extends java.lang.Enum<OpenMathBase.ENCODINGS>

constants


Enum Constant Summary
BINARY
           
POPCORN
           
XML
           
 
Method Summary
static OpenMathBase.ENCODINGS get(java.lang.String str)
           
 OpenMathBase parse(java.io.Reader r)
           
 OpenMathBase parse(java.lang.String s)
           
 java.lang.String render(OpenMathBase obj)
           
 void render(OpenMathBase obj, java.io.Writer out)
           
 java.lang.String toString()
           
static OpenMathBase.ENCODINGS valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static OpenMathBase.ENCODINGS[] values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 
Methods inherited from class java.lang.Enum
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Enum Constant Detail

BINARY

public static final OpenMathBase.ENCODINGS BINARY

XML

public static final OpenMathBase.ENCODINGS XML

POPCORN

public static final OpenMathBase.ENCODINGS POPCORN
Method Detail

values

public static OpenMathBase.ENCODINGS[] 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 (OpenMathBase.ENCODINGS c : OpenMathBase.ENCODINGS.values())
    System.out.println(c);

Returns:
an array containing the constants of this enum type, in the order they are declared

valueOf

public static OpenMathBase.ENCODINGS valueOf(java.lang.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:
java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
java.lang.NullPointerException - if the argument is null

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Enum<OpenMathBase.ENCODINGS>

get

public static OpenMathBase.ENCODINGS get(java.lang.String str)

parse

public OpenMathBase parse(java.io.Reader r)
                   throws OpenMathException
Throws:
OpenMathException

parse

public OpenMathBase parse(java.lang.String s)
                   throws OpenMathException
Throws:
OpenMathException

render

public java.lang.String render(OpenMathBase obj)
                        throws OpenMathException
Throws:
OpenMathException

render

public void render(OpenMathBase obj,
                   java.io.Writer out)
            throws OpenMathException
Throws:
OpenMathException


Copyright © 2010. All Rights Reserved.