cz::muni::stanse::automatonchecker::AutomatonState Class Reference

This class represents automaton state for each automata class defined in XML automata definition file. More...

List of all members.

Public Member Functions

boolean equals (final Object obj)

int hashCode ()

Package Functions

AutomatonState (final String symbol, final SimpleAutomatonID id)

AutomatonState (final String symbol, final ComposedAutomatonID id)

AutomatonState (final String symbol, final Stack< AutomatonStateContextItem > context)

String getSymbol ()

ComposedAutomatonID getAutomatonID ()

CFGNode getCFGNode ()

Stack< AutomatonStateContextItem > getContext ()

boolean isEqualWith (AutomatonState other)

Detailed Description

This class represents automaton state for each automata class defined in XML automata definition file.

Automata states represents the data, which are delivered between PatternLocation instances, which is the main idea in whole automatonchecker package. So each automaton state presented in some PatternLocation tells as, that related automaton (for that state) already was in the location in that state.

See also:: cz.muni.stanse.automatonchecker.PatternLocation

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::AutomatonState::AutomatonState	(	final String	symbol,
		final SimpleAutomatonID	id
	)			`[inline, package]`

cz::muni::stanse::automatonchecker::AutomatonState::AutomatonState	(	final String	symbol,
		final ComposedAutomatonID	id
	)			`[inline, package]`

cz::muni::stanse::automatonchecker::AutomatonState::AutomatonState	(	final String	symbol,
		final Stack< AutomatonStateContextItem >	context
	)			`[inline, package]`

Member Function Documentation

boolean cz::muni::stanse::automatonchecker::AutomatonState::equals ( final Object obj ) [inline]

int cz::muni::stanse::automatonchecker::AutomatonState::hashCode ( ) [inline]

String cz::muni::stanse::automatonchecker::AutomatonState::getSymbol ( ) [inline, package]

ComposedAutomatonID cz::muni::stanse::automatonchecker::AutomatonState::getAutomatonID ( ) [inline, package]

CFGNode cz::muni::stanse::automatonchecker::AutomatonState::getCFGNode ( ) [inline, package]

Stack<AutomatonStateContextItem> cz::muni::stanse::automatonchecker::AutomatonState::getContext ( ) [inline, package]

boolean cz::muni::stanse::automatonchecker::AutomatonState::isEqualWith ( AutomatonState other ) [inline, package]

The documentation for this class was generated from the following file:

src/cz/muni/stanse/automatonchecker/AutomatonState.java


Public Member Functions
boolean	equals (final Object obj)
int	hashCode ()
Package Functions
	AutomatonState (final String symbol, final SimpleAutomatonID id)
	AutomatonState (final String symbol, final ComposedAutomatonID id)
	AutomatonState (final String symbol, final Stack< AutomatonStateContextItem > context)
String	getSymbol ()
ComposedAutomatonID	getAutomatonID ()
CFGNode	getCFGNode ()
Stack< AutomatonStateContextItem >	getContext ()
boolean	isEqualWith (AutomatonState other)