Serialized Form

Package absynt

Class absynt.Absynt implements Serializable

Serialized Fields

pos

Position pos

Class absynt.Action implements Serializable

Serialized Fields

a_name

java.lang.String a_name

sap

java.util.LinkedList sap

Class absynt.ActionQualifier implements Serializable

Class absynt.Assign implements Serializable

Serialized Fields

var

Variable var

val

Expr val

Class absynt.B_expr implements Serializable

Serialized Fields

left_expr

Expr left_expr

right_expr

Expr right_expr

op

int op

Class absynt.BoolType implements Serializable

Class absynt.Constval implements Serializable

Serialized Fields

val

java.lang.Object val

Constant values are integers and booleans; they are directly implemented using the corresponding data types from Java.

Class absynt.Declaration implements Serializable

Serialized Fields

var

Variable var

type

Type type

val

Constval val

Class absynt.Expr implements Serializable

Serialized Fields

type

Type type

Class absynt.IntType implements Serializable

Class absynt.Nqual implements Serializable

Class absynt.Position implements Serializable

Serialized Fields

x

float x

y

float y

Class absynt.SFC implements Serializable

Serialized Fields

istep

Step istep

steps

java.util.LinkedList steps

transs

java.util.LinkedList transs

actions

java.util.LinkedList actions

declist

java.util.LinkedList declist

Class absynt.Skip implements Serializable

Class absynt.Step implements Serializable

Serialized Fields

name

java.lang.String name

actions

java.util.LinkedList actions

pos

Position pos

Class absynt.StepAction implements Serializable

Serialized Fields

qualifier

ActionQualifier qualifier

a_name

java.lang.String a_name

Class absynt.Stmt implements Serializable

Class absynt.Transition implements Serializable

Serialized Fields

source

java.util.LinkedList source

guard

Expr guard

target

java.util.LinkedList target

Class absynt.Type implements Serializable

Class absynt.U_expr implements Serializable

Serialized Fields

sub_expr

Expr sub_expr

op

int op

Class absynt.Variable implements Serializable

Serialized Fields

name

java.lang.String name

type

Type type

Package checks

Class checks.ActionFailure implements Serializable

Serialized Fields

act

Action act

Class checks.BoolException implements Serializable

Class checks.CheckException implements Serializable

Serialized Fields

nachricht

java.lang.String nachricht

Class checks.DecListFailure implements Serializable

Serialized Fields

decl

Declaration decl

Class checks.IStepException implements Serializable

Class checks.StepFailure implements Serializable

Serialized Fields

s

Step s

Class checks.TransitionFailure implements Serializable

Serialized Fields

trans

Transition trans

Package editor

Class editor.DrawSFCPanel implements Serializable

Serialized Fields

editor

Editor editor

sfc

SFC sfc

StepBorder

double StepBorder

Class editor.Editor implements Serializable

Serialized Fields

ToolBar

javax.swing.JToolBar ToolBar

DrawScrPane

javax.swing.JScrollPane DrawScrPane

DrawPanel

DrawSFCPanel DrawPanel

DataScrPane

javax.swing.JScrollPane DataScrPane

DataPanel

javax.swing.JPanel DataPanel

DataDeclPanel

javax.swing.JPanel DataDeclPanel

DataActPanel

javax.swing.JPanel DataActPanel

DataDeclTable

javax.swing.JTable DataDeclTable

DataActTable

javax.swing.JTable DataActTable

SelectToggleBtn

javax.swing.JToggleButton SelectToggleBtn

editorAction

int editorAction

SFCPanelsMouseAdapter

javax.swing.event.MouseInputAdapter SFCPanelsMouseAdapter

sourceSteps

Editor.StepLL sourceSteps

targetSteps

Editor.StepLL targetSteps

stepActDialog

editor.Editor.StepActDialog stepActDialog

SelectedLL

Editor.StepLL SelectedLL

transAlignInfoLL

Editor.TransAlignInfoLL transAlignInfoLL

strName

java.lang.String strName

boolModified

boolean boolModified

intTransitionAlign

int intTransitionAlign

sfc

SFC sfc

aligningSFC

boolean aligningSFC

HILIGHT_OFF

boolean HILIGHT_OFF

Konstante zum Highlight ausschalten

See Also:

Editor.highlight_state(Absynt Element, boolean Value)

HILIGHT_ON

boolean HILIGHT_ON

Konstante zum Highlight einschalten

See Also:

Editor.highlight_state(Absynt Element, boolean Value)

alignedStepLL

Editor.StepLL alignedStepLL

stepRowsLL

java.util.LinkedList stepRowsLL

widestRow

int widestRow

ExprEditor

Expression_Parser ExprEditor

Class editor.Editor.StepLL implements Serializable

Serialized Fields

this$0

Editor this$0

Class editor.Editor.TransAlignInfoLL implements Serializable

Serialized Fields

this$0

Editor this$0

Class editor.Editor.TransLL implements Serializable

Serialized Fields

this$0

Editor this$0

Class editor.EditorException implements Serializable

Class editor.Expression_Parser implements Serializable

Serialized Fields

ExpressionPanel

editor.Expression_Panel ExpressionPanel

AssVarPanel

editor.AssignVarPanel AssVarPanel

mouseX

int mouseX

mouseY

int mouseY

index

int index

_expr

Expr _expr

_assign

Assign _assign

predecessor

Expr predecessor

root

boolean root

var

boolean var

cons

boolean cons

x_fort

int x_fort

kk

int kk

pred_index

int pred_index

y_a

int y_a

letter_width

int letter_width

letter_high

int letter_high

sfc

SFC sfc

vari

Variable vari

varAssign

Variable varAssign

consi

Constval consi

canceled

boolean canceled

Class editor.PosRect implements Serializable

Serialized Fields

boolEmpty

boolean boolEmpty

x1

double x1

y1

double y1

x2

double x2

y2

double y2

Class editor.StepPosition implements Serializable

Serialized Fields

Bounds

PosRect Bounds

Class editor.TransAlignInfo implements Serializable

Serialized Fields

sSteps

java.util.LinkedList sSteps

tSteps

java.util.LinkedList tSteps

sBounds

PosRect sBounds

tBounds

PosRect tBounds

bendPos

double bendPos

Package gui

Class gui.Gui implements Serializable

Serialized Fields

SnotOptionPane

javax.swing.JOptionPane SnotOptionPane

private declarations

session

Session session

activeProject

Project activeProject

Utilities

gui.Gui.GuiUtilities Utilities

TITLE

java.lang.String TITLE

SessionFileExtension

java.lang.String SessionFileExtension

ProjectFileExtension

java.lang.String ProjectFileExtension

SmvFileExtension

java.lang.String SmvFileExtension

ParserFileExtension

java.lang.String ParserFileExtension

GuiLocation

java.awt.Point GuiLocation

EditorLocation

java.awt.Point EditorLocation

ProjectListLocation

java.awt.Point ProjectListLocation

HelpLocation

java.awt.Point HelpLocation

globalDirectory

java.io.File globalDirectory

ButtonOpenSession

javax.swing.JButton ButtonOpenSession

ButtonNewSession

javax.swing.JButton ButtonNewSession

ButtonSaveSession

javax.swing.JButton ButtonSaveSession

ButtonSaveAsSession

javax.swing.JButton ButtonSaveAsSession

ButtonCloseSession

javax.swing.JButton ButtonCloseSession

ButtonExportSFC

javax.swing.JButton ButtonExportSFC

ButtonImportSFC

javax.swing.JButton ButtonImportSFC

ToolBarFiles

javax.swing.JToolBar ToolBarFiles

ShowFilesToolBar

javax.swing.JCheckBoxMenuItem ShowFilesToolBar

scrollpane

javax.swing.JScrollPane scrollpane

helpscrollpane

javax.swing.JScrollPane helpscrollpane

list

javax.swing.JList list

projectFrame

javax.swing.JFrame projectFrame

helpFrame

javax.swing.JFrame helpFrame

textarea

javax.swing.JTextArea textarea

jMenuBar

javax.swing.JMenuBar jMenuBar

FileMenu

javax.swing.JMenu FileMenu

OpenSession

javax.swing.JMenuItem OpenSession

NewSession

javax.swing.JMenuItem NewSession

jSeparator2

javax.swing.JSeparator jSeparator2

SaveSession

javax.swing.JMenuItem SaveSession

SaveAsSession

javax.swing.JMenuItem SaveAsSession

CloseSession

javax.swing.JMenuItem CloseSession

jSeparator3

javax.swing.JSeparator jSeparator3

ExitSnot

javax.swing.JMenuItem ExitSnot

Edit

javax.swing.JMenu Edit

NewSFC

javax.swing.JMenuItem NewSFC

jSeparator4

javax.swing.JSeparator jSeparator4

ImportSFC

javax.swing.JMenuItem ImportSFC

ExportSFC

javax.swing.JMenuItem ExportSFC

jSeparator5

javax.swing.JSeparator jSeparator5

RenameSFC

javax.swing.JMenuItem RenameSFC

RemoveSFC

javax.swing.JMenuItem RemoveSFC

ImportExample1

javax.swing.JMenuItem ImportExample1

ToolsMenu

javax.swing.JMenu ToolsMenu

Editor

javax.swing.JMenuItem Editor

CheckSFC

javax.swing.JMenuItem CheckSFC

Simulator

javax.swing.JMenuItem Simulator

SMV

javax.swing.JMenuItem SMV

Parser

javax.swing.JMenuItem Parser

PrettyPrinter

javax.swing.JMenuItem PrettyPrinter

View

javax.swing.JMenu View

SFCBrowser

javax.swing.JCheckBoxMenuItem SFCBrowser

ShowToolBar

javax.swing.JCheckBoxMenuItem ShowToolBar

HelpMenu

javax.swing.JMenu HelpMenu

About

javax.swing.JMenuItem About

Help

javax.swing.JMenuItem Help

ToolBarTools

javax.swing.JToolBar ToolBarTools

ButtonEditor

javax.swing.JButton ButtonEditor

ButtonCheckSFC

javax.swing.JButton ButtonCheckSFC

ButtonSimulator

javax.swing.JButton ButtonSimulator

ButtonSMV

javax.swing.JButton ButtonSMV

ButtonParser

javax.swing.JButton ButtonParser

ButtonPrettyPrinter

javax.swing.JButton ButtonPrettyPrinter

PanelStatus

javax.swing.JPanel PanelStatus

Status

javax.swing.JLabel Status

nsicon

javax.swing.ImageIcon nsicon

osicon

javax.swing.ImageIcon osicon

ssaicon

javax.swing.ImageIcon ssaicon

ssicon

javax.swing.ImageIcon ssicon

csicon

javax.swing.ImageIcon csicon

isfcicon

javax.swing.ImageIcon isfcicon

esfcicon

javax.swing.ImageIcon esfcicon

Class gui.Project implements Serializable

Serialized Fields

sfc

SFC sfc

variable declarations

name

java.lang.String name

is_named

boolean is_named

is_checked

boolean is_checked

is_only_bool

boolean is_only_bool

has_editor

boolean has_editor

location

java.awt.Point location

size

java.awt.Dimension size

state

int state

Class gui.Session implements Serializable

Serialized Fields

name

java.lang.String name

The name of the current session. It is taken form the filename excluding path and filename extension.

is_saved

boolean is_saved

Once saved this flag is set to true. It is also set when a session is read from disk. It indicats that a valid filename is set and the SaveSessionbutton can be invoked.

is_modified

boolean is_modified

The is_modified flag indicates that the session has changed and needs to be saved.

Package io

Class io.ParseException implements Serializable

Package simulator

Class simulator.SimException implements Serializable

Class simulator.Simulator.State implements Serializable

Serialized Fields

this$0

Simulator this$0

Package smv

Class smv.SMVException implements Serializable