Serialized Form

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

next

AstateList next

Class absynt.B_expr implements Serializable

Serialized Fields

left_expr

Expr left_expr

right_expr

Expr right_expr

Class absynt.Chandec implements Serializable

Serialized Fields

chan

Channel chan

Class absynt.ChandecList implements Serializable

Serialized Fields

head

Chandec head

next

ChandecList next

Class absynt.Channel implements Serializable

Serialized Fields

name

java.lang.String name

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

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.Output_action implements Serializable

Serialized Fields

chan

Channel chan

val

Expr val

Class absynt.Process implements Serializable

Serialized Fields

states

AstateList states

steps

TransitionList steps

vars

VardecList vars

Class absynt.ProcessList implements Serializable

Serialized Fields

head

Process head

next

ProcessList next

Class absynt.Program implements Serializable

Serialized Fields

chans

ChandecList chans

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

next

TransitionList next

Class absynt.U_expr implements Serializable

Class absynt.Vardec implements Serializable

Serialized Fields

val

Expr val

var

Variable var

Class absynt.VardecList implements Serializable

Serialized Fields

head

Vardec head

next

VardecList next

Class absynt.Variable implements Serializable

Serialized Fields

name

java.lang.String name