Searched refs:appendAssertions (Results 1 – 3 of 3) sorted by relevance
1829 void appendAssertions(const Record *Rec) { in appendAssertions() function
2448 NewRec->appendAssertions(Class); in instantiate()
316 CurRec->appendAssertions(SC); in AddSubClass()