1 11 package org.eclipse.compare.patch; 12 13 import java.util.HashMap ; 14 15 24 public class PatchConfiguration { 25 26 private int fStripPrefixSegments; 27 private int fFuzz; 28 private boolean fIgnoreWhitespace= false; 29 private boolean fReverse= false; 30 private HashMap properties = new HashMap (); 31 32 36 public boolean isReversed() { 37 return fReverse; 38 } 39 40 44 public void setReversed(boolean reversed) { 45 this.fReverse = reversed; 46 } 47 48 54 public int getPrefixSegmentStripCount() { 55 return fStripPrefixSegments; 56 } 57 58 64 public void setPrefixSegmentStripCount(int stripCount) { 65 this.fStripPrefixSegments = stripCount; 66 } 67 68 75 public int getFuzz() { 76 return fFuzz; 77 } 78 79 83 public void setFuzz(int fuzz) { 84 fFuzz = fuzz; 85 } 86 87 91 public boolean isIgnoreWhitespace() { 92 return fIgnoreWhitespace; 93 } 94 95 99 public void setIgnoreWhitespace(boolean ignoreWhitespace) { 100 fIgnoreWhitespace = ignoreWhitespace; 101 } 102 103 110 public Object getProperty(String key) { 111 return properties.get(key); 112 } 113 114 119 public void setProperty(String key, Object value) { 120 properties.put(key, value); 121 } 122 } 123 | Popular Tags |