public static class BaseInfGraph.InfFindSafeCapabilities extends BaseInfGraph.InfCapabilities
Constructor and Description |
---|
InfFindSafeCapabilities() |
Modifier and Type | Method and Description |
---|---|
boolean |
findContractSafe()
Answer true if the find() contract on the associated graph is "safe", ie,
can be used safely by the pretty-printer (we'll tighten up that definition).
|
deleteAllowed, iteratorRemoveAllowed, sizeAccurate
addAllowed, addAllowed, canBeEmpty, deleteAllowed, handlesLiteralTyping
public boolean findContractSafe()
Capabilities
findContractSafe
in interface Capabilities
findContractSafe
in class BaseInfGraph.InfCapabilities
Licenced under the Apache License, Version 2.0