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, 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.