}
}
} else if (cmd.equals(
Messages.getString("SteuerFenster.ErzeugeHEX"))) {
FileDialog dia;
dia = new FileDialog(this,
Messages.getString("SteuerFenster."
+ "ErzeugeHEXTitel"),
FileDialog.SAVE);
dia.setVisible(true);
if (!(dia.getDirectory() == null)
&& !(dia.getFile() == null)) {
LinkedList<Integer> seq
= this.aktGrph.getRob().erzeugeSequenz(
this.aktGrph.getAktAut());
FileWriter f = new FileWriter(dia.getDirectory()
+ File.separatorChar
+ dia.getFile());
Iterator<Integer> it = seq.iterator();
while (it.hasNext()) {
f.write(it.next().intValue());
}
f.close();
}
} else if (cmd.equals(
Messages.getString("SteuerFenster.Vereinfache"))) {
this.aktGrph.getRob().vAuts()[
this.aktGrph.getAktAut()].vereinfache();
Condition condSimp =
this.aktGrph.getRob().getConds()[
this.aktGrph.getAktAut()].simplify();
this.aktGrph.getRob().setCond(this.aktGrph.getAktAut(),
condSimp);
} else if (cmd.equals(
Messages.getString("SteuerFenster.VereinfacheAlle"))) {
Iterator<Vis> it = this.graphen.iterator();
Condition condSimp;
Vis aktVis;
while (it.hasNext()) {
aktVis = it.next();
for (int i = 0;
i < aktVis.getRob().vAuts().length;
i++) {
aktVis.getRob().vAuts()[i].vereinfache();
condSimp = this.aktGrph.getRob().getConds()[
i].simplify();
this.aktGrph.getRob().setCond(i, condSimp);
aktVis.neuZeichnen();
}
}
} else if (cmd.equals(
Messages.getString("SteuerFenster.InterpretScript"))) {
this.aktGrph.getRob().vAuts()[
this.aktGrph.getAktAut()].erzeugeAusScript(
this.aktGrph.holeAktTxtSeq(), this.pars);
} else if (cmd.equals(
Messages.getString("SteuerFenster.Automatenzahl"))) {
ArrayList<String> b
= new ArrayList<String>(1);
b.add(Messages.getString(
"SteuerFenster.OK"));
GeneralDialog dia2
= new GeneralDialog(
this,
"reef",
"Anzahl der Automaten "
+ "(wirkt sich nur auf zukünftige Roboter aus)",
b,
"" + this.autAnz,
1,
50,
true);
dia2.setVisible(true);
this.autAnz = Integer.parseInt(dia2.getText());
} else if (cmd.equals(
Messages.getString("SteuerFenster.Gesamtautomat"))) {
EndlicherAutomat[] eas = this.aktGrph.getRob().getVAut();
Condition[] conds = this.aktGrph.getRob().getConds();
this.neuerGraph();
this.waehleGraph(this.graphZaehl - 1);
this.aktGrph.erzeugeAktAusSequenz(
StaticMethods.gesamtAutomat(eas, conds, this.pars).erzeugeStringSeq(),
StaticMethods.ausBed("t"),
false);
} else if (cmd.equals(
Messages.getString("SteuerFenster.Fancy"))) {
this.pars.setParValue(eas.statistics.ConstantsStatistics.EINFACHE_DARSTELLUNG,
!this.pars.getParValueBoolean(eas.statistics.ConstantsStatistics.EINFACHE_DARSTELLUNG));
if (this.pars.getParValueBoolean(eas.statistics.ConstantsStatistics.EINFACHE_DARSTELLUNG)) {
this.pars.setParValue(eas.statistics.ConstantsStatistics.BEZIER_KONST,
eas.startSetup.marbBuilder.zeichenModi.ConstantsZeichenModi.BEZ_FANCY);
} else {
this.pars.setParValue(eas.statistics.ConstantsStatistics.BEZIER_KONST,
eas.startSetup.marbBuilder.zeichenModi.ConstantsZeichenModi.BEZ_NORMAL);
}
} else if (cmd.equals("PNG...")) {
FileDialog dia;
String oldVerz;
dia = new FileDialog(this,
"Automatendarstellung als PNG "
+ "speichern",
FileDialog.SAVE);
dia.setFilenameFilter(new FileNamePostfixFilter("png"));
dia.setVisible(true);
if (!(dia.getDirectory() == null)
&& !(dia.getFile() == null)) {
oldVerz = this.pars.getStdDirectory();
this.pars.setStdDirectory(dia.getDirectory());
this.aktGrph.savePNGandPDF(dia.getFile());
this.pars.setStdDirectory(oldVerz);
}
} else if (cmd.equals("Alle löschen!")) {
ArrayList<String> butts = new ArrayList<String>(2);
ArrayList<String> choices = new ArrayList<String>(5);
ArrayList<Boolean> aktiv = new ArrayList<Boolean>(5);
String gra, tra, con, koo, png, tmp, dat, gz, gif, txt;
butts.add("Abbrechen");
butts.add("OK");
gra = "Alle GRA-Dateien löschen";
tra = "Alle TRA-Dateien löschen";
con = "Alle CON-Dateien löschen";
koo = "Alle KOO-Dateien löschen";
png = "Alle PNG-Dateien löschen";
tmp = "Alle TMP-Dateien löschen";
dat = "Alle DAT-Dateien löschen";
gz = "Alle GZ-Dateien löschen";
gif = "Alle GIF-Dateien löschen";
txt = "Alle TXT-Dateien löschen";
choices.add(gra);
aktiv.add(false);
choices.add(tra);
aktiv.add(false);
choices.add(con);
aktiv.add(false);
choices.add(koo);
aktiv.add(true);
choices.add(png);
aktiv.add(true);
choices.add(tmp);
aktiv.add(true);
choices.add(dat);
aktiv.add(true);
choices.add(gz);
aktiv.add(false);
choices.add(gif);
aktiv.add(false);
choices.add(txt);
aktiv.add(false);
CheckboxDialog dia = new CheckboxDialog(
this,
"Geben Sie an, welche Dateitypen aus"
+ " dem Verzeichnis '"
+ this.pars.getStdDirectory()
+ "' gelöscht werden sollen",
"Löschen best�tigen",
butts,
choices,
aktiv);
dia.setVisible(true);
if (dia.getResult().equals("OK")) {
if (dia.getAuswahl().contains(tmp)) {
StaticMethods.deleteALL(
eas.startSetup.marbBuilder.ConstantsGraphVis.TEMP_ENDUNG,
this.pars);
}
if (dia.getAuswahl().contains(con)) {
StaticMethods.deleteALL(
eas.startSetup.marbBuilder.ConstantsGraphVis.BED_ENDUNG,
this.pars);
}
if (dia.getAuswahl().contains(koo)) {
StaticMethods.deleteALL(
eas.startSetup.marbBuilder.ConstantsGraphVis.KOORD_ENDUNG,
this.pars);
}
if (dia.getAuswahl().contains(gra)) {
StaticMethods.deleteALL(
eas.startSetup.marbBuilder.ConstantsGraphVis.GRAPH_ENDUNG,
this.pars);
}
if (dia.getAuswahl().contains(tra)) {
StaticMethods.deleteALL(
eas.startSetup.marbBuilder.ConstantsGraphVis.TRANS_ENDUNG,
this.pars);
}
if (dia.getAuswahl().contains(png)) {
StaticMethods.deleteALL(
eas.startSetup.marbBuilder.ConstantsGraphVis.PNG_ENDUNG,
this.pars);
}
if (dia.getAuswahl().contains(dat)) {
StaticMethods.deleteALL(
"dat",
this.pars);
}
if (dia.getAuswahl().contains(gz)) {
StaticMethods.deleteALL(
"gz",
this.pars);
}
if (dia.getAuswahl().contains(gif)) {
StaticMethods.deleteALL(
"gif",
this.pars);
}
if (dia.getAuswahl().contains(txt)) {
StaticMethods.deleteALL(
"txt",
this.pars);
}
}