cz.cuni.pogamut.posh.view

Class KidViewElement.SourceUpdater

java.lang.Object

cz.cuni.pogamut.posh.view.KidViewElement.SourceUpdater

All Implemented Interfaces:

Runnable

Enclosing class:

KidViewElement

public static final class KidViewElement.SourceUpdater
extends Object
implements Runnable

Updater of source. KidViewElement registers global listener to this class and when tree changes, this updates document with posh plan.

Method Summary

Methods

Modifier and Type	Method and Description
void	run()
void	update()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

update

public void update()

run

public void run()

Specified by:

run in interface Runnable