Rice Pastry API

org.mpisws.p2p.testing.transportlayer.peerreview
Class PRNonconform1

java.lang.Object
  extended by org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest
      extended by org.mpisws.p2p.testing.transportlayer.peerreview.PRNonconform1

public class PRNonconform1
extends PRRegressionTest

Bob deviates from the protocol by sending an extra message. Expectation: After the first audit, Bob is exposed by everyone. (PROOF_CONFORMANCE)

Author:
Jeff Hoye

Field Summary
 
Fields inherited from class org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest
EMPTY_ARRAY, recordedStatus
 
Constructor Summary
PRNonconform1()
           
 
Method Summary
 void finish()
           
 org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest.BogusApp getBogusApp(org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest.Player player, PeerReview<org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest.HandleImpl,org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest.IdImpl> pr, Environment env)
           
static void main(java.lang.String[] args)
           
 
Methods inherited from class org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest
addStatusNotification, buildCryptoMaterial, buildPlayers, getIdStrTranslator, getPeerReview, setLoggingParams, setupWitnesses
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PRNonconform1

public PRNonconform1()
              throws java.lang.Exception
Throws:
java.lang.Exception
Method Detail

finish

public void finish()
Overrides:
finish in class PRRegressionTest

getBogusApp

public org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest.BogusApp getBogusApp(org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest.Player player,
                                                                                              PeerReview<org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest.HandleImpl,org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest.IdImpl> pr,
                                                                                              Environment env)
Overrides:
getBogusApp in class PRRegressionTest

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception
Throws:
java.lang.Exception

Rice Pastry API

Copyright © 2001-2005 - Rice Pastry.


Imprint-Dataprotection