Go to the previous, next section.
A name table (class name_table) is a list of name table entries.
The first element of the name table always represents the constant value,
and thus there is no name associated with it.
The following are functions and operations available for
name_table.
In this list of functions,
the symbols nt, nt1 and nt2 are of the class
name_table, the symbol nte is a name_table_entry,
i and j are integers and
im1, im2 ... im16 are immeds.
name_table nt();
nt.init();
name_table nt(nt1);
nt.init(nt1);
nt1.
name_table nt(im1);
name_table nt(im1, im2);
....
name_table nt(im1, im2, ..., im16);
im1 to imn.
name_table nt(i);
nt.init(i);
i = nt.n();
i > 0 .
nte = nt[i];
0 < i <
nt.n() .
i = nt.find(nte);
i = nt.find(im1);
im1) in the name
table. If the name is not in the name table i find() will
return -1.
nt.remove(i);
nt.remove(i, j);
nt.insert(nte, i);
nt.insert(im1, i);
nt = nt1 & nt2;
nt = name_table::mk_align(nt1, nt2);
boolean b = name_table::is_aligned(nt1, nt2);
FILE * fp;
nt.print(fp);
Go to the previous, next section.