public void run() {
// int counter=0;
while (true) {
try {
try {
long curTime = System.currentTimeMillis();
while (!propagateChange
|| ((curTime = System.currentTimeMillis()) - startTime) < millis) {
if (!propagateChange) {
sleep(millis);
} else {
long sleepTime = millis - (curTime - startTime) - 10;
if (sleepTime < 10) break;
sleep(sleepTime);
}
}
propagateChange = false;
// if(counter++ % 10 == 0)
// System.out.println(curTime-startTime+" "+curTime+" "+startTime);
} catch (InterruptedException e) {
ExceptionManager.doError(e);
}
;
try {
synchronized (this) {
((HasBroker) MainWindow.get()).getBroker().propagateChange(UserDefinedFunction.this);
}
} catch (BrokerException e) {
ExceptionManager.doError(e);
}
} catch (Throwable t) {
ExceptionManager.doError(t);
}
} // while
} // run
public void evalFunction() {
try {
if (f != null) {
f.eval();
}
} catch (MathException e) {
ExceptionManager.doError(e);
}
} // evalFunction
public void print() {
PrinterJob printJob = PrinterJob.getPrinterJob();
printJob.setPrintable(this);
if (printJob.printDialog())
try {
printJob.print();
} catch (PrinterException pe) {
ExceptionManager.doError("Error printing: ", pe);
}
}
public Object operator_set_ende(Object[] values) {
Object obj = values[0];
TermNode tm;
if (obj instanceof AffPoint) {
tm = new PathReference((AffPoint) obj, new LinkedList(), broker);
} else {
tm = ((UserFunction) values[0]).getFunction();
}
endPoint.setFunction(tm);
try {
broker.propagateChange(endPoint);
} catch (BrokerException e) {
ExceptionManager.doError("Fehler bei der Methode 'ende' (" + getKey() + ").", e);
}
return null;
} // operator_ende