private static class ProofReferenceUtil.ReferenceAnalaystProofVisitor extends java.lang.Object implements ProofVisitor
KeyProofReferenceUtil#analyzeProof(KeyConnection, Services, Proof)
.Modifier and Type | Field and Description |
---|---|
private ImmutableList<IProofReferencesAnalyst> |
analysts
The
IProofReferencesAnalyst s to use. |
private java.util.LinkedHashSet<IProofReference<?>> |
result
The result.
|
private Services |
services
The
Services to use. |
Constructor and Description |
---|
ReferenceAnalaystProofVisitor(Services services,
ImmutableList<IProofReferencesAnalyst> analysts)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.util.LinkedHashSet<IProofReference<?>> |
getResult()
Returns the result.
|
void |
visit(Proof proof,
Node visitedNode) |
private ImmutableList<IProofReferencesAnalyst> analysts
IProofReferencesAnalyst
s to use.private java.util.LinkedHashSet<IProofReference<?>> result
public ReferenceAnalaystProofVisitor(Services services, ImmutableList<IProofReferencesAnalyst> analysts)
services
- The Services
to use.analysts
- The IProofReferencesAnalyst
s to use.public void visit(Proof proof, Node visitedNode)
visit
in interface ProofVisitor
public java.util.LinkedHashSet<IProofReference<?>> getResult()