MCPcopy Create free account
hub / github.com/SymbolicPathFinder/jpf-symbc / isEmpty

Method isEmpty

src/examples/sequences/Stack.java:47–49  ·  view source on GitHub ↗
( )

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

popMethod · 0.95
printMethodSummaryMethod · 0.80
handleEdgeStartsWithMethod · 0.80
handleEdgeEndsWithMethod · 0.80
handleEdgeContainsMethod · 0.80
handleEdgeTrimMethod · 0.80
handleEdgeConcatMethod · 0.80
handleEdgeIndexOfMethod · 0.80
handleEdgeIndexOf2Method · 0.80
handleEdgeIndexOfCharMethod · 0.80
handleEdgeLastIndexOfCharMethod · 0.80
handleEdgeLastIndexOfChar2Method · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected