52 public Tree withName(String newName) { 53 return name.equals(newName)? this : new Tree(c, newName); 54 } 55 56 public final String name() { 57 return name; 58 } 59 60 public final SourceLocation location() { 61 return c.getSourceLocation(); 62 } 63 64 public final String USR() { 65 return c.USR(); 66 } 67 68 public final boolean isDeclaration() { 69 return c.isDeclaration(); 70 } 71 72 public final boolean isDefinition() { 73 return c.isDefinition(); 74 } 75 76 public final boolean isPreprocessing() { 77 return c.isPreprocessing(); 78 } 79 80 public final boolean isFromMain() { 81 return location().isFromMainFile(); 82 } 83 84 public final boolean isFromSystem() { 85 return location().isInSystemHeader(); 86 } 87 88 @Override 89 public final boolean equals(Object obj) { 90 if (this == obj) { 91 return true; 92 } 93 94 if (!(obj instanceof Tree)) { 95 return false; 96 } 97 98 Tree t = (Tree)obj; 99 return name.equals(t.name()) && c.equals(t.cursor()); | 52 public Tree withName(String newName) { 53 return name.equals(newName)? this : new Tree(c, newName); 54 } 55 56 public final String name() { 57 return name; 58 } 59 60 public final SourceLocation location() { 61 return c.getSourceLocation(); 62 } 63 64 public final String USR() { 65 return c.USR(); 66 } 67 68 public final boolean isDeclaration() { 69 return c.isDeclaration(); 70 } 71 72 public final boolean isInvalid() { 73 return c.isInvalid(); 74 } 75 76 public final boolean isPreprocessing() { 77 return c.isPreprocessing(); 78 } 79 80 public final boolean isDefinition() { 81 return c.isDefinition(); 82 } 83 84 public final boolean isFromMain() { 85 return location().isFromMainFile(); 86 } 87 88 public final boolean isFromSystem() { 89 return location().isInSystemHeader(); 90 } 91 92 @Override 93 public final boolean equals(Object obj) { 94 if (this == obj) { 95 return true; 96 } 97 98 if (!(obj instanceof Tree)) { 99 return false; 100 } 101 102 Tree t = (Tree)obj; 103 return name.equals(t.name()) && c.equals(t.cursor()); |