1 11 package org.eclipse.jdt.internal.ui.text; 12 13 14 15 24 public final class TypingRun { 25 29 public static final ChangeType DELETE= new ChangeType(true, "DELETE"); 34 public static final ChangeType INSERT= new ChangeType(true, "INSERT"); 38 public static final ChangeType NO_CHANGE= new ChangeType(false, "NO_CHANGE"); 43 public static final ChangeType OVERTYPE= new ChangeType(true, "OVERTYPE"); 48 public static final ChangeType SELECTION= new ChangeType(false, "SELECTION"); 56 public static final ChangeType UNKNOWN= new ChangeType(true, "UNKNOWN"); 58 59 64 public static final class ChangeType { 65 private final boolean fIsModification; 66 private final String fName; 67 68 69 private ChangeType(boolean isRunPart, String name) { 70 fIsModification= isRunPart; 71 fName= name; 72 } 73 74 80 boolean isModification() { 81 return fIsModification; 82 } 83 84 87 public String toString() { 88 return fName; 89 } 90 } 91 92 97 TypingRun(ChangeType type) { 98 this.type= type; 99 } 100 101 102 public final ChangeType type; 103 } 104 | Popular Tags |