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

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