ca.uqac.lif.ecp.ltl

Class HtmlBeautifier<T extends Event>

java.lang.Object

ca.uqac.lif.ecp.ltl.HologramVisitor<T>

ca.uqac.lif.ecp.ltl.HtmlBeautifier<T>

public class HtmlBeautifier<T extends Event>
extends HologramVisitor<T>

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Stack<java.lang.String>	m_parts The stack that will contain the parts of the string
protected static boolean	s_isWindows Static variable to check if we are running in Windows.

Constructor Summary

Constructors

Constructor and Description
HtmlBeautifier()

Method Summary

Modifier and Type	Method and Description
java.lang.String	beautify(Operator<T> op) Beautifies an operator
static java.lang.String	beautifySymbol(Operator<?> op) Prints a "beautified" symbol for an operator, for the purpose of displaying in the tree
static java.lang.String	beautifySymbol(Operator<?> op, boolean unicode)
static java.lang.String	beautifyValue(Operator.Value v)
static java.lang.String	beautifyValue(Operator.Value v, boolean unicode)
java.lang.String	getString()
void	visit(Operator<T> op, int count)

Methods inherited from class ca.uqac.lif.ecp.ltl.HologramVisitor

backtrack, backtrack, visit

Methods inherited from class java.lang.Object

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

Field Detail

s_isWindows

protected static final transient boolean s_isWindows

Static variable to check if we are running in Windows. In such a case, Graphviz cannot display correctly Unicode characters, and we must fall-back to a more primitive ASCII representation.

m_parts

protected java.util.Stack<java.lang.String> m_parts

The stack that will contain the parts of the string

Constructor Detail

HtmlBeautifier

public HtmlBeautifier()

Method Detail

getString

public java.lang.String getString()

beautify

public java.lang.String beautify(Operator<T> op)

Beautifies an operator

Parameters:

op - The operator

Returns:

The beautified string

beautifyValue

public static java.lang.String beautifyValue(Operator.Value v)

beautifyValue

public static java.lang.String beautifyValue(Operator.Value v,
                                             boolean unicode)

beautifySymbol

public static java.lang.String beautifySymbol(Operator<?> op,
                                              boolean unicode)

beautifySymbol

public static java.lang.String beautifySymbol(Operator<?> op)

Prints a "beautified" symbol for an operator, for the purpose of displaying in the tree

Parameters:

op - The operator

visit

public void visit(Operator<T> op,
                  int count)

Specified by:

visit in class HologramVisitor<T extends Event>