Package pt.ul.armus

Examples of pt.ul.armus.DeadlockInfo

68
69
70
71
72
73
74
75
76
77
78
    inOrder.verify(listener).afterAwait();
  }

  @Test
  public void cyclicBarrierAwaitException() throws InterruptedException, BrokenBarrierException {
    DeadlockInfo deadlock = mock(DeadlockInfo.class);
    doThrow(new DeadlockIdentifiedException(deadlock)).when(listener).beforeAwait(barrier);
    try {
      barrier.await();
      fail();
    } catch (DeadlockIdentifiedException e) {
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
    inOrder.verify(jarmus).afterAwait();
  }

  @Test
  public void countDownLatchAwaitException() throws InterruptedException {
    DeadlockInfo deadlock = mock(DeadlockInfo.class);
    doThrow(new DeadlockIdentifiedException(deadlock)).when(jarmus).beforeAwait(latch);
    JArmus.register(latch);
    try {
      latch.await();
      fail();
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
    inOrder.verify(jarmus).afterLock(lock);
  }
 
  @Test
  public void lockFails() {
    DeadlockInfo deadlock = mock(DeadlockInfo.class);
    DeadlockIdentifiedException error = new DeadlockIdentifiedException(deadlock);
    doThrow(error).when(jarmus).beforeLock(lock);
    try {
      lock.lock();
      fail();
View Full Code Here
75
76
77
78
79
80
81
82
83
84
85
    inOrder.verify(jarmus).afterAwaitAdvance();
  }

  @Test
  public void phaserAwaitAdvanceException() {
    DeadlockInfo deadlock = mock(DeadlockInfo.class);
    doThrow(new DeadlockIdentifiedException(deadlock)).when(jarmus).beforeAwaitAdvance(phaser, 0);
    JArmus.register(phaser);
    phaser.arrive();
    try {
      phaser.awaitAdvance(0);
View Full Code Here
TOP

Related Classes of pt.ul.armus.DeadlockInfo

  • pt.ul.jarmus.inst.CountDownLatchTest
  • pt.ul.jarmus.inst.CyclicBarrierTest
  • pt.ul.jarmus.inst.PhaserTest
  • pt.ul.jarmus.inst.ReentrantLockTest
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.