org.uacalc.io

Class Mace4Reader

java.lang.Object

org.uacalc.io.Mace4Reader

public final class Mace4Reader
extends java.lang.Object

Reading Mace4 model files into algebras (only the operations are loaded, relations are ignored).

Constructor Summary

Constructors

Constructor and Description
Mace4Reader(java.io.InputStream stream)

Method Summary

Modifier and Type	Method and Description
static boolean	isOrdinaryCharacter(char c)
static boolean	isSpecialCharacter(char c)
SmallAlgebra	parseAlgebra()
java.util.List<SmallAlgebra>	parseAlgebraList()

Methods inherited from class java.lang.Object

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

Constructor Detail

Mace4Reader

public Mace4Reader(java.io.InputStream stream)
            throws java.io.IOException

Throws:

java.io.IOException

Method Detail

isOrdinaryCharacter

public static boolean isOrdinaryCharacter(char c)

isSpecialCharacter

public static boolean isSpecialCharacter(char c)

parseAlgebra

public SmallAlgebra parseAlgebra()
                          throws java.io.IOException,
                                 BadAlgebraFileException

Throws:

java.io.IOException

BadAlgebraFileException

parseAlgebraList

public java.util.List<SmallAlgebra> parseAlgebraList()
                                              throws java.io.IOException,
                                                     BadAlgebraFileException

Throws:

java.io.IOException

BadAlgebraFileException