File: if_acmp1.java

package info (click to toggle)
cbmc 5.2-1~bpo8%2B1
  • links: PTS
  • area: main
  • in suites: jessie-backports
  • size: 84,268 kB
  • sloc: cpp: 177,758; ansic: 32,485; yacc: 3,550; lex: 1,778; makefile: 1,071; java: 1,039; sh: 717; python: 649; perl: 246; pascal: 141
file content (36 lines) | stat: -rw-r--r-- 569 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
 
class A {
}

class B {
}

class if_acmp1
{
  private static B get_B() {
    B b = new B();
    return b;
  }

  public static void main(String[] args) {
    A a0 = new A();
    A a1 = new A();
    A a2 = new A();
    A a3 = new A();
    A a4 = new A();
    assert a0 == a0;
    assert a1 == a1;
    assert a2 == a2;
    assert a3 == a3;
    assert a4 == a4;
    assert a1 != a2;
    assert a2 != a3;
    assert a3 != a4;
    assert a0 != null;
    A a5 = null;
    assert a5 == null;
    B b = get_B();
    Object o0 = a0;
    Object o1 = b;
    assert o0 != o1;
  }
}