A C D G H I L M N O P Q R S T U V W

A

activate() - Method in class tron.VirtualThread

The thread is requested to be returned into virtual time framework accounting.

Adapter - Interface in tron

Provides an interface to implementation under test (IUT) for the tester.

addInput(String) - Method in class tron.Reporter

Adds an input channel to the testing interface and returns a channel identifier.

addLevelListener(LevelListener) - Method in class smartlamp.Dimmer

addOutput(String) - Method in class tron.Reporter

Adds an output channel to the testing interface and returns a channel identifier.

addVarToInput(int, String) - Method in class tron.Reporter

Binds a variable to the specified input channel for the variable value to be attached as parameters to an input action on the channel.

addVarToOutput(int, String) - Method in class tron.Reporter

Binds a variable to the specified output channel for the variable value to be attached as parameters to an output action on the channel.

alive - Variable in class smartlamp.Dimmer

AutoOffLightController - Class in smartlamp

AutoOffLightController(int, int) - Constructor for class smartlamp.AutoOffLightController

await() - Method in class tron.VirtualCondition

Blocks the calling thread, releases the associated lock and waits until the condition is signalled.

await(long, TimeUnit) - Method in class tron.VirtualCondition

Blocks the calling thread, releases the associated lock and waits until the condition is signalled or the specified time delay has ellapsed.

awaitNanos(long) - Method in class tron.VirtualCondition

Not implemented in virtual time framework.

awaitUninterruptibly() - Method in class tron.VirtualCondition

Not implemented in virtual time framework.

awaitUntil(Date) - Method in class tron.VirtualCondition

Blocks the calling thread and waits until the condition is signalled or the specified deadline has ellapsed.

C

condBroadcast(VirtualCondition) - Method in class tron.VirtualThread

condDelay(VirtualCondition, long, TimeUnit) - Method in class tron.VirtualThread

condDelay(VirtualCondition, long) - Method in class tron.VirtualThread

condDestroy(VirtualCondition) - Method in class tron.VirtualThread

condInit() - Method in class tron.VirtualThread

condSignal(VirtualCondition) - Method in class tron.VirtualThread

condWait(VirtualCondition) - Method in class tron.VirtualThread

condWait(VirtualCondition, long) - Method in class tron.VirtualThread

configure(Reporter) - Method in interface tron.Adapter

The method is called upon new connection with tester is established.

D

DBG - Static variable in class smartlamp.AutoOffLightController

Controls whether the debug information should be produced into err stream. true enables and false disables debug output.

DBG - Static variable in class smartlamp.Dimmer

Controls whether the debug information should be produced into err stream. true enables and false disables debug output.

DBG - Static variable in class smartlamp.LightController

Controls whether the debug information should be produced into err stream. true enables and false disables debug output.

DBG - Static variable in class tron.Reporter

Controls whether the debug information should be produced into err stream. true enables and false disables debug output.

DBG - Static variable in class tron.VirtualThread

Controls whether the debug information should be produced into err stream. true enables and false disables debug output.

deactivate() - Method in class tron.VirtualThread

The thread is requested to be temporarily removed from virtual time framework accounting.

Dimmer - Class in smartlamp

Dimmer(long, int, int) - Constructor for class smartlamp.Dimmer

disconnect() - Method in class tron.Reporter

Disconnects the connected tester.

G

getErrorMessage(int) - Method in class tron.Reporter

Retrieves the tester error message for the specified error code.

getLevel() - Method in class smartlamp.Dimmer

getMaxLevels() - Method in class smartlamp.Dimmer

getName() - Method in class tron.VirtualCondition

Returns the name of this condition.

getName() - Method in class tron.VirtualLock

Returns the name of this lock.

getOwner() - Method in class tron.VirtualLock

Returns the owner thread of the lock if lock is acquired, returns null if lock is not owned/acquired.

getTime() - Method in class tron.VirtualThread

getTimeMillis() - Static method in class tron.VirtualThread

H

handleEndHold() - Method in class smartlamp.Dimmer

handleGrasp() - Method in class smartlamp.LightController

handleRelease() - Method in class smartlamp.LightController

handleStartHold(long) - Method in class smartlamp.Dimmer

handleTouch() - Method in class smartlamp.AutoOffLightController

handleTouch() - Method in class smartlamp.Dimmer

I

id - Variable in class tron.VirtualCondition

The id of this condition in a remote virtual clock process.

id - Variable in class tron.VirtualLock

The id of this lock in a remote virtual clock process.

isConnected() - Method in class tron.Reporter

Checks whether the tester is connected.

isLocked() - Method in class tron.VirtualLock

Checks whether this lock is acquired/owned/locked.

L

LevelBar - Class in smartlamp

LevelBar(int, int) - Constructor for class smartlamp.LevelBar

LevelBar(LayoutManager) - Constructor for class smartlamp.LevelBar

levelChanged(int) - Method in class smartlamp.AutoOffLightController

levelChanged(int) - Method in class smartlamp.LevelBar

levelChanged(int) - Method in class smartlamp.LevelHistory

levelChanged(int) - Method in class smartlamp.LevelLamp

levelChanged(int) - Method in interface smartlamp.LevelListener

levelChanged(int) - Method in class smartlamp.LightController

LevelHistory - Class in smartlamp

LevelHistory(int, int) - Constructor for class smartlamp.LevelHistory

LevelLamp - Class in smartlamp

LevelLamp(int, int) - Constructor for class smartlamp.LevelLamp

LevelLamp(LayoutManager) - Constructor for class smartlamp.LevelLamp

LevelListener - Interface in smartlamp

LightController - Class in smartlamp

LightController(int, int) - Constructor for class smartlamp.LightController

lock - Variable in class tron.VirtualCondition

The associated lock with this condition.

lock() - Method in class tron.VirtualLock

Acquires the oqnership of this lock.

lockInterruptibly() - Method in class tron.VirtualLock

Not implemented in virtual time framework.

M

main(String[]) - Static method in class smartlamp.AutoOffLightController

main(String[]) - Static method in class smartlamp.LightController

mouseClicked(MouseEvent) - Method in class smartlamp.AutoOffLightController

mouseClicked(MouseEvent) - Method in class smartlamp.LightController

mouseEntered(MouseEvent) - Method in class smartlamp.AutoOffLightController

mouseEntered(MouseEvent) - Method in class smartlamp.LightController

mouseExited(MouseEvent) - Method in class smartlamp.AutoOffLightController

mouseExited(MouseEvent) - Method in class smartlamp.LightController

mousePressed(MouseEvent) - Method in class smartlamp.AutoOffLightController

mousePressed(MouseEvent) - Method in class smartlamp.LightController

mouseReleased(MouseEvent) - Method in class smartlamp.AutoOffLightController

mouseReleased(MouseEvent) - Method in class smartlamp.LightController

mutexDestroy(VirtualLock) - Method in class tron.VirtualThread

mutexInit() - Method in class tron.VirtualThread

mutexLock(VirtualLock) - Method in class tron.VirtualThread

mutexUnlock(VirtualLock) - Method in class tron.VirtualThread

N

newCondition() - Method in class tron.VirtualLock

Creates a condition variable associated with this lock.

newCondition(String) - Method in class tron.VirtualLock

Creates a named condition variable associated with this lock.

O

owner - Variable in class tron.VirtualLock

Current owner thread of this lock, null if not owned.

P

paint(Graphics) - Method in class smartlamp.LevelBar

paint(Graphics) - Method in class smartlamp.LevelHistory

paint(Graphics) - Method in class smartlamp.LevelLamp

perform(int, int[]) - Method in interface tron.Adapter

The method is called when the configured tester is offering an input.

Q

quit() - Method in class tron.VirtualThread

R

realtime() - Static method in class tron.VirtualThread

Returns true if host clock is used instead of virtual time framework.

report(int) - Method in class tron.Reporter

Reports the output action without parameters to the tester.

report(int, int[]) - Method in class tron.Reporter

Reports the output action to the tester.

Reporter - Class in tron

Provides API to the tester via generic TCP/IP socket adapter.

Reporter(Adapter, int) - Constructor for class tron.Reporter

Constructor for listening on ServerSocket port and accepting incoming tester connections.

Reporter(Adapter, String, int) - Constructor for class tron.Reporter

Constructor for connecting to tester process running on specified host and listening to specified TCP/IP port.

run() - Method in class smartlamp.AutoOffLightController

run() - Method in class smartlamp.Dimmer

run() - Method in class smartlamp.LevelHistory

run() - Method in class smartlamp.LightController

run() - Method in class tron.Reporter

The reporter thread is listening for inputs in this method, no external or additional thread creation is required, reporter creates its own thread.

S

SA_Ack - Static variable in class tron.Reporter

Socket adapter command bit for acknowlegding the I/O action transmition (simtime only).

SA_GetError - Static variable in class tron.Reporter

Socket adapter command for requesting explanation of tester's error code.

SA_InpEnc - Static variable in class tron.Reporter

Socket adapter command for requesting an integer encoding of input channel.

SA_OutEnc - Static variable in class tron.Reporter

Socket adapter command for requesting an integer encoding of output channel.

SA_TestExec - Static variable in class tron.Reporter

Socket adapter command for finishing configuration and start testing.

SA_Timeout - Static variable in class tron.Reporter

Socket adapter command for setting the amount of time for testing.

SA_TimeUnit - Static variable in class tron.Reporter

Socket adapter command for setting the value of model time unit.

SA_VarToInp - Static variable in class tron.Reporter

Socket adapter command for adding variable value to input action.

SA_VarToOut - Static variable in class tron.Reporter

Socket adapter command for adding variable value to output action.

setOwner(VirtualThread) - Method in class tron.VirtualLock

Sets the owner of this lock.

setRemoteClock(String, int) - Static method in class tron.VirtualThread

Turn on the virtual time framework, where the clock service is provided at specified network location.

setTimeout(int) - Method in class tron.Reporter

Sets the amount of time units to be allocated for testing.

setTimeUnit(long) - Method in class tron.Reporter

Sets the length of model time units in real world units.

shutdown() - Method in class tron.Reporter

Disconnects, interrupts the serving threads and releases connection resources.

signal() - Method in class tron.VirtualCondition

Selects one thread waiting for this condition and signals it to reacquire the associated lock.

signalAll() - Method in class tron.VirtualCondition

Signals all threads waiting for this condition and lets them to reacquire the associated lock.

smartlamp - package smartlamp

Provides sample smart-lamp implementation under test for Uppaal TRON.

start() - Method in class tron.VirtualThread

Starts this thread.

T

tron - package tron

Provides Uppaal TRON adaptation framework for Java implementations under test (IUT).

TronException - Exception in tron

TronException(String) - Constructor for exception tron.TronException

tryLock() - Method in class tron.VirtualLock

Not implemented in virtual time framework.

tryLock(long, TimeUnit) - Method in class tron.VirtualLock

Not implemented in virtual time framework.

U

unlock() - Method in class tron.VirtualLock

Releases this lock and lets any waiting thread to acquire it.

update(Graphics) - Method in class smartlamp.LevelHistory

update(Graphics) - Method in class smartlamp.LevelLamp

V

VirtualCondition - Class in tron

VirtualCondition replaces the Condition when running within virtual time framework.

VirtualCondition(VirtualLock) - Constructor for class tron.VirtualCondition

Creates virtual condition associated with a lock.

VirtualCondition(VirtualLock, String) - Constructor for class tron.VirtualCondition

Creates virtual condition associated with a lock.

VirtualLock - Class in tron

VirtualLock replaces the Lock when running within virtual time framework.

VirtualLock(String) - Constructor for class tron.VirtualLock

Creates a virtual lock which is located at virtual clock process.

VirtualLock() - Constructor for class tron.VirtualLock

Creates a virtual lock which is located at virtual clock process.

VirtualThread - Class in tron

Virtual time framework thread.

VirtualThread() - Constructor for class tron.VirtualThread

Creates a virtual thread to be used within virtual time framework.

VirtualThread(String) - Constructor for class tron.VirtualThread

Creates a virtual thread with a name to be used within virtual time framework.

VirtualThread(Runnable) - Constructor for class tron.VirtualThread

Creates a virtual thread to be used to run another runnable object within virtual time framework.

VirtualThread(Runnable, String) - Constructor for class tron.VirtualThread

Creates a virtual thread with a name to be used to run another runnable object within virtual time framework.

virtualtime() - Static method in class tron.VirtualThread

Returns true if virtual time framework is used instead of host clock.

W

waitForReady() - Method in class smartlamp.LevelHistory

windowActivated(WindowEvent) - Method in class smartlamp.AutoOffLightController

windowActivated(WindowEvent) - Method in class smartlamp.LightController

windowClosed(WindowEvent) - Method in class smartlamp.AutoOffLightController

windowClosed(WindowEvent) - Method in class smartlamp.LightController

windowClosing(WindowEvent) - Method in class smartlamp.AutoOffLightController

windowClosing(WindowEvent) - Method in class smartlamp.LightController

windowDeactivated(WindowEvent) - Method in class smartlamp.AutoOffLightController

windowDeactivated(WindowEvent) - Method in class smartlamp.LightController

windowDeiconified(WindowEvent) - Method in class smartlamp.AutoOffLightController

windowDeiconified(WindowEvent) - Method in class smartlamp.LightController

windowIconified(WindowEvent) - Method in class smartlamp.AutoOffLightController

windowIconified(WindowEvent) - Method in class smartlamp.LightController

windowOpened(WindowEvent) - Method in class smartlamp.AutoOffLightController

windowOpened(WindowEvent) - Method in class smartlamp.LightController

A C D G H I L M N O P Q R S T U V W