ca.uqac.lif.ecp.statechart.atomic

Class AtomicStatechartBuilder

java.lang.Object

ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartBuilder

public class AtomicStatechartBuilder
extends java.lang.Object

Creates a statechart of atomic events out of a text string. The statechart must be structured as follows.

• The statechart is enclosed between the lines begin statechart and end statechart
• The states are declared in a section begin states … end states
• The transitions are declared in a section begin transitions … end transitions

Author:

Sylvain Hallé

Field Summary

Fields

Modifier and Type	Field and Description
protected static java.util.regex.Pattern	s_transPattern The pattern to parse transitions

Constructor Summary

Constructors

Constructor and Description
AtomicStatechartBuilder()

Method Summary

Modifier and Type	Method and Description
protected static java.lang.String	nextValidLine(java.util.Scanner scanner) Gets the next valid line from the input source.
static Statechart<AtomicEvent>	parseFromString(java.util.Scanner scanner) Parses a statechart from a source of text
protected static AtomicStatechart	parseStatechart(AtomicStatechart sc, java.util.Scanner scanner) Parses a statechart from a source of text
protected static void	parseStates(Statechart<AtomicEvent> sc, java.util.Scanner scanner) Parses the states of a statechart
protected static Configuration<AtomicEvent>	parseTarget(java.lang.String target_string) Creates a target configuration from a string of text
protected static void	parseTransitions(Statechart<AtomicEvent> sc, java.util.Scanner scanner) Parses the transitions of a statechart

Methods inherited from class java.lang.Object

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

Field Detail

s_transPattern

protected static final java.util.regex.Pattern s_transPattern

The pattern to parse transitions

Constructor Detail

AtomicStatechartBuilder

public AtomicStatechartBuilder()

Method Detail

parseFromString

public static Statechart<AtomicEvent> parseFromString(java.util.Scanner scanner)
                                               throws ca.uqac.lif.bullwinkle.BnfParser.ParseException

Parses a statechart from a source of text

Parameters:

scanner - A scanner open on a source of text

Returns:

The statechart read from the source

Throws:

ca.uqac.lif.bullwinkle.BnfParser.ParseException - Thrown if the source of text does not follow the expected syntax

parseStatechart

protected static AtomicStatechart parseStatechart(AtomicStatechart sc,
                                                  java.util.Scanner scanner)
                                           throws ca.uqac.lif.bullwinkle.BnfParser.ParseException

Parses a statechart from a source of text

Parameters:

sc - The statechart to "fill" with the contents to be read

scanner - A scanner pointing to the first line of the internal contents of the statechart

Returns:

The parsed statechart

Throws:

ca.uqac.lif.bullwinkle.BnfParser.ParseException - Thrown if the source of text does not follow the expected syntax

parseStates

protected static void parseStates(Statechart<AtomicEvent> sc,
                                  java.util.Scanner scanner)
                           throws ca.uqac.lif.bullwinkle.BnfParser.ParseException

Parses the states of a statechart

Parameters:

sc - The statechart to "fill" with the contents to be read

scanner - A scanner pointing to the first line of the list of states of the statechart

Throws:

ca.uqac.lif.bullwinkle.BnfParser.ParseException - Thrown if the source of text does not follow the expected syntax

parseTransitions

protected static void parseTransitions(Statechart<AtomicEvent> sc,
                                       java.util.Scanner scanner)
                                throws ca.uqac.lif.bullwinkle.BnfParser.ParseException

Parses the transitions of a statechart

Parameters:

sc - The statechart to "fill" with the contents to be read

scanner - A scanner pointing to the first line of the list of transitions of the statechart

Throws:

ca.uqac.lif.bullwinkle.BnfParser.ParseException - Thrown if the source of text does not follow the expected syntax

parseTarget

protected static Configuration<AtomicEvent> parseTarget(java.lang.String target_string)

Creates a target configuration from a string of text

Parameters:

target_string - The string of text

Returns:

The parsed configuration

nextValidLine

protected static java.lang.String nextValidLine(java.util.Scanner scanner)

Gets the next valid line from the input source. A line if valid if does not contain only whitespace, and whose first non-whitespace character is not "#"

Parameters:

scanner - A scanner open on a source of text

Returns:

The next valid line, or null if there are no more valid lines in the input source