All Packages  Class Hierarchy

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Index of all Fields and Methods

A

appendChild(Node). Method in interface fr.inria.openmath.omapi.Node
Adds the node newChild to the end of the list of children of this node.
appendChild(Node). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
ApplyNodeImpl(). Constructor for class fr.inria.openmath.omapi.implementation.ApplyNodeImpl

B

Base64Decoder(). Constructor for class fr.inria.openmath.omapi.implementation.Base64Decoder
Base64Encoder(byte[]). Constructor for class fr.inria.openmath.omapi.implementation.Base64Encoder
Create a new Base64 encoder, to encode the given string.
Base64Encoder(InputStream, OutputStream). Constructor for class fr.inria.openmath.omapi.implementation.Base64Encoder
Create a new Base64 encoder, encoding input to output.
Base64FormatException(String). Constructor for class fr.inria.openmath.omapi.implementation.Base64FormatException
Creates that kind of exception.
BigIntegerNodeImpl(BigInteger). Constructor for class fr.inria.openmath.omapi.implementation.BigIntegerNodeImpl
BinaryParser(). Constructor for class fr.inria.openmath.omapi.implementation.BinaryParser
BinaryParser(ParserHandler). Constructor for class fr.inria.openmath.omapi.implementation.BinaryParser
BinaryParser(ParserHandler, ParserErrorHandler). Constructor for class fr.inria.openmath.omapi.implementation.BinaryParser
BinaryPrinter(). Constructor for class fr.inria.openmath.omapi.implementation.BinaryPrinter
BinaryPrinter(OutputStream). Constructor for class fr.inria.openmath.omapi.implementation.BinaryPrinter
BindNodeImpl(). Constructor for class fr.inria.openmath.omapi.implementation.BindNodeImpl
ByteArrayNodeImpl(byte[]). Constructor for class fr.inria.openmath.omapi.implementation.ByteArrayNodeImpl

C

cloneNode(boolean). Method in interface fr.inria.openmath.omapi.Node
Returns a duplicate of this node, ie: serves as a generic copy constructor for nodes.
cloneNode(boolean). Method in class fr.inria.openmath.omapi.implementation.NodeImpl

D

DebugParserHandler(). Constructor for class fr.inria.openmath.omapi.implementation.DebugParserHandler
Creates a new DebugParserHandler that wont forward events.
DebugParserHandler(ParserHandler). Constructor for class fr.inria.openmath.omapi.implementation.DebugParserHandler
Creates a new DebugParserHandler that will forward events.
DebugParserHandler(ParserHandler, PrintWriter). Constructor for class fr.inria.openmath.omapi.implementation.DebugParserHandler
Creates a new DebugParserHandler that will forward events.
DECIMAL. Static variable in interface fr.inria.openmath.omapi.FloatNode
The decimal base is the more human readable.
decodeString(String). Method in class fr.inria.openmath.omapi.implementation.UTF7Codec

E

endApplication(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
endApplication(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the end of an application element.
endApplication(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the end of an application element.
endApplication(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
endApplication(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
endAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
endAttributePairs(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the end of an attribute-pairs element.
endAttributePairs(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the end of an attribute-pairs element.
endAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
endAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
endAttribution(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
endAttribution(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the end of an attribution element.
endAttribution(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the end of an attribution element.
endAttribution(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
endAttribution(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
endBind(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
endBind(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the beginning of a Bind element.
endBind(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the end of an bind element.
endBind(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
endBind(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
endBVars(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
endBVars(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the beginning of a BVars element.
endBVars(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the end of an bvars element.
endBVars(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
endBVars(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
endError(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
endError(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the end of an error element.
endError(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the end of an error element.
endError(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
endError(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
endObject(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
endObject(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the end of an object element.
endObject(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the end of an object element.
endObject(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
endObject(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
endParse(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
endParse(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the end of parse.
endParse(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the end of parse.
endParse(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
endPrint(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
endPrint(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
endPrint(). Method in interface fr.inria.openmath.omapi.Printer
Does what is needed when print has been completed.
endPrint(). Method in interface fr.inria.openmath.omapi.TreePrinter
Does what is needed when print has been completed.
endPrint(). Method in class fr.inria.openmath.omapi.implementation.TreePrinterImpl
endPrint(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
equals(Object). Method in class fr.inria.openmath.omapi.Symbol
Compares this Symbol to the specified object.
equals(String, String). Method in class fr.inria.openmath.omapi.Symbol
Compares this Symbol to another (without having to build its instance).
error(OMException). Method in class fr.inria.openmath.omapi.ParserErrorAdapter
Receives notification of a recoverable error.
error(OMException). Method in interface fr.inria.openmath.omapi.ParserErrorHandler
Receives notification of a recoverable error.

F

fatalError(OMException). Method in class fr.inria.openmath.omapi.ParserErrorAdapter
Receives notification of a non-recoverable error.
fatalError(OMException). Method in interface fr.inria.openmath.omapi.ParserErrorHandler
Receives notification of a non-recoverable error.
FloatNodeImpl(double). Constructor for class fr.inria.openmath.omapi.implementation.FloatNodeImpl
FloatNodeImpl(double, int). Constructor for class fr.inria.openmath.omapi.implementation.FloatNodeImpl

G

getAttribute(Symbol). Method in interface fr.inria.openmath.omapi.Node
Retrieves an attribute's value (a node) given its name (a Symbol)
getAttribute(Symbol). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getAttributeNumber(). Method in interface fr.inria.openmath.omapi.Node
The number of attributes set on this node.
getAttributeNumber(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getBinder(). Method in interface fr.inria.openmath.omapi.BindNode
Get the binder object of this node.
getBinder(). Method in class fr.inria.openmath.omapi.implementation.BindNodeImpl
getBoundObject(). Method in interface fr.inria.openmath.omapi.BindNode
Get the bound object of this node.
getBoundObject(). Method in class fr.inria.openmath.omapi.implementation.BindNodeImpl
getCD(). Method in class fr.inria.openmath.omapi.Symbol
Returns the CD of the symbol.
getChildNodes(). Method in interface fr.inria.openmath.omapi.Node
A NodeList that contains all children of this node.
getChildNodes(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getColumnNumber(). Method in class fr.inria.openmath.omapi.implementation.BinaryParser
getColumnNumber(). Method in interface fr.inria.openmath.omapi.Locator
Returns the column number where the current parsing event ends.
getColumnNumber(). Method in class fr.inria.openmath.omapi.implementation.XMLParser
getComments(). Method in interface fr.inria.openmath.omapi.Node
Get the comments that have been set on this node.
getComments(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getErrorCode(). Method in class fr.inria.openmath.omapi.OMException
Returns the specific error code of this exception.
getException(). Method in class fr.inria.openmath.omapi.OMException
Returns the embedded exception, if any.
getFirstArg(). Method in interface fr.inria.openmath.omapi.ApplyNode
Get the first argument object of this Apply node.
getFirstArg(). Method in class fr.inria.openmath.omapi.implementation.ApplyNodeImpl
getFirstBoundVar(). Method in interface fr.inria.openmath.omapi.BindNode
Get the first bound var Node of this Bind node.
getFirstBoundVar(). Method in class fr.inria.openmath.omapi.implementation.BindNodeImpl
getFirstChild(). Method in interface fr.inria.openmath.omapi.Node
The first child of this node.
getFirstChild(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getFunction(). Method in interface fr.inria.openmath.omapi.ApplyNode
Get the applied symbol (function) of this node.
getFunction(). Method in class fr.inria.openmath.omapi.implementation.ApplyNodeImpl
getIndent(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
Get the curent number of spaces skiped at each indentation level.
getIndent(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
Get the curent number of spaces skiped at each indentation level.
getLastChild(). Method in interface fr.inria.openmath.omapi.Node
The last child of this node.
getLastChild(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getLength(). Method in interface fr.inria.openmath.omapi.NodeList
The number of nodes in the list.
getLength(). Method in class fr.inria.openmath.omapi.implementation.NodeListImpl
getLineNumber(). Method in class fr.inria.openmath.omapi.implementation.BinaryParser
getLineNumber(). Method in interface fr.inria.openmath.omapi.Locator
Returns the line number where the current parsing event ends.
getLineNumber(). Method in class fr.inria.openmath.omapi.implementation.XMLParser
getMessage(). Method in class fr.inria.openmath.omapi.OMException
Returns a detail message for this exception.
getName(). Method in class fr.inria.openmath.omapi.Symbol
Returns the name of the symbol.
getNextSibling(). Method in interface fr.inria.openmath.omapi.Node
The node immediately following this node.
getNextSibling(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getNodeName(). Method in interface fr.inria.openmath.omapi.Node
The name of this node, depending on its type; see the table above.
getNodeName(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getNodeType(). Method in interface fr.inria.openmath.omapi.Node
A code representing the type of the underlying object, as defined above.
getNodeType(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getNthAttributeName(int). Method in interface fr.inria.openmath.omapi.Node
Returns the indexth attribute name.
getNthAttributeName(int). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getNthAttributeValue(int). Method in interface fr.inria.openmath.omapi.Node
Returns the indexth attribute value.
getNthAttributeValue(int). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getOutput(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
getOutput(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
getOutput(). Method in interface fr.inria.openmath.omapi.StreamPrinter
Allows an application to get the current output destination.
getOutput(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
getParent(). Method in interface fr.inria.openmath.omapi.Node
The parent of this node.
getParent(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getParserErrorHandler(). Method in class fr.inria.openmath.omapi.implementation.BinaryParser
getParserErrorHandler(). Method in interface fr.inria.openmath.omapi.Parser
Get the current parser error handler.
getParserErrorHandler(). Method in class fr.inria.openmath.omapi.implementation.XMLParser
getParserHandler(). Method in class fr.inria.openmath.omapi.implementation.BinaryParser
getParserHandler(). Method in interface fr.inria.openmath.omapi.Parser
Get the current parser handler.
getParserHandler(). Method in class fr.inria.openmath.omapi.implementation.XMLParser
getPInstructions(). Method in interface fr.inria.openmath.omapi.Node
Get the vector of strings that represents all the processing instructions that have been set on this node.
getPInstructions(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getPreferedBase(). Method in interface fr.inria.openmath.omapi.FloatNode
getPreferedBase(). Method in class fr.inria.openmath.omapi.implementation.FloatNodeImpl
getPreviousSibling(). Method in interface fr.inria.openmath.omapi.Node
The node immediately preceding this node.
getPreviousSibling(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
getPrinter(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
Get the printer.
getPrinter(). Method in interface fr.inria.openmath.omapi.TreePrinter
Allows an application to get the current printer.
getPrinter(). Method in class fr.inria.openmath.omapi.implementation.TreePrinterImpl
getValue(). Method in interface fr.inria.openmath.omapi.BigIntegerNode
getValue(). Method in class fr.inria.openmath.omapi.implementation.BigIntegerNodeImpl
getValue(). Method in interface fr.inria.openmath.omapi.ByteArrayNode
getValue(). Method in class fr.inria.openmath.omapi.implementation.ByteArrayNodeImpl
getValue(). Method in interface fr.inria.openmath.omapi.FloatNode
getValue(). Method in class fr.inria.openmath.omapi.implementation.FloatNodeImpl
getValue(). Method in interface fr.inria.openmath.omapi.IntNode
getValue(). Method in class fr.inria.openmath.omapi.implementation.IntNodeImpl
getValue(). Method in interface fr.inria.openmath.omapi.StringNode
getValue(). Method in class fr.inria.openmath.omapi.implementation.StringNodeImpl
getValue(). Method in interface fr.inria.openmath.omapi.SymbolNode
getValue(). Method in class fr.inria.openmath.omapi.implementation.SymbolNodeImpl
getValue(). Method in interface fr.inria.openmath.omapi.VariableNode
getValue(). Method in class fr.inria.openmath.omapi.implementation.VariableNodeImpl

H

hasChildNodes(). Method in interface fr.inria.openmath.omapi.Node
This is a convenience method to allow easy determination of whether a node has any children.
hasChildNodes(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
hashCode(). Method in class fr.inria.openmath.omapi.Symbol
Computes a hashcode for this symbol.
HEXA_DECIMAL. Static variable in interface fr.inria.openmath.omapi.FloatNode
The hexadecimal is the less error prone base.
HumanPrinter(). Constructor for class fr.inria.openmath.omapi.implementation.HumanPrinter
HumanPrinter(OutputStream). Constructor for class fr.inria.openmath.omapi.implementation.HumanPrinter
HumanPrinter(OutputStream, int). Constructor for class fr.inria.openmath.omapi.implementation.HumanPrinter

I

initParse(InputStream). Method in class fr.inria.openmath.omapi.implementation.BinaryParser
initParse(InputStream). Method in interface fr.inria.openmath.omapi.Parser
Initializes parsing on a new input source.
initParse(InputStream). Method in class fr.inria.openmath.omapi.implementation.XMLParser
insertBefore(Node, Node). Method in interface fr.inria.openmath.omapi.Node
Inserts the node newChild before the existing child node refChild.
insertBefore(Node, Node). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
IntNodeImpl(int). Constructor for class fr.inria.openmath.omapi.implementation.IntNodeImpl
item(int). Method in interface fr.inria.openmath.omapi.NodeList
Returns the indexth item in the collection.
item(int). Method in class fr.inria.openmath.omapi.implementation.NodeListImpl

M

main(String[]). Static method in class fr.inria.openmath.omapi.implementation.Base64Decoder
Tests the decoder.
main(String[]). Static method in class fr.inria.openmath.omapi.implementation.Base64Encoder
Testing the encoder.
major. Static variable in interface fr.inria.openmath.omapi.Version
minor. Static variable in interface fr.inria.openmath.omapi.Version
modifier. Static variable in interface fr.inria.openmath.omapi.Version

N

NodeImpl(). Constructor for class fr.inria.openmath.omapi.implementation.NodeImpl
NodeImpl(short). Constructor for class fr.inria.openmath.omapi.implementation.NodeImpl
NodeListImpl(Node). Constructor for class fr.inria.openmath.omapi.implementation.NodeListImpl

O

OM_APP. Static variable in interface fr.inria.openmath.omapi.Node
OM_ATP. Static variable in interface fr.inria.openmath.omapi.Node
OM_ATTR. Static variable in interface fr.inria.openmath.omapi.Node
OM_BE_BIG_LEN_MASK. Static variable in interface fr.inria.openmath.omapi.Node
In binary encoding when len of token is > 255 this bit mask is ored to token type following len field is encoded on 4 bytes rather than on only one
OM_BE_NEG_BASE_10. Static variable in interface fr.inria.openmath.omapi.Node
OM_BE_NEG_BASE_16. Static variable in interface fr.inria.openmath.omapi.Node
OM_BE_POS_BASE_10. Static variable in interface fr.inria.openmath.omapi.Node
OM_BE_POS_BASE_16. Static variable in interface fr.inria.openmath.omapi.Node
OM_BE_SHARED_MASK. Static variable in interface fr.inria.openmath.omapi.Node
In binary encoding if an object is in fact a reference to a previously seen one, this bit mask is ored to token type
OM_BIGINT. Static variable in interface fr.inria.openmath.omapi.Node
OM_BIND. Static variable in interface fr.inria.openmath.omapi.Node
OM_BVAR. Static variable in interface fr.inria.openmath.omapi.Node
OM_BYTEARRAY. Static variable in interface fr.inria.openmath.omapi.Node
OM_COMMENT. Static variable in interface fr.inria.openmath.omapi.Node
OM_END_APP. Static variable in interface fr.inria.openmath.omapi.Node
These are not real nodes (rather tags) they are used mainly in binary encoding
OM_END_ATP. Static variable in interface fr.inria.openmath.omapi.Node
OM_END_ATTR. Static variable in interface fr.inria.openmath.omapi.Node
OM_END_BIND. Static variable in interface fr.inria.openmath.omapi.Node
OM_END_BVAR. Static variable in interface fr.inria.openmath.omapi.Node
OM_END_ERROR. Static variable in interface fr.inria.openmath.omapi.Node
OM_END_OBJECT. Static variable in interface fr.inria.openmath.omapi.Node
OM_ERROR. Static variable in interface fr.inria.openmath.omapi.Node
OM_FLOAT64. Static variable in interface fr.inria.openmath.omapi.Node
OM_INT32. Static variable in interface fr.inria.openmath.omapi.Node
OM_OBJECT. Static variable in interface fr.inria.openmath.omapi.Node
OM_PINSTRUCTION. Static variable in interface fr.inria.openmath.omapi.Node
OM_STRING. Static variable in interface fr.inria.openmath.omapi.Node
OM_SYMBOL. Static variable in interface fr.inria.openmath.omapi.Node
OM_UKNOWN. Static variable in interface fr.inria.openmath.omapi.Node
NodeType These values are those of the C library and they have been carefully chosen to make encoding autodetection easy.
OM_VAR. Static variable in interface fr.inria.openmath.omapi.Node
OM_WCSTRING. Static variable in interface fr.inria.openmath.omapi.Node
constants used for binary encoding
OME_END_OBJECT. Static variable in class fr.inria.openmath.omapi.OMException
Mark the end of object during parsing
OME_GENERIC. Static variable in class fr.inria.openmath.omapi.OMException
This is the vanilla exception
OME_HIERARCHY_REQUEST. Static variable in class fr.inria.openmath.omapi.OMException
A request has been made that breaks the hierarchy rules of OpenMath trees eg: looking for children of a node that can't have children.
OME_INT_OVERFLOW. Static variable in class fr.inria.openmath.omapi.OMException
A conversion to int was unsuccessful due to an overflow
OME_INTERNAL. Static variable in class fr.inria.openmath.omapi.OMException
Something unsupected went wrong
OME_NODE_NOT_FOUND. Static variable in class fr.inria.openmath.omapi.OMException
A node that was required has not been found
OME_SYNTAX. Static variable in class fr.inria.openmath.omapi.OMException
A syntax error occured during a parsing process
OME_UNKNOWN. Static variable in class fr.inria.openmath.omapi.OMException
This is not a legal exception error code
OME_UNLEGAL_BASE. Static variable in class fr.inria.openmath.omapi.OMException
When requested base is not legal.
OME_WRAPPING. Static variable in class fr.inria.openmath.omapi.OMException
This exception is a wrapper (it holds another one)
OMException(Exception). Constructor for class fr.inria.openmath.omapi.OMException
Creates a new OMException wrapping an existing exception.
OMException(String). Constructor for class fr.inria.openmath.omapi.OMException
Creates a new OMException.
OMException(String, Exception). Constructor for class fr.inria.openmath.omapi.OMException
Creates a new OMException from an existing exception.
OMException(String, short). Constructor for class fr.inria.openmath.omapi.OMException
Creates a new OMException with a message and an specific error code.

P

parse(InputStream). Method in class fr.inria.openmath.omapi.implementation.BinaryParser
parse(InputStream). Method in interface fr.inria.openmath.omapi.Parser
Parses OpenMath objects until source is exhausted.
parse(InputStream). Method in class fr.inria.openmath.omapi.implementation.XMLParser
parsedTree(Node). Method in interface fr.inria.openmath.omapi.TreeHandler
parseElement(InputStream). Method in class fr.inria.openmath.omapi.implementation.BinaryParser
parseElement(InputStream). Method in interface fr.inria.openmath.omapi.Parser
Parses an OpenMath element.
parseElement(InputStream). Method in class fr.inria.openmath.omapi.implementation.XMLParser
parseObject(InputStream). Method in class fr.inria.openmath.omapi.implementation.BinaryParser
parseObject(InputStream). Method in interface fr.inria.openmath.omapi.Parser
Parses an OpenMath object.
parseObject(InputStream). Method in class fr.inria.openmath.omapi.implementation.XMLParser
ParserAdapter(). Constructor for class fr.inria.openmath.omapi.ParserAdapter
ParserErrorAdapter(). Constructor for class fr.inria.openmath.omapi.ParserErrorAdapter
PipeParserHandler(). Constructor for class fr.inria.openmath.omapi.implementation.PipeParserHandler
PipeParserHandler(Printer). Constructor for class fr.inria.openmath.omapi.implementation.PipeParserHandler
printTree(Node). Method in interface fr.inria.openmath.omapi.TreePrinter
Print a whole tree.
printTree(Node). Method in class fr.inria.openmath.omapi.implementation.TreePrinterImpl
process(). Method in class fr.inria.openmath.omapi.implementation.Base64Encoder
Process the data: encode the input stream to the output stream.
processString(). Method in class fr.inria.openmath.omapi.implementation.Base64Encoder
Encode the content of this encoder, as a string.
processString(String). Method in class fr.inria.openmath.omapi.implementation.Base64Decoder
Decodes a String.
putBeginApplication(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putBeginApplication(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putBeginApplication(). Method in interface fr.inria.openmath.omapi.Printer
Puts begin of Application.
putBeginApplication(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putBeginAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putBeginAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putBeginAttributePairs(). Method in interface fr.inria.openmath.omapi.Printer
Puts begin of attribute-pairs.
putBeginAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putBeginAttribution(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putBeginAttribution(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putBeginAttribution(). Method in interface fr.inria.openmath.omapi.Printer
Puts begin of Attribution.
putBeginAttribution(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putBeginBind(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putBeginBind(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putBeginBind(). Method in interface fr.inria.openmath.omapi.Printer
Puts begin of Bind.
putBeginBind(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putBeginBVars(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putBeginBVars(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putBeginBVars(). Method in interface fr.inria.openmath.omapi.Printer
Puts begin of BVars

Prints the begining marker of a new BVars on output.

putBeginBVars(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putBeginError(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putBeginError(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putBeginError(). Method in interface fr.inria.openmath.omapi.Printer
Puts begin of Error.
putBeginError(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putBeginObject(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putBeginObject(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putBeginObject(). Method in interface fr.inria.openmath.omapi.Printer
Puts begin of OpenMath object.
putBeginObject(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putByteArray(byte[]). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putByteArray(byte[]). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putByteArray(byte[]). Method in interface fr.inria.openmath.omapi.Printer
Puts ByteArray element with its value.
putByteArray(byte[]). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putByteArray(byte[], int). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putComment(String). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putComment(String). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putComment(String). Method in interface fr.inria.openmath.omapi.Printer
Puts Comment element with its value.
putComment(String). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putEndApplication(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putEndApplication(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putEndApplication(). Method in interface fr.inria.openmath.omapi.Printer
Puts the end of Application.
putEndApplication(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putEndAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putEndAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putEndAttributePairs(). Method in interface fr.inria.openmath.omapi.Printer
Puts the end of attribute-pairs.
putEndAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putEndAttribution(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putEndAttribution(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putEndAttribution(). Method in interface fr.inria.openmath.omapi.Printer
Puts the end of Attribution.
putEndAttribution(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putEndBind(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putEndBind(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putEndBind(). Method in interface fr.inria.openmath.omapi.Printer
Puts the end of Bind.
putEndBind(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putEndBVars(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putEndBVars(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putEndBVars(). Method in interface fr.inria.openmath.omapi.Printer
Puts the end of BVars.
putEndBVars(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putEndError(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putEndError(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putEndError(). Method in interface fr.inria.openmath.omapi.Printer
Puts the end of Error.
putEndError(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putEndObject(). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putEndObject(). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putEndObject(). Method in interface fr.inria.openmath.omapi.Printer
Puts the end of OpenMath object.
putEndObject(). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putFloat(double). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putFloat(double). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putFloat(double). Method in interface fr.inria.openmath.omapi.Printer
Puts a floating-point number element with its value.
putFloat(double). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putFloat(double, int). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putFloat(double, int). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putFloat(double, int). Method in interface fr.inria.openmath.omapi.Printer
Puts a floating-point number element with its value.
putFloat(double, int). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putInteger(BigInteger). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putInteger(BigInteger). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putInteger(BigInteger). Method in interface fr.inria.openmath.omapi.Printer
Puts Integer element with its value.
putInteger(BigInteger). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putInteger(BigInteger, int). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putInteger(BigInteger, int). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putInteger(BigInteger, int). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putInteger(int). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putInteger(int). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putInteger(int). Method in interface fr.inria.openmath.omapi.Printer
Puts Integer element with its value.
putInteger(int). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putInteger(int, int). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putInteger(int, int). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putInteger(int, int). Method in interface fr.inria.openmath.omapi.Printer
Puts Integer element with its value.
putInteger(int, int). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putPInstruction(String). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putPInstruction(String). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putPInstruction(String). Method in interface fr.inria.openmath.omapi.Printer
Puts a Processing Instruction with its value.
putPInstruction(String). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putString(String). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putString(String). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putString(String). Method in interface fr.inria.openmath.omapi.Printer
Puts String element with its value.
putString(String). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putSymbol(Symbol). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putSymbol(Symbol). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putSymbol(Symbol). Method in interface fr.inria.openmath.omapi.Printer
Puts Symbol element with its value.
putSymbol(Symbol). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
putVariable(String). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
putVariable(String). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
putVariable(String). Method in interface fr.inria.openmath.omapi.Printer
Puts Variable element with its value.
putVariable(String). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter

R

readByteArray(byte[]). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
readByteArray(byte[]). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of a byteArray element.
readByteArray(byte[]). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of a byteArray element.
readByteArray(byte[]). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
readByteArray(byte[]). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
readComment(String). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
readComment(String). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of a comment element.
readComment(String). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of a comment element.
readComment(String). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
readComment(String). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
readFloat(double). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
readFloat(double). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of a floating-point number element.
readFloat(double). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of a floating-point number element.
readFloat(double). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
readFloat(double). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
readInteger(BigInteger). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
readInteger(BigInteger). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of a Big Integer element.
readInteger(BigInteger). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of a Big Integer element.
readInteger(BigInteger). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
readInteger(BigInteger). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
readInteger(int). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
readInteger(int). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of an Integer element.
readInteger(int). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of a Integer element.
readInteger(int). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
readInteger(int). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
readPInstruction(String). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
readPInstruction(String). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of a processing instruction.
readPInstruction(String). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of a processing instruction.
readPInstruction(String). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
readPInstruction(String). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
readString(String). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
readString(String). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of a string element.
readString(String). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of a string element.
readString(String). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
readString(String). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
readSymbol(Symbol). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
readSymbol(Symbol). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of a symbol element.
readSymbol(Symbol). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of a symbol element.
readSymbol(Symbol). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
readSymbol(Symbol). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
readVariable(String). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
readVariable(String). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of a variable element.
readVariable(String). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of a variable element.
readVariable(String). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
readVariable(String). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
removeAttribute(Symbol). Method in interface fr.inria.openmath.omapi.Node
Removes am attribute specified by name.
removeAttribute(Symbol). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
removeChild(Node). Method in interface fr.inria.openmath.omapi.Node
Removes the child node indicated by oldChild from the list of children, and returns it.
removeChild(Node). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
replaceChild(Node, Node). Method in interface fr.inria.openmath.omapi.Node
Replaces the child node oldChild with newChild in the list of children, and returns the oldChild node.
replaceChild(Node, Node). Method in class fr.inria.openmath.omapi.implementation.NodeImpl

S

setAttribute(Symbol, Node). Method in interface fr.inria.openmath.omapi.Node
Adds an attribute value using its name.
setAttribute(Symbol, Node). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
setComments(String). Method in interface fr.inria.openmath.omapi.Node
Set the comments on this node.
setComments(String). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
setIndent(int). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
Set the number of spaces skiped at each indentation level.
setIndent(int). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
Set the number of spaces skiped at each indentation level.
setLocator(Locator). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives a Locator for parse events.
setLocator(Locator). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives an object for locating the origin of OpenMath parsing events.
setLocator(Locator). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
setOutput(OutputStream). Method in class fr.inria.openmath.omapi.implementation.BinaryPrinter
setOutput(OutputStream). Method in class fr.inria.openmath.omapi.implementation.HumanPrinter
setOutput(OutputStream). Method in interface fr.inria.openmath.omapi.StreamPrinter
Allows an application to set the output destination.
setOutput(OutputStream). Method in class fr.inria.openmath.omapi.implementation.XMLPrinter
setParserErrorHandler(ParserErrorHandler). Method in class fr.inria.openmath.omapi.implementation.BinaryParser
setParserErrorHandler(ParserErrorHandler). Method in interface fr.inria.openmath.omapi.Parser
Allows an application to register a parsing error event handler.
setParserErrorHandler(ParserErrorHandler). Method in class fr.inria.openmath.omapi.implementation.XMLParser
setParserHandler(ParserHandler). Method in class fr.inria.openmath.omapi.implementation.BinaryParser
setParserHandler(ParserHandler). Method in interface fr.inria.openmath.omapi.Parser
Allows an application to register a parse event handler.
setParserHandler(ParserHandler). Method in class fr.inria.openmath.omapi.implementation.XMLParser
setPInstructions(Vector). Method in interface fr.inria.openmath.omapi.Node
Set the vector of strings that represents all the processing instructions of this node.
setPInstructions(Vector). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
setPreferedBase(int). Method in interface fr.inria.openmath.omapi.FloatNode
Set the prefered base for a Float object.
setPreferedBase(int). Method in class fr.inria.openmath.omapi.implementation.FloatNodeImpl
setPrinter(Printer). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
Set the printer.
setPrinter(Printer). Method in interface fr.inria.openmath.omapi.TreePrinter
Allows an application to set the printer used during tree traversal.
setPrinter(Printer). Method in class fr.inria.openmath.omapi.implementation.TreePrinterImpl
setTreeHandler(TreeHandler). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
Set the TreeHandler.
setValue(BigInteger). Method in interface fr.inria.openmath.omapi.BigIntegerNode
setValue(BigInteger). Method in class fr.inria.openmath.omapi.implementation.BigIntegerNodeImpl
setValue(byte[]). Method in interface fr.inria.openmath.omapi.ByteArrayNode
setValue(byte[]). Method in class fr.inria.openmath.omapi.implementation.ByteArrayNodeImpl
setValue(double). Method in interface fr.inria.openmath.omapi.FloatNode
setValue(double). Method in class fr.inria.openmath.omapi.implementation.FloatNodeImpl
setValue(int). Method in interface fr.inria.openmath.omapi.IntNode
setValue(int). Method in class fr.inria.openmath.omapi.implementation.IntNodeImpl
setValue(String). Method in interface fr.inria.openmath.omapi.StringNode
setValue(String). Method in class fr.inria.openmath.omapi.implementation.StringNodeImpl
setValue(String). Method in interface fr.inria.openmath.omapi.VariableNode
setValue(String). Method in class fr.inria.openmath.omapi.implementation.VariableNodeImpl
setValue(Symbol). Method in interface fr.inria.openmath.omapi.SymbolNode
setValue(Symbol). Method in class fr.inria.openmath.omapi.implementation.SymbolNodeImpl
ShareTable(). Constructor for class fr.inria.openmath.omapi.implementation.ShareTable
skipObject(InputStream). Method in class fr.inria.openmath.omapi.implementation.XMLParser
Try to skip current object.
startApplication(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
startApplication(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the beginning of a application element.
startApplication(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the beginning of a application element.
startApplication(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
startApplication(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
startAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
startAttributePairs(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the beginning of an attribute-pairs element.
startAttributePairs(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the beginning of an attribute-pairs element.
startAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
startAttributePairs(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
startAttribution(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
startAttribution(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the beginning of a attribution element.
startAttribution(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the beginning of a attribution element.
startAttribution(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
startAttribution(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
startBind(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
startBind(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the beginning of a Bind element.
startBind(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the beginning of a bind element.
startBind(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
startBind(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
startBVars(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
startBVars(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the beginning of a BVars element.
startBVars(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the beginning of a bvar element.
startBVars(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
startBVars(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
startError(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
startError(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the beginning of a error element.
startError(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the beginning of a error element.
startError(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
startError(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
startObject(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
startObject(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the beginning of a object element.
startObject(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the beginning of a object element.
startObject(). Method in class fr.inria.openmath.omapi.implementation.PipeParserHandler
startObject(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
startParse(). Method in class fr.inria.openmath.omapi.implementation.DebugParserHandler
startParse(). Method in class fr.inria.openmath.omapi.ParserAdapter
Receives notification of the beginning of parse (of a set of OpenMath-objects).
startParse(). Method in interface fr.inria.openmath.omapi.ParserHandler
Receives notification of the beginning of parse (of a set of OpenMath-objects).
startParse(). Method in class fr.inria.openmath.omapi.implementation.TreeParserHandler
string. Static variable in interface fr.inria.openmath.omapi.Version
StringNodeImpl(String). Constructor for class fr.inria.openmath.omapi.implementation.StringNodeImpl
Symbol(). Constructor for class fr.inria.openmath.omapi.Symbol
Symbol(String). Constructor for class fr.inria.openmath.omapi.Symbol
Symbol(String, String). Constructor for class fr.inria.openmath.omapi.Symbol
SymbolNodeImpl(Symbol). Constructor for class fr.inria.openmath.omapi.implementation.SymbolNodeImpl

T

toString(). Method in class fr.inria.openmath.omapi.implementation.BigIntegerNodeImpl
toString(). Method in class fr.inria.openmath.omapi.implementation.ByteArrayNodeImpl
toString(). Method in class fr.inria.openmath.omapi.implementation.FloatNodeImpl
toString(). Method in class fr.inria.openmath.omapi.implementation.IntNodeImpl
toString(). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
toString(). Method in class fr.inria.openmath.omapi.OMException
Converts this exception to a string.
toString(). Method in class fr.inria.openmath.omapi.implementation.StringNodeImpl
toString(). Method in class fr.inria.openmath.omapi.Symbol
toString(). Method in class fr.inria.openmath.omapi.implementation.SymbolNodeImpl
toString(). Method in class fr.inria.openmath.omapi.implementation.VariableNodeImpl
TreeParserHandler(). Constructor for class fr.inria.openmath.omapi.implementation.TreeParserHandler
TreePrinterImpl(). Constructor for class fr.inria.openmath.omapi.implementation.TreePrinterImpl
TreePrinterImpl(Printer). Constructor for class fr.inria.openmath.omapi.implementation.TreePrinterImpl
typeToString(short). Method in class fr.inria.openmath.omapi.implementation.NodeImpl
Return the string associated to a node type.

U

UTF7Codec(). Constructor for class fr.inria.openmath.omapi.implementation.UTF7Codec

V

VariableNodeImpl(String). Constructor for class fr.inria.openmath.omapi.implementation.VariableNodeImpl

W

warning(OMException). Method in class fr.inria.openmath.omapi.ParserErrorAdapter
Receives notification of a warning.
warning(OMException). Method in interface fr.inria.openmath.omapi.ParserErrorHandler
Receives notification of a warning.
writeString(OutputStream, String). Method in class fr.inria.openmath.omapi.implementation.UTF7Codec

X

XMLParser(). Constructor for class fr.inria.openmath.omapi.implementation.XMLParser
XMLParser(ParserHandler). Constructor for class fr.inria.openmath.omapi.implementation.XMLParser
XMLParser(ParserHandler, ParserErrorHandler). Constructor for class fr.inria.openmath.omapi.implementation.XMLParser
XMLPrinter(). Constructor for class fr.inria.openmath.omapi.implementation.XMLPrinter
XMLPrinter(OutputStream). Constructor for class fr.inria.openmath.omapi.implementation.XMLPrinter
XMLPrinter(OutputStream, int). Constructor for class fr.inria.openmath.omapi.implementation.XMLPrinter