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   	}