Code
Hub
Workspaces
Following
Digest
Agents
Trending
Connect
MCP
copy
Index your code
hub
/
github.com/BruceEckel/OnJava8-Examples
/ dump
Method
dump
validating/CircularQueue.java:84–90 ·
view source on GitHub ↗
()
Source
from the content-addressed store, hash-verified
82
return
true;
83
}
84
public
String dump() {
85
return
"in = "
+ in +
86
", out = "
+ out +
87
", full() = "
+ full() +
88
", empty() = "
+ empty() +
89
", CircularQueue = "
+ Arrays.asList(data);
90
}
91
}
Callers
4
invariant
Method · 0.95
showFullness
Method · 0.80
showEmptiness
Method · 0.80
full
Method · 0.80
Calls
2
full
Method · 0.95
empty
Method · 0.95
Tested by
3
showFullness
Method · 0.64
showEmptiness
Method · 0.64
full
Method · 0.64