public static final class StatementFold.WriteRequirement extends Object
| Modifier and Type | Method and Description |
|---|---|
String |
getBound()
The highest
upstreamCompleteness the write may declare: COMPLETE, PARTIAL or UNKNOWN. |
List<StatementFold.Candidate> |
getCandidates()
The FactCandidates whose target end is the field or contains it; each is a
FIELD_REF input. |
SortedSet<Long> |
getDiagnosticRefs()
The diagnostics of the nodes and holes that lowered the bound; the write must link them.
|
List<StatementFold.FactOccurrence> |
getFacts()
One Occurrence of each Fact into the field; each Fact is a
FIELD_REF input. |
Object |
getTargetRef() |
Set<StatementFold.TerminalInput> |
getTerminals()
The terminals that reach the field through
VALUE micro-edges only. |
String |
toString() |
public Object getTargetRef()
public String getBound()
upstreamCompleteness the write may declare: COMPLETE, PARTIAL or UNKNOWN.public List<StatementFold.FactOccurrence> getFacts()
FIELD_REF input.public List<StatementFold.Candidate> getCandidates()
FIELD_REF input.public Set<StatementFold.TerminalInput> getTerminals()
VALUE micro-edges only.public SortedSet<Long> getDiagnosticRefs()