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

java.lang.Object
  org.mpisws.p2p.testing.transportlayer.peerreview.PRRegressionTest
      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