org.uacalc.io

Class AlgebraWriter

java.lang.Object

org.uacalc.io.AlgebraWriter

public final class AlgebraWriter
extends java.lang.Object

XML writing. Eventually we will have "project" files with multiple algebras. For now we will have just single algebras.

Version:

$Id$

Author:

Ralph Freese

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ALG_NAME_END_TAG
static java.lang.String	ALG_NAME_TAG
static java.lang.String	ALGEBRA_END_TAG
static java.lang.String	ALGEBRA_TAG
static java.lang.String	ARITY_END_TAG
static java.lang.String	ARITY_TAG
static java.lang.String	BASIC_ALGEBRA_END_TAG
static java.lang.String	BASIC_ALGEBRA_TAG
static java.lang.String	BIG_PRODUCT_ALGEBRA_END_TAG
static java.lang.String	BIG_PRODUCT_ALGEBRA_TAG
static java.lang.String	CARDINALITY_END_TAG
static java.lang.String	CARDINALITY_TAG
static java.lang.String	CONGRUENCE_END_TAG
static java.lang.String	CONGRUENCE_TAG
static java.lang.String	DESC_END_TAG
static java.lang.String	DESC_TAG
static java.lang.String	ELEM_END_TAG
static java.lang.String	ELEM_TAG
static java.lang.String	FACTOR_END_TAG
static java.lang.String	FACTOR_TAG
static java.lang.String	FACTORS_END_TAG
static java.lang.String	FACTORS_TAG
static java.lang.String	FREE_ALGEBRA_END_TAG
static java.lang.String	FREE_ALGEBRA_TAG
static java.lang.String	GENERATORS_END_TAG
static java.lang.String	GENERATORS_TAG
static java.lang.String	INT_ARRAY_END_TAG
static java.lang.String	INT_ARRAY_TAG
static java.lang.String	OP_NAME_END_TAG
static java.lang.String	OP_NAME_TAG
static java.lang.String	OPERATION_END_TAG
static java.lang.String	OPERATION_SYMBOL_END_TAG
static java.lang.String	OPERATION_SYMBOL_TAG
static java.lang.String	OPERATION_TABLE_END_TAG
static java.lang.String	OPERATION_TABLE_TAG
static java.lang.String	OPERATION_TAG
static java.lang.String	OPERATIONS_END_TAG
static java.lang.String	OPERATIONS_TAG
static java.lang.String	PARTITION_END_TAG
static java.lang.String	PARTITION_TAG
static java.lang.String	POWER_ALGEBRA_END_TAG
static java.lang.String	POWER_ALGEBRA_TAG
static java.lang.String	POWER_END_TAG
static java.lang.String	POWER_TAG
static java.lang.String	POWERS_END_TAG
static java.lang.String	POWERS_TAG
static java.lang.String	PROD_ELEM_END_TAG
static java.lang.String	PROD_ELEM_TAG
static java.lang.String	PRODUCT_ALGEBRA_END_TAG
static java.lang.String	PRODUCT_ALGEBRA_TAG
static java.lang.String	QUOTIENT_ALGEBRA_END_TAG
static java.lang.String	QUOTIENT_ALGEBRA_TAG
static java.lang.String	ROOT_END_TAG
static java.lang.String	ROOT_FACTORS_END_TAG
static java.lang.String	ROOT_FACTORS_TAG
static java.lang.String	ROOT_TAG
static java.lang.String	STRING_ARRAY_END_TAG
static java.lang.String	STRING_ARRAY_TAG
static java.lang.String	SUB_ALGEBRA_END_TAG
static java.lang.String	SUB_ALGEBRA_TAG
static java.lang.String	SUB_PRODUCT_ALGEBRA_END_TAG
static java.lang.String	SUB_PRODUCT_ALGEBRA_TAG
static java.lang.String	SUB_UNIVERSE_END_TAG
static java.lang.String	SUB_UNIVERSE_TAG
static java.lang.String	SUPER_ALGEBRA_END_TAG
static java.lang.String	SUPER_ALGEBRA_TAG
static java.lang.String	UNIVERS_END_TAG
static java.lang.String	UNIVERS_TAG
static java.lang.String	UNIVERSE_END_TAG
static java.lang.String	UNIVERSE_TAG

Constructor Summary

Constructors

Constructor and Description
AlgebraWriter(SmallAlgebra alg, java.io.PrintWriter out)
AlgebraWriter(SmallAlgebra alg, java.lang.String file)

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)
void	writeAlgebra()
void	writeAlgebraXML()
void	writeBasicAlgebra() XML writing.

Methods inherited from class java.lang.Object

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

Field Detail

ALGEBRA_TAG

public static final java.lang.String ALGEBRA_TAG

See Also:

Constant Field Values

ALGEBRA_END_TAG

public static final java.lang.String ALGEBRA_END_TAG

See Also:

Constant Field Values

BASIC_ALGEBRA_TAG

public static final java.lang.String BASIC_ALGEBRA_TAG

See Also:

Constant Field Values

BASIC_ALGEBRA_END_TAG

public static final java.lang.String BASIC_ALGEBRA_END_TAG

See Also:

Constant Field Values

PRODUCT_ALGEBRA_TAG

public static final java.lang.String PRODUCT_ALGEBRA_TAG

See Also:

Constant Field Values

PRODUCT_ALGEBRA_END_TAG

public static final java.lang.String PRODUCT_ALGEBRA_END_TAG

See Also:

Constant Field Values

POWER_ALGEBRA_TAG

public static final java.lang.String POWER_ALGEBRA_TAG

See Also:

Constant Field Values

POWER_ALGEBRA_END_TAG

public static final java.lang.String POWER_ALGEBRA_END_TAG

See Also:

Constant Field Values

ROOT_TAG

public static final java.lang.String ROOT_TAG

See Also:

Constant Field Values

ROOT_END_TAG

public static final java.lang.String ROOT_END_TAG

See Also:

Constant Field Values

FACTOR_TAG

public static final java.lang.String FACTOR_TAG

See Also:

Constant Field Values

FACTOR_END_TAG

public static final java.lang.String FACTOR_END_TAG

See Also:

Constant Field Values

FACTORS_TAG

public static final java.lang.String FACTORS_TAG

See Also:

Constant Field Values

FACTORS_END_TAG

public static final java.lang.String FACTORS_END_TAG

See Also:

Constant Field Values

ROOT_FACTORS_TAG

public static final java.lang.String ROOT_FACTORS_TAG

See Also:

Constant Field Values

ROOT_FACTORS_END_TAG

public static final java.lang.String ROOT_FACTORS_END_TAG

See Also:

Constant Field Values

SUPER_ALGEBRA_TAG

public static final java.lang.String SUPER_ALGEBRA_TAG

See Also:

Constant Field Values

SUPER_ALGEBRA_END_TAG

public static final java.lang.String SUPER_ALGEBRA_END_TAG

See Also:

Constant Field Values

QUOTIENT_ALGEBRA_TAG

public static final java.lang.String QUOTIENT_ALGEBRA_TAG

See Also:

Constant Field Values

QUOTIENT_ALGEBRA_END_TAG

public static final java.lang.String QUOTIENT_ALGEBRA_END_TAG

See Also:

Constant Field Values

SUB_ALGEBRA_TAG

public static final java.lang.String SUB_ALGEBRA_TAG

See Also:

Constant Field Values

SUB_ALGEBRA_END_TAG

public static final java.lang.String SUB_ALGEBRA_END_TAG

See Also:

Constant Field Values

SUB_UNIVERSE_TAG

public static final java.lang.String SUB_UNIVERSE_TAG

See Also:

Constant Field Values

SUB_UNIVERSE_END_TAG

public static final java.lang.String SUB_UNIVERSE_END_TAG

See Also:

Constant Field Values

BIG_PRODUCT_ALGEBRA_TAG

public static final java.lang.String BIG_PRODUCT_ALGEBRA_TAG

See Also:

Constant Field Values

BIG_PRODUCT_ALGEBRA_END_TAG

public static final java.lang.String BIG_PRODUCT_ALGEBRA_END_TAG

See Also:

Constant Field Values

POWERS_TAG

public static final java.lang.String POWERS_TAG

See Also:

Constant Field Values

POWERS_END_TAG

public static final java.lang.String POWERS_END_TAG

See Also:

Constant Field Values

SUB_PRODUCT_ALGEBRA_TAG

public static final java.lang.String SUB_PRODUCT_ALGEBRA_TAG

See Also:

Constant Field Values

SUB_PRODUCT_ALGEBRA_END_TAG

public static final java.lang.String SUB_PRODUCT_ALGEBRA_END_TAG

See Also:

Constant Field Values

FREE_ALGEBRA_TAG

public static final java.lang.String FREE_ALGEBRA_TAG

See Also:

Constant Field Values

FREE_ALGEBRA_END_TAG

public static final java.lang.String FREE_ALGEBRA_END_TAG

See Also:

Constant Field Values

CARDINALITY_TAG

public static final java.lang.String CARDINALITY_TAG

See Also:

Constant Field Values

CARDINALITY_END_TAG

public static final java.lang.String CARDINALITY_END_TAG

See Also:

Constant Field Values

POWER_TAG

public static final java.lang.String POWER_TAG

See Also:

Constant Field Values

POWER_END_TAG

public static final java.lang.String POWER_END_TAG

See Also:

Constant Field Values

UNIVERSE_TAG

public static final java.lang.String UNIVERSE_TAG

See Also:

Constant Field Values

UNIVERSE_END_TAG

public static final java.lang.String UNIVERSE_END_TAG

See Also:

Constant Field Values

OPERATIONS_TAG

public static final java.lang.String OPERATIONS_TAG

See Also:

Constant Field Values

OPERATIONS_END_TAG

public static final java.lang.String OPERATIONS_END_TAG

See Also:

Constant Field Values

OPERATION_TAG

public static final java.lang.String OPERATION_TAG

See Also:

Constant Field Values

OPERATION_END_TAG

public static final java.lang.String OPERATION_END_TAG

See Also:

Constant Field Values

OPERATION_TABLE_TAG

public static final java.lang.String OPERATION_TABLE_TAG

See Also:

Constant Field Values

OPERATION_TABLE_END_TAG

public static final java.lang.String OPERATION_TABLE_END_TAG

See Also:

Constant Field Values

OPERATION_SYMBOL_TAG

public static final java.lang.String OPERATION_SYMBOL_TAG

See Also:

Constant Field Values

OPERATION_SYMBOL_END_TAG

public static final java.lang.String OPERATION_SYMBOL_END_TAG

See Also:

Constant Field Values

ARITY_TAG

public static final java.lang.String ARITY_TAG

See Also:

Constant Field Values

ARITY_END_TAG

public static final java.lang.String ARITY_END_TAG

See Also:

Constant Field Values

ELEM_TAG

public static final java.lang.String ELEM_TAG

See Also:

Constant Field Values

ELEM_END_TAG

public static final java.lang.String ELEM_END_TAG

See Also:

Constant Field Values

ALG_NAME_TAG

public static final java.lang.String ALG_NAME_TAG

See Also:

Constant Field Values

ALG_NAME_END_TAG

public static final java.lang.String ALG_NAME_END_TAG

See Also:

Constant Field Values

OP_NAME_TAG

public static final java.lang.String OP_NAME_TAG

See Also:

Constant Field Values

OP_NAME_END_TAG

public static final java.lang.String OP_NAME_END_TAG

See Also:

Constant Field Values

DESC_TAG

public static final java.lang.String DESC_TAG

See Also:

Constant Field Values

DESC_END_TAG

public static final java.lang.String DESC_END_TAG

See Also:

Constant Field Values

INT_ARRAY_TAG

public static final java.lang.String INT_ARRAY_TAG

See Also:

Constant Field Values

INT_ARRAY_END_TAG

public static final java.lang.String INT_ARRAY_END_TAG

See Also:

Constant Field Values

STRING_ARRAY_TAG

public static final java.lang.String STRING_ARRAY_TAG

See Also:

Constant Field Values

STRING_ARRAY_END_TAG

public static final java.lang.String STRING_ARRAY_END_TAG

See Also:

Constant Field Values

CONGRUENCE_TAG

public static final java.lang.String CONGRUENCE_TAG

See Also:

Constant Field Values

CONGRUENCE_END_TAG

public static final java.lang.String CONGRUENCE_END_TAG

See Also:

Constant Field Values

PARTITION_TAG

public static final java.lang.String PARTITION_TAG

See Also:

Constant Field Values

PARTITION_END_TAG

public static final java.lang.String PARTITION_END_TAG

See Also:

Constant Field Values

UNIVERS_TAG

public static final java.lang.String UNIVERS_TAG

See Also:

Constant Field Values

UNIVERS_END_TAG

public static final java.lang.String UNIVERS_END_TAG

See Also:

Constant Field Values

GENERATORS_TAG

public static final java.lang.String GENERATORS_TAG

See Also:

Constant Field Values

GENERATORS_END_TAG

public static final java.lang.String GENERATORS_END_TAG

See Also:

Constant Field Values

PROD_ELEM_TAG

public static final java.lang.String PROD_ELEM_TAG

See Also:

Constant Field Values

PROD_ELEM_END_TAG

public static final java.lang.String PROD_ELEM_END_TAG

See Also:

Constant Field Values

Constructor Detail

AlgebraWriter

public AlgebraWriter(SmallAlgebra alg,
                     java.io.PrintWriter out)

AlgebraWriter

public AlgebraWriter(SmallAlgebra alg,
                     java.lang.String file)
              throws java.io.IOException

Throws:

java.io.IOException

Method Detail

writeAlgebraXML

public void writeAlgebraXML()

writeAlgebra

public void writeAlgebra()

writeBasicAlgebra

public void writeBasicAlgebra()

XML writing. Eventually we will have "project" files with multiple algebras. For now we will have just single algebras.

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException,
                        BadAlgebraFileException

Throws:

java.io.IOException

BadAlgebraFileException