//////////////////////////////////////////////////////////////// // // Utilisation nominale des classes Buffer, Killring et Editor // //////////////////////////////////////////////////////////////// public class Launch { public static void main(String [] args) { Buffer bu = new Buffer("la zone de copie"); KillRing kr = new KillRing(); Editor ed = new Editor(bu,kr); try { System.out.println(ed.getBuffer()); ed.setCursor(3); ed.setMark(7); ed.killRingSave(); ed.setCursor(11); ed.setMark(16); ed.killRegion(); System.out.println(ed.getBuffer()); ed.setCursor(8); ed.yank(); System.out.println(ed.getBuffer()); ed.yankPop(); System.out.println(ed.getBuffer()); } catch (Exception e) { System.out.println(e); } } }