Class OpenMathError

java.lang.Object

org.episteme.core.mathematics.loaders.openmath.OpenMathError

public class OpenMathError
extends Object

Represents an OpenMath error (OME).

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor	Description
OpenMathError(OpenMathSymbol errorSymbol, List<Object> arguments)

Method Summary

Modifier and Type	Method	Description
List<Object>	getArguments()
OpenMathSymbol	getErrorSymbol()
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

OpenMathError

public OpenMathError(OpenMathSymbol errorSymbol,
 List<Object> arguments)

Method Details

getErrorSymbol

public OpenMathSymbol getErrorSymbol()

getArguments

public List<Object> getArguments()

toString

public String toString()

Overrides:

toString in class Object