public class ContractProofReferencesAnalyst extends java.lang.Object implements IProofReferencesAnalyst
Constructor and Description |
---|
ContractProofReferencesAnalyst() |
Modifier and Type | Method and Description |
---|---|
java.util.LinkedHashSet<IProofReference<?>> |
computeReferences(Node node,
Services services)
Computes the
IProofReference for the given Node which
can be null or an empty set if the applied rule is not supported by this IProofReferencesAnalyst . |
public java.util.LinkedHashSet<IProofReference<?>> computeReferences(Node node, Services services)
IProofReference
for the given Node
which
can be null
or an empty set if the applied rule is not supported by this IProofReferencesAnalyst
.computeReferences
in interface IProofReferencesAnalyst
node
- The Node
to compute its IProofReference
s.services
- The Services
to use.IProofReference
or null
/empty set if the applied rule is not supported.