コード例 #1
0
ファイル: RaceTest.java プロジェクト: NikolaVeber/nikola-dipl
  @Test
  public void testSameObjectOtherField() {
    if (verifyNoPropertyViolation(LISTENER)) {
      final SharedObject o = new SharedObject();

      Runnable r =
          new Runnable() {

            public void run() {
              o.instanceField = 42;
            }
          };

      Thread t = new Thread(r);

      o.whatEver = -42; // different field, no race
    }
  }
コード例 #2
0
ファイル: RaceTest.java プロジェクト: NikolaVeber/nikola-dipl
 public void run() {
   o.instanceField = 42; // same insn, different 'o', no race
 }