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
- 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
-
- 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
-
- 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
-
- 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
-
- 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.
- 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
-
- 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
index
th 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
index
th 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
-
- 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
-
- 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
index
th item in the collection.
- item(int).
Method in class fr.inria.openmath.omapi.implementation.NodeListImpl
-
- 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
-
- 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
-
- 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.
- 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
-
- 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
-
- 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
-
- 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.
- UTF7Codec().
Constructor for class fr.inria.openmath.omapi.implementation.UTF7Codec
-
- VariableNodeImpl(String).
Constructor for class fr.inria.openmath.omapi.implementation.VariableNodeImpl
-
- 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
-
- 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
-