#include "/include/virtual.h" object virtual_find_object(string name) { return find_object(name); } /* find_object() */ string virtual_file_name(object ob) { string name; int i; if (name = (string)ob->query_property("virtual name")) return name; name = file_name(ob); if (sscanf(name, "%s#%d", name, i) == 2) return name+".c#"+i; return name+".c"; } /* file_name() */