Searched refs:allocateLabelID (Results 1 – 2 of 2) sorted by relevance
516 LabelID = Table.allocateLabelID(); in emit()659 [&Table]() { return Table.allocateLabelID(); }); in emit()660 const unsigned Default = Table.allocateLabelID(); in emit()956 unsigned LabelID = Table.allocateLabelID(); in emit()
219 unsigned allocateLabelID() { return CurrentLabelID++; } in allocateLabelID() function