393394395396397398399400401402403
ConstantsDarstellung.OBEN, this.getWidth() - 50, this.getHeight() - 50); } this.zwischenablage = new Zwischenablage(); this.zeichenArt = new ArrowMaster(this.pars); this.selKnot = new Knoten[autAnz]; this.gewKnot = null;
183184185186187188189190191192193
this.removeAll(); this.addWindowListener(new WindHideAdapt()); this.zwischenablage = new Zwischenablage(); this.zeichenArt = new ArrowMaster(this.pars); this.gewKnot = null; this.setLayout(new BorderLayout());
159160161162163164165166167168169
this.removeAll(); this.addWindowListener(new WindHideAdapt()); this.zwischenablage = new Zwischenablage(); this.zeichenArt = new PfeilMaster(this.pars); this.gewKnot = null; this.setLayout(new BorderLayout());
356357358359360361362363364365366
Konstanten.OBEN, this.getWidth() - 50, this.getHeight() - 50); } this.zwischenablage = new Zwischenablage(); this.zeichenArt = new PfeilMaster(this.pars); this.selKnot = new Knoten[autAnz]; this.gewKnot = null;
550551552553554555556
SonstMeth.log(SonstMeth.LOG_STAGE1, "Raw script: " + str, pars); Script s = new Script(str); interp.generateAutomaton(a, s); (new Zwischenablage()).copyToClipboard(a.erzeugeStringSeq()); }