key/key.core/pipelineTests/innerclass/expected/10_ClassPreparationMethodBuilder/MostSimpleInner.java at da61fdae8100b11b67aa5fbc37e299e4199d55cf · KeYProject/key · GitHub

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
public class MostSimpleInner {

    public static class MyInnerClass {

        @javax.annotation.processing.Generated()
        static private boolean $classInitializationInProgress;

        @javax.annotation.processing.Generated()
        static private boolean $classErroneous;

        @javax.annotation.processing.Generated()
        static private boolean $classInitialized;

        @javax.annotation.processing.Generated()
        static private boolean $classPrepared;

        @javax.annotation.processing.Generated()
        static public model boolean $staticInv;

        @javax.annotation.processing.Generated()
        static public model boolean $staticInv_free;

        public static MyInnerClass $allocate();

        public MyInnerClass() {
        }

        public void $init() {
            super.$init();
            super.$init();
        }

        static private void $clprepare() {
        }
    }

    @javax.annotation.processing.Generated()
    static private boolean $classInitializationInProgress;

    @javax.annotation.processing.Generated()
    static private boolean $classErroneous;

    @javax.annotation.processing.Generated()
    static private boolean $classInitialized;

    @javax.annotation.processing.Generated()
    static private boolean $classPrepared;

    @javax.annotation.processing.Generated()
    static public model boolean $staticInv;

    @javax.annotation.processing.Generated()
    static public model boolean $staticInv_free;

    public static MostSimpleInner $allocate();

    public MostSimpleInner() {
    }

    public void $init() {
        super.$init();
        super.$init();
    }

    static private void $clprepare() {
    }
}