edu.luc.cs.trull.translator
Interface Visitor

All Known Implementing Classes:

Translator

interface Visitor

A visitor for an Trull XML document in the form of a DOM tree.

Field Summary

static java.lang.String	ACCESS
static java.lang.String	ACT
static java.lang.String[]	ACTIVITIES
static java.lang.String	ACTIVITY
static java.lang.String	ACTIVITYREF
static java.lang.String	ALLPAST
static java.lang.String	AND
static java.lang.String	ASSERT
static java.lang.String	ASSERTION
static java.lang.String	AWAIT
static java.lang.String	AWAITONE
static java.lang.String	BACKTO
static java.lang.String	CASE
static java.lang.String	CODE
static java.lang.String	CONTROLLABLE
static java.lang.String[]	DECLARABLES
static java.lang.String	DECLARE
static java.lang.String	DEFAULT
static java.lang.String	DONE
static java.lang.String	EMIT
static java.lang.String	EVENTLABEL
static java.lang.String	EVENTLABELS
static java.lang.String	EXPR
static java.lang.String	EXPRREF
static java.lang.String[]	EXPRS
static java.lang.String	EXPRSREF
static java.lang.String	EXTENDS
static java.lang.String	FROM
static java.lang.String	IF
static java.lang.String	IMPLEMENTS
static java.lang.String	IMPLIES
static java.lang.String	IMPORT
static java.lang.String	LABEL
static java.lang.String	LEAF
static java.lang.String	LOCAL
static java.lang.String	LOOP
static java.lang.String	NAME
static java.lang.String	NIL
static java.lang.String	NOT
static java.lang.String	ONCE
static java.lang.String	ONEMIT
static java.lang.String	ONRESUME
static java.lang.String	ONSTART
static java.lang.String	ONSTOP
static java.lang.String	ONSUSPEND
static java.lang.String	OR
static java.lang.String	PACKAGE
static java.lang.String	PARALLEL
static java.lang.String	PARAM
static java.lang.String	PARAMS
static java.lang.String	PREDICATE
static java.lang.String	PREVIOUS
static java.lang.String	RENAME
static java.lang.String	RESUME
static java.lang.String	RETURN
static java.lang.String	RUN
static java.lang.String	SATISFIED
static java.lang.String	SEQUENCE
static java.lang.String	SIGNATURE
static java.lang.String	SINCE
static java.lang.String	SUSPEND
static java.lang.String	SUSPENDRESUME
static java.lang.String	SWITCH
static java.lang.String	THREADACTIVITY
static java.lang.String	TIMEOUT
static java.lang.String[]	TLEXPRS
static java.lang.String[]	TLPARAMS
static java.lang.String	TO
static java.lang.String	TRIVENI
static java.lang.String	TYPE
static java.lang.String	UPDATE
static java.lang.String	UPDATEHANDLER
static java.lang.String	VALUATOR
static java.lang.String	VIOLATED
static java.lang.String	WATCHING

Method Summary

void	act(org.w3c.dom.Node node) ACT element
void	activity(org.w3c.dom.Node node) ACTIVITY element
void	activityRef(org.w3c.dom.Node node) ACTIVITYREF element
void	allPast(org.w3c.dom.Node node)
void	and(org.w3c.dom.Node node)
void	assertion(org.w3c.dom.Node node) ASSERTION element
void	assertt(org.w3c.dom.Node node) ASSERT element
void	await(org.w3c.dom.Node node) AWAIT element
void	awaitOne(org.w3c.dom.Node node) AWAITONE element
void	backTo(org.w3c.dom.Node node)
void	code(org.w3c.dom.Node node)
void	controllable(org.w3c.dom.Node node) CONTROLLABLE element
void	cse(org.w3c.dom.Node node) CASE element
void	declare(org.w3c.dom.Node node)
void	defult(org.w3c.dom.Node node) DEFAULT element
void	done(org.w3c.dom.Node node) DONE element
void	emit(org.w3c.dom.Node node) EMIT element
void	eventLabel(org.w3c.dom.Node node) EVENTLABEL element
void	eventLabels(org.w3c.dom.Node node) EVENTLABELS element
void	expr(org.w3c.dom.Node node) EXPR element
void	exprRef(org.w3c.dom.Node node) EXPRREF element
void	exprsRef(org.w3c.dom.Node node) EXPRSREF element
void	iif(org.w3c.dom.Node node) IF element
void	implies(org.w3c.dom.Node node)
void	imprt(org.w3c.dom.Node node)
void	label(org.w3c.dom.Node node)
void	leaf(org.w3c.dom.Node node)
void	local(org.w3c.dom.Node node) LOCAL element
void	loop(org.w3c.dom.Node node) LOOP element
void	nil(org.w3c.dom.Node node) NIL element
void	not(org.w3c.dom.Node node)
void	once(org.w3c.dom.Node node)
void	onEmit(org.w3c.dom.Node node)
void	onResume(org.w3c.dom.Node node)
void	onStart(org.w3c.dom.Node node)
void	onStop(org.w3c.dom.Node node)
void	onSuspend(org.w3c.dom.Node node)
void	or(org.w3c.dom.Node node)
void	parallel(org.w3c.dom.Node node) PARALLEL element
void	param(org.w3c.dom.Node node)
void	params(org.w3c.dom.Node node)
void	predicate(org.w3c.dom.Node node) PREDICATE element
void	previous(org.w3c.dom.Node node)
void	rename(org.w3c.dom.Node node) RENAME element
void	retrn(org.w3c.dom.Node node)
void	run(org.w3c.dom.Node node)
void	satisfied(org.w3c.dom.Node node) SATISFIED element
void	sequence(org.w3c.dom.Node node) SEQUENCE element
void	signature(org.w3c.dom.Node node)
void	signatures(org.w3c.dom.Node node)
void	since(org.w3c.dom.Node node)
void	suspendResume(org.w3c.dom.Node node) SUSPENDRESUME
void	swtch(org.w3c.dom.Node node) SWITCH element
void	threadActivity(org.w3c.dom.Node node) THREADACTIVITY element
void	timeOut(org.w3c.dom.Node node)
void	triveni(org.w3c.dom.Node node) top level component
void	update(org.w3c.dom.Node node)
void	updateHandler(org.w3c.dom.Node node)
void	valuator(org.w3c.dom.Node node) VALUATOR element
void	violated(org.w3c.dom.Node node) VIOLATED element
void	watching(org.w3c.dom.Node node) WATCHING element

Field Detail

ACCESS

static final java.lang.String ACCESS

See Also:

Constant Field Values

ACT

static final java.lang.String ACT

See Also:

Constant Field Values

ACTIVITIES

static final java.lang.String[] ACTIVITIES

ACTIVITY

static final java.lang.String ACTIVITY

See Also:

Constant Field Values

ACTIVITYREF

static final java.lang.String ACTIVITYREF

See Also:

Constant Field Values

ALLPAST

static final java.lang.String ALLPAST

See Also:

Constant Field Values

AND

static final java.lang.String AND

See Also:

Constant Field Values

ASSERT

static final java.lang.String ASSERT

See Also:

Constant Field Values

ASSERTION

static final java.lang.String ASSERTION

See Also:

Constant Field Values

AWAIT

static final java.lang.String AWAIT

See Also:

Constant Field Values

AWAITONE

static final java.lang.String AWAITONE

See Also:

Constant Field Values

BACKTO

static final java.lang.String BACKTO

See Also:

Constant Field Values

CASE

static final java.lang.String CASE

See Also:

Constant Field Values

CODE

static final java.lang.String CODE

See Also:

Constant Field Values

CONTROLLABLE

static final java.lang.String CONTROLLABLE

See Also:

Constant Field Values

DECLARABLES

static final java.lang.String[] DECLARABLES

DECLARE

static final java.lang.String DECLARE

See Also:

Constant Field Values

DEFAULT

static final java.lang.String DEFAULT

See Also:

Constant Field Values

DONE

static final java.lang.String DONE

See Also:

Constant Field Values

EMIT

static final java.lang.String EMIT

See Also:

Constant Field Values

EVENTLABEL

static final java.lang.String EVENTLABEL

See Also:

Constant Field Values

EVENTLABELS

static final java.lang.String EVENTLABELS

See Also:

Constant Field Values

EXPR

static final java.lang.String EXPR

See Also:

Constant Field Values

EXPRREF

static final java.lang.String EXPRREF

See Also:

Constant Field Values

EXPRS

static final java.lang.String[] EXPRS

EXPRSREF

static final java.lang.String EXPRSREF

See Also:

Constant Field Values

EXTENDS

static final java.lang.String EXTENDS

See Also:

Constant Field Values

FROM

static final java.lang.String FROM

See Also:

Constant Field Values

IF

static final java.lang.String IF

See Also:

Constant Field Values

IMPLEMENTS

static final java.lang.String IMPLEMENTS

See Also:

Constant Field Values

IMPLIES

static final java.lang.String IMPLIES

See Also:

Constant Field Values

IMPORT

static final java.lang.String IMPORT

See Also:

Constant Field Values

LABEL

static final java.lang.String LABEL

See Also:

Constant Field Values

LEAF

static final java.lang.String LEAF

See Also:

Constant Field Values

LOCAL

static final java.lang.String LOCAL

See Also:

Constant Field Values

LOOP

static final java.lang.String LOOP

See Also:

Constant Field Values

NAME

static final java.lang.String NAME

See Also:

Constant Field Values

NIL

static final java.lang.String NIL

See Also:

Constant Field Values

NOT

static final java.lang.String NOT

See Also:

Constant Field Values

ONCE

static final java.lang.String ONCE

See Also:

Constant Field Values

ONEMIT

static final java.lang.String ONEMIT

See Also:

Constant Field Values

ONRESUME

static final java.lang.String ONRESUME

See Also:

Constant Field Values

ONSTART

static final java.lang.String ONSTART

See Also:

Constant Field Values

ONSTOP

static final java.lang.String ONSTOP

See Also:

Constant Field Values

ONSUSPEND

static final java.lang.String ONSUSPEND

See Also:

Constant Field Values

OR

static final java.lang.String OR

See Also:

Constant Field Values

PACKAGE

static final java.lang.String PACKAGE

See Also:

Constant Field Values

PARALLEL

static final java.lang.String PARALLEL

See Also:

Constant Field Values

PARAM

static final java.lang.String PARAM

See Also:

Constant Field Values

PARAMS

static final java.lang.String PARAMS

See Also:

Constant Field Values

PREDICATE

static final java.lang.String PREDICATE

See Also:

Constant Field Values

PREVIOUS

static final java.lang.String PREVIOUS

See Also:

Constant Field Values

RENAME

static final java.lang.String RENAME

See Also:

Constant Field Values

RESUME

static final java.lang.String RESUME

See Also:

Constant Field Values

RETURN

static final java.lang.String RETURN

See Also:

Constant Field Values

RUN

static final java.lang.String RUN

See Also:

Constant Field Values

SATISFIED

static final java.lang.String SATISFIED

See Also:

Constant Field Values

SEQUENCE

static final java.lang.String SEQUENCE

See Also:

Constant Field Values

SIGNATURE

static final java.lang.String SIGNATURE

See Also:

Constant Field Values

SINCE

static final java.lang.String SINCE

See Also:

Constant Field Values

SUSPEND

static final java.lang.String SUSPEND

See Also:

Constant Field Values

SUSPENDRESUME

static final java.lang.String SUSPENDRESUME

See Also:

Constant Field Values

SWITCH

static final java.lang.String SWITCH

See Also:

Constant Field Values

THREADACTIVITY

static final java.lang.String THREADACTIVITY

See Also:

Constant Field Values

TIMEOUT

static final java.lang.String TIMEOUT

See Also:

Constant Field Values

TLEXPRS

static final java.lang.String[] TLEXPRS

TLPARAMS

static final java.lang.String[] TLPARAMS

TO

static final java.lang.String TO

See Also:

Constant Field Values

TRIVENI

static final java.lang.String TRIVENI

See Also:

Constant Field Values

TYPE

static final java.lang.String TYPE

See Also:

Constant Field Values

UPDATE

static final java.lang.String UPDATE

See Also:

Constant Field Values

UPDATEHANDLER

static final java.lang.String UPDATEHANDLER

See Also:

Constant Field Values

VALUATOR

static final java.lang.String VALUATOR

See Also:

Constant Field Values

VIOLATED

static final java.lang.String VIOLATED

See Also:

Constant Field Values

WATCHING

static final java.lang.String WATCHING

See Also:

Constant Field Values

Method Detail

act

void act(org.w3c.dom.Node node)

ACT element

activity

void activity(org.w3c.dom.Node node)

ACTIVITY element

activityRef

void activityRef(org.w3c.dom.Node node)

ACTIVITYREF element

allPast

void allPast(org.w3c.dom.Node node)

and

void and(org.w3c.dom.Node node)

assertion

void assertion(org.w3c.dom.Node node)

ASSERTION element

assertt

void assertt(org.w3c.dom.Node node)

ASSERT element

await

void await(org.w3c.dom.Node node)

AWAIT element

awaitOne

void awaitOne(org.w3c.dom.Node node)

AWAITONE element

backTo

void backTo(org.w3c.dom.Node node)

code

void code(org.w3c.dom.Node node)

controllable

void controllable(org.w3c.dom.Node node)

CONTROLLABLE element

cse

void cse(org.w3c.dom.Node node)

CASE element

declare

void declare(org.w3c.dom.Node node)

defult

void defult(org.w3c.dom.Node node)

DEFAULT element

done

void done(org.w3c.dom.Node node)

DONE element

emit

void emit(org.w3c.dom.Node node)

EMIT element

eventLabel

void eventLabel(org.w3c.dom.Node node)

EVENTLABEL element

eventLabels

void eventLabels(org.w3c.dom.Node node)

EVENTLABELS element

expr

void expr(org.w3c.dom.Node node)

EXPR element

exprRef

void exprRef(org.w3c.dom.Node node)

EXPRREF element

exprsRef

void exprsRef(org.w3c.dom.Node node)

EXPRSREF element

iif

void iif(org.w3c.dom.Node node)

IF element

implies

void implies(org.w3c.dom.Node node)

imprt

void imprt(org.w3c.dom.Node node)

label

void label(org.w3c.dom.Node node)

leaf

void leaf(org.w3c.dom.Node node)

local

void local(org.w3c.dom.Node node)

LOCAL element

loop

void loop(org.w3c.dom.Node node)

LOOP element

nil

void nil(org.w3c.dom.Node node)

NIL element

not

void not(org.w3c.dom.Node node)

once

void once(org.w3c.dom.Node node)

onEmit

void onEmit(org.w3c.dom.Node node)

onResume

void onResume(org.w3c.dom.Node node)

onStart

void onStart(org.w3c.dom.Node node)

onStop

void onStop(org.w3c.dom.Node node)

onSuspend

void onSuspend(org.w3c.dom.Node node)

or

void or(org.w3c.dom.Node node)

parallel

void parallel(org.w3c.dom.Node node)

PARALLEL element

param

void param(org.w3c.dom.Node node)

params

void params(org.w3c.dom.Node node)

predicate

void predicate(org.w3c.dom.Node node)

PREDICATE element

previous

void previous(org.w3c.dom.Node node)

rename

void rename(org.w3c.dom.Node node)

RENAME element

retrn

void retrn(org.w3c.dom.Node node)

run

void run(org.w3c.dom.Node node)

satisfied

void satisfied(org.w3c.dom.Node node)

SATISFIED element

sequence

void sequence(org.w3c.dom.Node node)

SEQUENCE element

signature

void signature(org.w3c.dom.Node node)

signatures

void signatures(org.w3c.dom.Node node)

since

void since(org.w3c.dom.Node node)

suspendResume

void suspendResume(org.w3c.dom.Node node)

SUSPENDRESUME

swtch

void swtch(org.w3c.dom.Node node)

SWITCH element

threadActivity

void threadActivity(org.w3c.dom.Node node)

THREADACTIVITY element

timeOut

void timeOut(org.w3c.dom.Node node)

triveni

void triveni(org.w3c.dom.Node node)

top level component

update

void update(org.w3c.dom.Node node)

updateHandler

void updateHandler(org.w3c.dom.Node node)

valuator

void valuator(org.w3c.dom.Node node)

VALUATOR element

violated

void violated(org.w3c.dom.Node node)

VIOLATED element

watching

void watching(org.w3c.dom.Node node)

WATCHING element