001 /** 002 * This class delegates to java.util.Hashtable 003 * This file was automatically generated by JAC (-g option) 004 * DO NOT MODIFY 005 * Author: Renaud Pawlak (pawlak@cnam.fr) 006 */ 007 008 package org.objectweb.jac.lib.java.util; 009 010 import java.util.Enumeration; 011 import java.util.Map; 012 import java.util.Set; 013 import org.objectweb.jac.util.Strings; 014 015 016 017 public class Hashtable extends java.util.Hashtable { 018 019 //private java.util.Hashtable delegate = new java.util.Hashtable(); 020 021 public Object clone() { 022 System.out.println("Hashtable.clone"); 023 Object result = null; 024 try { 025 result = super.clone(); 026 } catch(Exception e) { 027 }; 028 //((Hashtable)result).delegate=(java.util.Hashtable)delegate.clone(); 029 return result; 030 } 031 032 public Object put(Object p0, Object p1) { 033 return super.put(p0, p1); 034 } 035 036 public Object get(Object p0) { 037 return super.get(p0); 038 } 039 040 public boolean contains(Object p0) { 041 return super.contains(p0); 042 } 043 044 public int size() { 045 return super.size(); 046 } 047 048 public Object remove(Object p0) { 049 return super.remove(p0); 050 } 051 052 public java.util.Collection values() { 053 return super.values(); 054 } 055 056 public java.util.Enumeration elements() { 057 return super.elements(); 058 } 059 060 public void clear() { 061 super.clear(); 062 } 063 064 public Enumeration keys() { 065 return super.keys(); 066 } 067 068 public Set keySet() { 069 return super.keySet(); 070 } 071 072 public Set entrySet() { 073 return super.entrySet(); 074 } 075 076 public boolean isEmpty() { 077 return super.isEmpty(); 078 } 079 080 public boolean containsValue(Object p0) { 081 return super.containsValue(p0); 082 } 083 084 public boolean containsKey(Object p0) { 085 return super.containsKey(p0); 086 } 087 088 public void putAll(Map p0) { 089 super.putAll(p0); 090 } 091 092 public boolean equals(Object o) { 093 return this == o; 094 } 095 096 public int hashCode() { 097 return System.identityHashCode(this); 098 } 099 100 public String toString() { 101 return getClass().getName()+"@"+System.identityHashCode(this); 102 } 103 }