1 21 22 package org.armedbear.j; 23 24 public final class DiffOutputBuffer extends Buffer 25 { 26 private final File directory; 27 private final int vcType; 28 29 public DiffOutputBuffer(Buffer parentBuffer, String output, int vcType) 30 { 31 super(); 32 this.parentBuffer = parentBuffer; 33 directory = 34 (parentBuffer == null) ? null : parentBuffer.getCurrentDirectory(); 35 this.vcType = vcType; 36 init(); 37 setText(output); 38 } 39 40 public DiffOutputBuffer(File directory, String output, int vcType) 41 { 42 super(); 43 this.directory = directory; 44 this.vcType = vcType; 45 init(); 46 setText(output); 47 } 48 49 public final File getCurrentDirectory() 50 { 51 return directory; 52 } 53 54 private void init() 55 { 56 supportsUndo = false; 57 type = TYPE_OUTPUT; 58 mode = DiffMode.getMode(); 59 formatter = new DiffFormatter(this); 60 lineSeparator = System.getProperty("line.separator"); 61 readOnly = true; 62 setProperty(Property.VERTICAL_RULE, 0); 63 setProperty(Property.SHOW_LINE_NUMBERS, false); 64 setTransient(true); 65 setInitialized(true); 66 } 67 68 public final File getDirectory() 69 { 70 return directory; 71 } 72 73 public final int getVCType() 74 { 75 return vcType; 76 } 77 78 public String getFileNameForDisplay() 79 { 80 return title != null ? title : ""; 81 } 82 } 83 | Popular Tags |