buttons.add(ja);
buttons.add(nein);
buttons.add(alle);
buttons.add(keiner);
buttons.add(abbrechen);
AllgemeinerDialog nachfrage;
nachfrage = new AllgemeinerDialog(this, Messages
.getString("Vis.SollDerEndlicheAutomat")
+ this.robName + Messages.getString("Vis.GespeichertWerden"),
Messages.getString("Vis.saveGraph"), buttons, null);
if (!anweisung.equals(alle) && !anweisung.equals(keiner)) {
nachfrage.setVisible(true);
}
if (anweisung.equals(alle) || nachfrage.getResult().equals(ja)
|| nachfrage.getResult().equals(alle)) {
this.rob.speichereAuts(this.robName);
if (this.pars.getpngAutSp()) {
this.savePNG(this.robName);
}
try {
FileOutputStream fs = new FileOutputStream(pfad + this.robName
+ "." + fmg.fmg8.graphVis.Konstanten.KOORD_ENDUNG);
ObjectOutputStream os = new ObjectOutputStream(fs);
os.writeObject(this.darstArten);
os.close();
} catch (Exception e) {
throw new RuntimeException(e);
}
}
if (anweisung.equals(alle) || anweisung.equals(keiner)) {
return anweisung;
} else {
return nachfrage.getResult();
}
}