Overview

Package

Class

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Serialized Form

Package absynt

Class absynt.Absyn implements Serializable

Serialized Fields

location

Location location

Class absynt.Action implements Serializable

Class absynt.Assign_action implements Serializable

Serialized Fields

val

Expr val

var

Variable var

Class absynt.Astate implements Serializable

Serialized Fields

assert

Expr assert

name

java.lang.String name

pos

Position pos

Class absynt.AstateList implements Serializable

Serialized Fields

head

Astate head

AstateList next

Class absynt.B_expr implements Serializable

Serialized Fields

left_expr

Expr left_expr

op

int op

right_expr

Expr right_expr

Class absynt.Chandec implements Serializable

Serialized Fields

chan

Channel chan

type

M_Chan type

Class absynt.ChandecList implements Serializable

Serialized Fields

head

Chandec head

ChandecList next

Class absynt.Channel implements Serializable

Serialized Fields

name

java.lang.String name

type

M_Type type

Class absynt.Constval implements Serializable

Serialized Fields

val

java.lang.Object val

Als konstante Werte sind Integers und boolesche Werte. Diese uebernehmen wir direkt aus Java.

Class absynt.Expr implements Serializable

Serialized Fields

type

M_AtomType type

Class absynt.Initstate implements Serializable

Class absynt.Input_action implements Serializable

Serialized Fields

chan

Channel chan

var

Variable var

Class absynt.Label implements Serializable

Serialized Fields

act

Action act

guard

Expr guard

Class absynt.Location implements Serializable

Serialized Fields

line

int line

Class absynt.M_AtomType implements Serializable

Class absynt.M_AType implements Serializable

Class absynt.M_Bool implements Serializable

Class absynt.M_Chan implements Serializable

Serialized Fields

carried

M_AtomType carried

Class absynt.M_Int implements Serializable

Class absynt.M_Type implements Serializable

Class absynt.Output_action implements Serializable

Serialized Fields

chan

Channel chan

val

Expr val

Class absynt.Position implements Serializable

Serialized Fields

x

float x

y

float y

Class absynt.Process implements Serializable

Serialized Fields

init

Initstate init

name

java.lang.String name

states

AstateList states

steps

TransitionList steps

vars

VardecList vars

Class absynt.ProcessList implements Serializable

Serialized Fields

head

Process head

ProcessList next

Class absynt.Program implements Serializable

Serialized Fields

chans

ChandecList chans

name

java.lang.String name

procs

ProcessList procs

Class absynt.State implements Serializable

Class absynt.Tau_action implements Serializable

Class absynt.Transition implements Serializable

Serialized Fields

lab

Label lab

source

Astate source

target

Astate target

Class absynt.TransitionList implements Serializable

Serialized Fields

head

Transition head

TransitionList next

Class absynt.U_expr implements Serializable

Serialized Fields

op

int op

sub_expr

Expr sub_expr

Class absynt.Vardec implements Serializable

Serialized Fields

type

M_AtomType type

val

Expr val

var

Variable var

Class absynt.VardecList implements Serializable

Serialized Fields

head

Vardec head

VardecList next

Class absynt.Variable implements Serializable

Serialized Fields

name

java.lang.String name

Package checks1

Class checks1.checkWindow implements Serializable

Serialized Fields

text

java.awt.TextArea text

Package editor

Class editor.ChannelEditor implements Serializable

Serialized Fields

channeltable

javax.swing.JTable channeltable

channeltablemodel

javax.swing.table.DefaultTableModel channeltablemodel

cpane

java.awt.Container cpane

dialogstring

java.lang.String dialogstring

editor

Editor editor

program

Program program

stringdialog

editor.ChannelEditor.StringDialog stringdialog

Class editor.DebugWindow implements Serializable

Serialized Fields

cpane

java.awt.Container cpane

debugfont

java.awt.Font debugfont

textarea

javax.swing.JTextArea textarea

Class editor.Editor implements Serializable

Serialized Fields

activeprocess

Eprocess activeprocess

activeprogram

Eprogram activeprogram

activewindow

ProcessWindow activewindow

buttonfont

java.awt.Font buttonfont

channeleditor

ChannelEditor channeleditor

cpane

java.awt.Container cpane

debug

boolean debug

debugwindow

DebugWindow debugwindow

dpane

javax.swing.JDesktopPane dpane

editbar

EditorToolbar editbar

editor_id

int editor_id

editorname

java.lang.String editorname

globalselection

EditorSelection globalselection

graficbuffer

boolean graficbuffer

grid

boolean grid

gui

GUI gui

iframefont

java.awt.Font iframefont

infofont

java.awt.Font infofont

infotext

javax.swing.JLabel infotext

menufont

java.awt.Font menufont

prettyprint

PrettyPrint prettyprint

programlist

Eprogram programlist

toolcommand

java.lang.String toolcommand

topmenu

TopMenuBar topmenu

topmenubar

TopMenuToolbar topmenubar

variableneditor

VariablenEditor variableneditor

zeichenfont

java.awt.Font zeichenfont

zflaeche

Zeichenflaeche zflaeche

zoom

int zoom

Class editor.EditorToolbar implements Serializable

Serialized Fields

editor

Editor editor

Class editor.PopupMenuState implements Serializable

Serialized Fields

editor

Editor editor

estate

Estate estate

invoker

java.awt.Component invoker

x

int x

y

int y

Class editor.ProcessWindow implements Serializable

Serialized Fields

cpane

java.awt.Container cpane

editor

Editor editor

eprocess

Eprocess eprocess

processselection

EditorSelection processselection

scrollpane

javax.swing.JScrollPane scrollpane

size

java.awt.Dimension size

zeichenflaeche

Zeichenflaeche zeichenflaeche

zoom

int zoom

Class editor.SetTransitionDialog implements Serializable

Serialized Fields

activePanel

javax.swing.JPanel activePanel

button_assign

javax.swing.JRadioButton button_assign

button_input

javax.swing.JRadioButton button_input

button_output

javax.swing.JRadioButton button_output

button_tau

javax.swing.JRadioButton button_tau

cpane

java.awt.Container cpane

editor

Editor editor

eprocess

Eprocess eprocess

etransition

Etransition etransition

field_ass_expression

javax.swing.JTextField field_ass_expression

field_ass_variable

javax.swing.JTextField field_ass_variable

field_in_channel

javax.swing.JTextField field_in_channel

field_in_variable

javax.swing.JTextField field_in_variable

field_out_channel

javax.swing.JTextField field_out_channel

field_out_expression

javax.swing.JTextField field_out_expression

init

boolean init

paramPanel

javax.swing.JPanel paramPanel

paramPanel_assign

javax.swing.JPanel paramPanel_assign

paramPanel_input

javax.swing.JPanel paramPanel_input

paramPanel_output

javax.swing.JPanel paramPanel_output

paramPanel_tau

javax.swing.JPanel paramPanel_tau

radioPanel

javax.swing.JPanel radioPanel

string_ass_expression

javax.swing.JLabel string_ass_expression

string_ass_variable

javax.swing.JLabel string_ass_variable

string_in_channel

javax.swing.JLabel string_in_channel

string_in_variable

javax.swing.JLabel string_in_variable

string_out_channel

javax.swing.JLabel string_out_channel

string_out_expression

javax.swing.JLabel string_out_expression

string_tau_message

javax.swing.JLabel string_tau_message

toolPanel

javax.swing.JPanel toolPanel

Class editor.TopMenuBar implements Serializable

Serialized Fields

editor

Editor editor

menu_process

javax.swing.JMenu menu_process

Class editor.TopMenuToolbar implements Serializable

Serialized Fields

editor

Editor editor

Class editor.VariablenEditor implements Serializable

Serialized Fields

cpane

java.awt.Container cpane

dialogstring

java.lang.String dialogstring

editor

Editor editor

process

Process process

stringdialog

editor.VariablenEditor.StringDialog stringdialog

variabletable

javax.swing.JTable variabletable

variabletablemodel

javax.swing.table.DefaultTableModel variabletablemodel

Class editor.Zeichenflaeche implements Serializable

Serialized Fields

dimension

java.awt.Dimension dimension

fx1

float fx1

fx2

float fx2

fy1

float fy1

fy2

float fy2

old_x2

int old_x2

old_y2

int old_y2

procwin

ProcessWindow procwin

selectedstate

Estate selectedstate

selectedtransition

Etransition selectedtransition

source_state

Estate source_state

staterange

float staterange

target_state

Estate target_state

transrange

float transrange

x1

int x1

x2

int x2

y1

int y1

y2

int y2

Package gui

Class gui.GUI implements Serializable

Serialized Fields

aboutMenuItem

javax.swing.JMenuItem aboutMenuItem

actualeditor

Editor actualeditor

actualsession

gui.GUI.Session actualsession

checkAllMenuItem

javax.swing.JMenuItem checkAllMenuItem

checkProcessMenuItem

javax.swing.JMenuItem checkProcessMenuItem

closeEdMenuItem

javax.swing.JMenuItem closeEdMenuItem

closeMenuItem

javax.swing.JMenuItem closeMenuItem

contentsMenuItem

javax.swing.JMenuItem contentsMenuItem

editorMenu

javax.swing.JMenu editorMenu

exitMenuItem

javax.swing.JMenuItem exitMenuItem

helpMenu

javax.swing.JMenu helpMenu

jSeparator1

javax.swing.JSeparator jSeparator1

jSeparator2

javax.swing.JSeparator jSeparator2

jSeparator3

javax.swing.JSeparator jSeparator3

jSeparator4

javax.swing.JSeparator jSeparator4

jSeparator5

javax.swing.JSeparator jSeparator5

jSeparator6

javax.swing.JSeparator jSeparator6

jSeparator7

javax.swing.JSeparator jSeparator7

menuBar

javax.swing.JMenuBar menuBar

modelchecker

Modelchecker modelchecker

modelcheckerMenuItem

javax.swing.JMenuItem modelcheckerMenuItem

mySimUI

SimUI mySimUI

newEdMenuItem

javax.swing.JMenuItem newEdMenuItem

newMenuItem

javax.swing.JMenuItem newMenuItem

openEdMenuItem

javax.swing.JMenuItem openEdMenuItem

openMenuItem

javax.swing.JMenuItem openMenuItem

openParseEdMenuItem

javax.swing.JMenuItem openParseEdMenuItem

projBrowserTable

javax.swing.JTable projBrowserTable

projBrowserTableModel

javax.swing.table.DefaultTableModel projBrowserTableModel

projNameTextField

javax.swing.JTextField projNameTextField

removeEdMenuItem

javax.swing.JMenuItem removeEdMenuItem

saveAsMenuItem

javax.swing.JMenuItem saveAsMenuItem

saveMenuItem

javax.swing.JMenuItem saveMenuItem

sessionMenu

javax.swing.JMenu sessionMenu

simulatorMenuItem

javax.swing.JMenuItem simulatorMenuItem

toolsMenu

javax.swing.JMenu toolsMenu

Class gui.NewSessionUI implements Serializable

Serialized Fields

cancel_button

javax.swing.JButton cancel_button

g

GUI g

ok_button

javax.swing.JButton ok_button

sessionname

javax.swing.JTextField sessionname

Class gui.SimUI implements Serializable

Serialized Fields

autorunState

int autorunState

autorunTButton

javax.swing.JToggleButton autorunTButton

debuglvlLabel

javax.swing.JLabel debuglvlLabel

debuglvlSlider

javax.swing.JSlider debuglvlSlider

debugTextArea

javax.swing.JTextArea debugTextArea

myProgram

Program myProgram

mySim

Simulator mySim

startButton

javax.swing.JButton startButton

stepButton

javax.swing.JButton stepButton

Package modcheck

Class modcheck.MCheckException implements Serializable

Serialized Fields

errorStates

Astate[] errorStates

msg

java.lang.String msg

Class modcheck.ModstateList implements Serializable

Serialized Fields

head

Modstate head

ModstateList next

Package parser

Class parser.ParseException implements Serializable

Package simulator

Class simulator.StrSelWin implements Serializable

Serialized Fields

bGroup

javax.swing.ButtonGroup bGroup

choice

int choice

hasSel

boolean hasSel

jButton1

javax.swing.JButton jButton1

jButton2

javax.swing.JButton jButton2

jLabel1

javax.swing.JLabel jLabel1

tempRButton

javax.swing.JRadioButton tempRButton

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES