ca.uqac.lif.ecp.statechart.atomic

Class AtomicStatechartRenderer

java.lang.Object

ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartRenderer

public class AtomicStatechartRenderer
extends java.lang.Object

Renders a statechart graphically

Author:

Sylvain Hallé

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AtomicStatechartRenderer.ChartStatePair

Field Summary

Fields

Modifier and Type	Field and Description
protected static java.lang.String	CRLF

Constructor Summary

Constructors

Constructor and Description
AtomicStatechartRenderer()

Method Summary

Modifier and Type	Method and Description
protected static AtomicStatechartRenderer.ChartStatePair	getLastState(Statechart<AtomicEvent> owner, Configuration<AtomicEvent> source)
protected static void	renderState(java.lang.StringBuilder out, State<AtomicEvent> state, java.lang.String indent)
protected static void	renderTransition(java.lang.StringBuilder out, Statechart<AtomicEvent> sc, int source_state, Transition<AtomicEvent> transition, java.lang.String indent)
protected static java.lang.String	renderTransitionLabel(Transition<AtomicEvent> transition)
static java.lang.String	toDot(Statechart<AtomicEvent> sc) Renders the statechart as a Graphviz (DOT) file
protected static java.lang.String	toDot(Statechart<AtomicEvent> sc, java.lang.String label, java.lang.String id, boolean dotted, java.lang.String indent)

Methods inherited from class java.lang.Object

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

Field Detail

CRLF

protected static final java.lang.String CRLF

Constructor Detail

AtomicStatechartRenderer

public AtomicStatechartRenderer()

Method Detail

toDot

public static java.lang.String toDot(Statechart<AtomicEvent> sc)

Renders the statechart as a Graphviz (DOT) file

Parameters:

sc - The statechart

Returns:

A string with the contents of the DOT file

toDot

protected static java.lang.String toDot(Statechart<AtomicEvent> sc,
                                        java.lang.String label,
                                        java.lang.String id,
                                        boolean dotted,
                                        java.lang.String indent)

renderState

protected static void renderState(java.lang.StringBuilder out,
                                  State<AtomicEvent> state,
                                  java.lang.String indent)

renderTransition

protected static void renderTransition(java.lang.StringBuilder out,
                                       Statechart<AtomicEvent> sc,
                                       int source_state,
                                       Transition<AtomicEvent> transition,
                                       java.lang.String indent)

renderTransitionLabel

protected static java.lang.String renderTransitionLabel(Transition<AtomicEvent> transition)

getLastState

protected static AtomicStatechartRenderer.ChartStatePair getLastState(Statechart<AtomicEvent> owner,
                                                                      Configuration<AtomicEvent> source)