1 package acl2s.lib.parse.obj;
2
3 import acl2s.lib.parse.IParseContext;
4 import acl2s.lib.parse.ParseException;
5
6 public class UnpackagedSym extends Sym {
7 private static final long serialVersionUID = 1L;
8
9
10 public UnpackagedSym(String s) {
11 super("", s);
12 }
13
14 public boolean interned() { return false; }
15
16 public UninternedSym resolve(String defaultPackage) {
17 return new UninternedSym(defaultPackage,sym);
18 }
19
20 public Sym resolve(IParseContext pc) throws ParseException {
21 return Sym.create(pc,sym);
22 }
23
24 String computeString(IParseContext pc) {
25 return partToString(sym);
26 }
27
28 public boolean equals(Object o) {
29 if (!(o instanceof Sym)) return false;
30
31 if (o instanceof UnpackagedSym) {
32 UnpackagedSym that = (UnpackagedSym) o;
33 return this.sym.equals(that.sym);
34 } else {
35 throw new UnsupportedOperationException();
36 }
37 }
38
39 public int hashcode() {
|
Event overriding_event: |
The method "acl2s.lib.parse.obj.UnpackagedSym.hashcode()" might be intended to override superclass method of a similar name. |
| Also see events: |
[overridden_event] |
40 throw new UnsupportedOperationException();
41 }
42 }