public class NodeResult
extends java.lang.Object
| Constructor and Description |
|---|
NodeResult(Result kind2Result,
java.lang.String name) |
| Modifier and Type | Method and Description |
|---|---|
void |
addAnalysis(Analysis analysis)
Add an analysis for this component.
|
void |
analyze()
analyze kind2 output for the current node and its subnodes.
|
java.util.List<Analysis> |
getAnalyses() |
java.util.Set<NodeResult> |
getChildren() |
java.util.Set<Property> |
getFalsifiedProperties() |
Result |
getKind2Result() |
Analysis |
getLastAnalysis() |
java.lang.String |
getName() |
java.util.List<NodeResult> |
getParents() |
java.util.List<Suggestion> |
getSuggestions() |
java.util.Set<Property> |
getUnknownProperties() |
java.util.Set<Property> |
getValidProperties() |
java.lang.String |
printVerificationSummary() |
java.lang.String |
toString() |
public NodeResult(Result kind2Result, java.lang.String name)
public void addAnalysis(Analysis analysis)
analysis - public java.util.List<Suggestion> getSuggestions()
public java.lang.String getName()
public java.lang.String toString()
toString in class java.lang.Objectpublic java.lang.String printVerificationSummary()
public java.util.List<Analysis> getAnalyses()
public java.util.Set<NodeResult> getChildren()
public Analysis getLastAnalysis()
public java.util.List<NodeResult> getParents()
public void analyze()
public Result getKind2Result()
public java.util.Set<Property> getFalsifiedProperties()
public java.util.Set<Property> getValidProperties()
public java.util.Set<Property> getUnknownProperties()