faa.tg.scenario.importer.routeparser.fsmparser
Class MainWidget

java.lang.Object
  faa.tg.scenario.importer.routeparser.fsmparser.MainWidget

Deprecated. folded into Parser

public final class MainWidget
extends java.lang.Object

The main widget for the Finite State Machine Explorer

Version:

24 Nov 1996

Author:

Matt Chapman

Field Summary

(package private) int	ADD Deprecated.
(package private) int	CONNECT Deprecated.
(package private) State	connect_state Deprecated.
(package private) State	connect_to Deprecated.
(package private) int	DELETE Deprecated.
(package private) boolean	during_move Deprecated.
(package private) boolean	empty_drag Deprecated.
private FsmReport	fsmReport Deprecated.
(package private) int	hei Deprecated.
(package private) Logical	machine Deprecated.
(package private) boolean	make_accepting Deprecated.
(package private) boolean	making_connection Deprecated.
(package private) MachineIO	mcIO Deprecated.
(package private) int	mode Deprecated.
(package private) int	MOVE Deprecated.
(package private) State	moving_state Deprecated.
(package private) int	selected_state Deprecated.
(package private) boolean	selecting_start Deprecated.
(package private) Simulate	sim Deprecated.
(package private) int	START Deprecated.
(package private) int	thei Deprecated.
(package private) int	to_state Deprecated.
(package private) int	TOGGLE Deprecated.
(package private) int	twid Deprecated.
(package private) boolean	waiting_for_key Deprecated.
(package private) boolean	waiting_for_transition Deprecated.
(package private) int	wid Deprecated.

Constructor Summary

MainWidget()
Deprecated.

Method Summary

private void	constructTest() Deprecated.
private void	constructTgfMachine() Deprecated.
FsmReport	getFsmReport() Deprecated.
void	loadMC(java.lang.String filename) Deprecated. Load a machine from a file
void	makeAccepting() Deprecated.
void	markStart() Deprecated.
void	msg(java.lang.String txt) Deprecated.
void	simulate(java.lang.String inputfield) Deprecated.
void	stopsim() Deprecated.

Methods inherited from class java.lang.Object

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

Field Detail

ADD

final int ADD

Deprecated.

See Also:

Constant Field Values

MOVE

final int MOVE

Deprecated.

See Also:

Constant Field Values

CONNECT

final int CONNECT

Deprecated.

See Also:

Constant Field Values

DELETE

final int DELETE

Deprecated.

See Also:

Constant Field Values

START

final int START

Deprecated.

See Also:

Constant Field Values

TOGGLE

final int TOGGLE

Deprecated.

See Also:

Constant Field Values

wid

final int wid

Deprecated.

See Also:

Constant Field Values

hei

final int hei

Deprecated.

See Also:

Constant Field Values

twid

final int twid

Deprecated.

See Also:

Constant Field Values

thei

final int thei

Deprecated.

See Also:

Constant Field Values

machine

Logical machine

Deprecated.

sim

Simulate sim

Deprecated.

mcIO

MachineIO mcIO

Deprecated.

mode

int mode

Deprecated.

to_state

int to_state

Deprecated.

selected_state

int selected_state

Deprecated.

moving_state

State moving_state

Deprecated.

connect_state

State connect_state

Deprecated.

connect_to

State connect_to

Deprecated.

making_connection

boolean making_connection

Deprecated.

waiting_for_key

boolean waiting_for_key

Deprecated.

waiting_for_transition

boolean waiting_for_transition

Deprecated.

during_move

boolean during_move

Deprecated.

empty_drag

boolean empty_drag

Deprecated.

selecting_start

boolean selecting_start

Deprecated.

make_accepting

boolean make_accepting

Deprecated.

fsmReport

private FsmReport fsmReport

Deprecated.

Constructor Detail

MainWidget

public MainWidget()

Deprecated.

Method Detail

msg

public void msg(java.lang.String txt)

Deprecated.

constructTest

private void constructTest()

Deprecated.

constructTgfMachine

private void constructTgfMachine()

Deprecated.

loadMC

public void loadMC(java.lang.String filename)

Deprecated.

Load a machine from a file

Parameters:

filename - the file to be loaded as a machine

markStart

public void markStart()

Deprecated.

makeAccepting

public void makeAccepting()

Deprecated.

simulate

public void simulate(java.lang.String inputfield)

Deprecated.

stopsim

public void stopsim()

Deprecated.

getFsmReport

public FsmReport getFsmReport()

Deprecated.