public TypeRef GetTypeRef (string name)
{
TypeRef tr = null;
if (typeref_table == null)
typeref_table = new Hashtable ();
else
tr = typeref_table [name] as TypeRef;
if (tr == null) {
tr = new TypeRef (name, false, null);
typeref_table [name] = tr;
}
return tr;
}