jsdsi
Class Prover

java.lang.Object
  |
  +--jsdsi.Prover

Direct Known Subclasses:

FProver, RProver

abstract class Prover

extends java.lang.Object

Given a statement (a Cert) and a CertStore, attempts to construct a Proof that the statement holds using certificates from the store.

Author:

Sameer Ajmani

Nested Class Summary

(package private) static class

Prover.ProofFoundException

Field Summary

(package private) MultiMap	check
(package private) MultiMap	compatible
(package private) MultiMap	issuer
(package private) Cert	provee
(package private) MultiMap	reverse
(package private) java.security.cert.CertStore	store
(package private) MultiMap	value

Constructor Summary

(package private)

Prover(Cert c, java.security.cert.CertStore s)

Method Summary

(package private) int	getNumFetched()
Proof	getProof()
(package private) abstract void	insert(Proof p)
(package private) void	insertCertificates(java.util.Collection certs)
(package private) java.util.Set	load(java.util.Set cache, java.lang.Object key, CertSelector sel, MultiMap map)
(package private) abstract Proof	makeProof()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

provee

Cert provee

store

java.security.cert.CertStore store

check

MultiMap check

value

MultiMap value

compatible

MultiMap compatible

issuer

MultiMap issuer

reverse

MultiMap reverse

Constructor Detail

Prover

Prover(Cert c,
       java.security.cert.CertStore s)

Method Detail

getNumFetched

int getNumFetched()

getProof

public final Proof getProof()

makeProof

abstract Proof makeProof()

insert

abstract void insert(Proof p)
              throws Prover.ProofFoundException

Prover.ProofFoundException

insertCertificates

void insertCertificates(java.util.Collection certs)
                  throws Prover.ProofFoundException

Prover.ProofFoundException

load

java.util.Set load(java.util.Set cache,
                   java.lang.Object key,
                   CertSelector sel,
                   MultiMap map)
             throws Prover.ProofFoundException

Prover.ProofFoundException