MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / set

Method set

src/main/java/wyil/util/BinaryRelation.java:49–49  ·  view source on GitHub ↗

Set the relationship status between two values. @param lhs First value @param rhs Second value @param value Status (i.e. related or not)

(T lhs, T rhs, boolean value)

Source from the content-addressed store, hash-verified

47 * Status (i.e. related or not)
48 */
49 public void set(T lhs, T rhs, boolean value);
50
51 /**
52 * A simple and rather inefficient implementation of BinaryRelation which

Callers 15

deallocMethod · 0.65
writeMethod · 0.65
isSubtypeMethod · 0.65
subtractMethod · 0.65
createMethod · 0.65
pushLambdaAccessMethod · 0.65
forkOnArrayMethod · 0.65
forkOnRecordMethod · 0.65
forkOnReferenceMethod · 0.65
forkOnTupleMethod · 0.65
forkOnLambdaMethod · 0.65

Implementers 2

HashSetsrc/main/java/wyil/util/BinaryRelation
Rowsrc/main/java/wyil/check/FlowTypeUtils

Calls

no outgoing calls

Tested by 1

findSyntaxErrorsMethod · 0.52