Package memory.trailing

Examples of memory.trailing.EnvironmentTrailing.worldPush()

47
48
49
50
51
52
53
54
55
56
57
        Assert.assertFalse(llist.contain(1));
        Assert.assertFalse(llist.contain(2));
        Assert.assertFalse(llist.contain(3));

        environment.worldPush();

        llist.add(1);
        llist.add(2);
        Assert.assertTrue(llist.contain(1));
        Assert.assertTrue(llist.contain(2));
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
        llist.add(2);
        Assert.assertTrue(llist.contain(1));
        Assert.assertTrue(llist.contain(2));
        Assert.assertFalse(llist.contain(3));

        environment.worldPush();

        Assert.assertTrue(llist.contain(1));
        Assert.assertTrue(llist.contain(2));
        Assert.assertFalse(llist.contain(3));
        llist.remove(2);
View Full Code Here
105
106
107
108
109
110
111
112
113
114
115
            Assert.assertFalse(llist.contain(i + 1));

            llist.add(i);
            Assert.assertTrue(llist.contain(i));

            environment.worldPush();
            llist.remove(i);
            llist.add(i + 1);

            environment.worldPush();
            Assert.assertFalse(llist.contain(i));
View Full Code Here
109
110
111
112
113
114
115
116
117
118
119
            environment.worldPush();
            llist.remove(i);
            llist.add(i + 1);

            environment.worldPush();
            Assert.assertFalse(llist.contain(i));
            Assert.assertTrue(llist.contain(i + 1));
            environment.worldPop();
            Assert.assertFalse(llist.contain(i));
            Assert.assertTrue(llist.contain(i + 1));
View Full Code Here
131
132
133
134
135
136
137
138
139
140
141
        EnvironmentTrailing environment = new EnvironmentTrailing();
        Set_Std_LinkedList llist = new Set_Std_LinkedList(environment);

        int n = 49999;

        environment.worldPush();
        for (int i = 0; i < n; i++) {
            llist.add(i);
            Assert.assertTrue(llist.contain(i));
            environment.worldPush();
        }
View Full Code Here
135
136
137
138
139
140
141
142
143
144
145
        environment.worldPush();
        for (int i = 0; i < n; i++) {
            llist.add(i);
            Assert.assertTrue(llist.contain(i));
            environment.worldPush();
        }
        environment.worldPop();
        for (int i = n - 1; i >= 0; i--) {
            Assert.assertTrue(llist.contain(i));
            environment.worldPop();
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
        Assert.assertTrue(set.bundle(b1));
        Assert.assertFalse(set.bundle(b2));
        Assert.assertTrue(set.bundle(b3));
        Assert.assertTrue(set.bundle(b4));

        env.worldPush();
        set.swap(b3); // b3 is now fixed
        int b5 = set.add();

        Assert.assertTrue(set.bundle(b1));
        Assert.assertFalse(set.bundle(b2));
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
        Assert.assertFalse(set.bundle(b2));
        Assert.assertFalse(set.bundle(b3));
        Assert.assertTrue(set.bundle(b4));
        Assert.assertTrue(set.bundle(b5));

        env.worldPush();

        set.swap(b1); // b1 is now fixed

        int b6 = set.add();
        set.swap(b6);
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
    public void test1() {
        IEnvironment environment = new EnvironmentTrailing();
        environment.buildFakeHistoryOn(new Except_0(environment));
        IStateInt a = environment.makeInt(10);
        a.set(11);
        environment.worldPush();

        IStateInt b = environment.makeInt(21);
        a.set(12);
        b.set(22);
        environment.worldPush();
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
        environment.worldPush();

        IStateInt b = environment.makeInt(21);
        a.set(12);
        b.set(22);
        environment.worldPush();

        IStateInt c = environment.makeInt(32);
        a.set(13);
        b.set(23);
        c.set(33);
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.