praktikum.matrix
Class Parser

java.lang.Object
  |
  +--praktikum.matrix.Parser

public class Parser

extends Object

Die Klasse Parser wandelt einen String in einen Term um. s. Editor

Constructor Summary

Parser()

Method Summary

static boolean	checkVariable(String v)
static Hashtable	getVariables() Liefert einen Hashtable aller Variablen.
static Term	parse(String str) Wandelt einen String in einen Term um.
static void	readMap(String fileName) Liest die Konfigurationsdatei der Operatoren ein.
static Variable	setVariable(String name, Term t) Setzt eine Variable.

Methods inherited from class java.lang.Object

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

Constructor Detail

Parser

public Parser()

Method Detail

setVariable

public static Variable setVariable(String name,
                                   Term t)
                            throws IllegalStructureException,
                                   IllegalLatexRepresentationException

Setzt eine Variable.

Parameters:

name - Name der Variable.

term - Term

Returns:

die gesetzte Variable

getVariables

public static Hashtable getVariables()

Liefert einen Hashtable aller Variablen.

readMap

public static void readMap(String fileName)
                    throws IOException

Liest die Konfigurationsdatei der Operatoren ein.

Throws:

IOException - falls Konfigurationsdatei fehlerhaft

checkVariable

public static boolean checkVariable(String v)

parse

public static Term parse(String str)
                  throws ParserException

Wandelt einen String in einen Term um.

Parameters:

str - umzuwandelnder String

Returns:

term Term

Throws:

ParserException - falls Übersetzung fehlerhaft