carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-06 07:34:45 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Restructure CHECK to provide a stream (#660)

Browse Source
This commit is contained in:
Jon Meow
2021-07-20 11:52:24 -07:00
committed by GitHub
parent d5124256a2
commit 1ddb1a264a
4 changed files with 77 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
executable_semantics/interpreter/stack.h
+4 -4
View File
@@ -73,7 +73,7 @@ struct Stack {
//
// - Requires: !this->IsEmpty()
auto Pop() -> T {
CHECK(!IsEmpty() && "Can't pop from empty stack.");
CHECK(!IsEmpty()) << "Can't pop from empty stack.";
auto r = head->curr;
head = head->next;
return r;
@@ -83,9 +83,9 @@ struct Stack {
//
// - Requires: n >= 0 && n <= Count()
void Pop(int n) {
CHECK(n >= 0 && "Negative pop count disallowed.");
CHECK(n >= 0) << "Negative pop count disallowed.";
while (n--) {
CHECK(head != nullptr && "Can only pop as many elements as stack has.");
CHECK(head != nullptr) << "Can only pop as many elements as stack has.";
head = head->next;
}
}
@@ -103,7 +103,7 @@ struct Stack {
//
// - Requires: !this->IsEmpty()
auto Top() const -> T {
CHECK(!IsEmpty() && "Empty stack has no Top().");
CHECK(!IsEmpty()) << "Empty stack has no Top().";
return head->curr;
}