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