* Der Zusatzparameter.
*/
@Override
public void update(final Observable o, final Object arg) {
Knoten k;
AutomatenNummer aN;
ConditionNummer cN;
int autNum;
if (arg == null) {
return;
}
if (arg.getClass().equals(Integer.class)) {
// Neuer Automat wurde ausgewählt.
autNum = ((Integer) arg).intValue();
this.benutztAut = autNum;
this.selectAktAut(false, autNum);
} else if (arg.getClass().equals(Knoten.class)) {
// Neuer Knoten wurde ausgewählt.
k = (Knoten) arg;
this.selKnoten(k, this.benutztAut);
} else if (arg.getClass().equals(AutomatenNummer.class)) {
// Sequenz wurde verändert.
aN = (AutomatenNummer) arg;
this.erzeugeAusSequenz(aN.getAutNum(),
aN.getSequenz(),
null,
false);
} else if (arg.getClass().equals(ConditionNummer.class)) {
// Bedingungen wurden verändert.
cN = (ConditionNummer) arg;