Lines Matching refs:Precondition
681 // Precondition: __begin_ == __end_ == __end_cap() == 0
682 // Precondition: __n > 0
971 // Precondition: __new_size > capacity()
989 // Precondition: __n > 0
990 // Precondition: size() + __n <= capacity()
1006 // Precondition: __n > 0
1007 // Precondition: size() + __n <= capacity()
2335 // Precondition: __begin_ == __end_ == __cap() == 0
2336 // Precondition: __n > 0
2457 // Precondition: __new_size > capacity()
2473 // Precondition: __n > 0
2474 // Precondition: size() + __n <= capacity()