Examples of wycs.solver.Solver$native$Binding

org.apache.tapestry5.Binding

Represents a partial (or complete) binding, as may be encountered during (or at the end) of the binding process. The binding is simply a mapping from quantified variables to their instantiated terms.

The binding must keep track of how many variables have actually been bound. This is because we may not end up instantiating all variables and we must know when this occurs in order to ensure the remaining variables remain quantified afterwards.
@author David J. Pearce


        final SharedHashMap<IntValue, CharSequence> map = new SharedHashMapBuilder()
                .entries(1000)
                .entries(20000).file(getPersistenceFile()).kClass(IntValue.class).vClass(CharSequence.class).create();


        IntValue$$Native value = new IntValue$$Native();
        value.bytes(new ByteBufferBytes(ByteBuffer.allocateDirect(4)), 0);


        value.setValue(1);
        final String expected = "test";
        map.put(value, expected);


        final CharSequence actual = map.get(value);
        assertEquals(expected, actual);

View Full Code Here

    private SharedHashMap<IntValue, CharSequence> map2;
    private IntValue$$Native value;


    @Before
    public void setup() throws IOException {
        value = new IntValue$$Native();
        value.bytes(new ByteBufferBytes(ByteBuffer.allocateDirect(4)), 0);
        map1 = newTcpSocketShmIntValueString((byte) 1, 8076, new InetSocketAddress("localhost", 8077));
        map2 = newTcpSocketShmIntValueString((byte) 2, 8077);
    }

View Full Code Here

    }


    @Test
    public void testAcquireWithNullContainer() throws Exception {
        SharedHashMap<CharSequence, LongValue> map = getSharedMap(10 * 1000, 128, 24);
        map.acquireUsing("key", new LongValue$$Native());
        assertEquals(0, map.acquireUsing("key", null).getValue());


        map.close();
    }

View Full Code Here

    }


    @Test
    public void testGetWithNullContainer() throws Exception {
        SharedHashMap<CharSequence, LongValue> map = getSharedMap(10 * 1000, 128, 24);
        map.acquireUsing("key", new LongValue$$Native());
        assertEquals(0, map.getUsing("key", null).getValue());


        map.close();
    }

View Full Code Here

    }


    @Test
    public void testGetWithoutAcquireFirst() throws Exception {
        SharedHashMap<CharSequence, LongValue> map = getSharedMap(10 * 1000, 128, 24);
        assertNull(map.getUsing("key", new LongValue$$Native()));


        map.close();
    }

View Full Code Here

    }


    public void testAcquireAndGet(SharedHashMap<CharSequence, LongValue> map, int entries)
            throws IOException, ClassNotFoundException, IllegalAccessException,
            InstantiationException {
        LongValue value = new LongValue$$Native();
        LongValue value2 = new LongValue$$Native();
        LongValue value3 = new LongValue$$Native();


        for (int j = 1; j <= 3; j++) {
            for (int i = 0; i < entries; i++) {
                CharSequence userCS = getUserCharSequence(i);


                if (j > 1) {
                    assertNotNull(map.getUsing(userCS, value));
                } else {
                    map.acquireUsing(userCS, value);
                }
                assertEquals(j - 1, value.getValue());


                value.addAtomicValue(1);


                assertEquals(value2, map.acquireUsing(userCS, value2));
                assertEquals(j, value2.getValue());


                assertEquals(value3, map.getUsing(userCS, value3));
                assertEquals(j, value3.getValue());
            }
        }


        map.close();
    }

View Full Code Here


    public void testAcquireFromMultipleThreads(SharedHashMap<CharSequence, LongValue> map)
            throws Exception {


        CharSequence key = getUserCharSequence(0);
        map.acquireUsing(key, new LongValue$$Native());


        int iterations = 1000;
        int noOfThreads = 10;
        CyclicBarrier barrier = new CyclicBarrier(noOfThreads);


        Thread[] threads = new Thread[noOfThreads];
        for (int t = 0; t < noOfThreads; t++) {
            threads[t] = new Thread(new IncrementRunnable(map, key, iterations, barrier));
            threads[t].start();
        }
        for (int t = 0; t < noOfThreads; t++) {
            threads[t].join();
        }


        assertEquals(noOfThreads * iterations, map.acquireUsing(key, new LongValue$$Native()).getValue());


        map.close();
    }

View Full Code Here

            }
        }
    }


    public static LongValue nativeLongValue() {
        return new LongValue$$Native();
    }

View Full Code Here

        }


        @Override
        public void run() {
            try {
                LongValue value = new LongValue$$Native();
                barrier.await();
                for (int i = 0; i < iterations; i++) {
                    map.acquireUsing(key, value);
                    value.addAtomicValue(1);
                }
            } catch (Exception e) {
                e.printStackTrace();
            }
        }

View Full Code Here

    public void is_invariant()
    {
        Page page = newPage(PAGE_NAME);
        Component component = mockComponent();
        ComponentModel model = mockComponentModel();
        Binding binding = mockBinding();
        TypeCoercer coercer = mockTypeCoercer();
        ParameterModel pmodel = mockParameterModel();
        Logger logger = mockLogger();


        train_getLogger(model, logger);

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of wycs.solver.Solver$native$Binding

com.digitolio.jdbi.codegen.codemodel.DAOGenerator

com.sun.tools.internal.xjc.model.CClassInfo

com.sun.tools.internal.xjc.reader.xmlschema.bindinfo.BIProperty

com.sun.tools.xjc.model.CClassInfo

com.sun.tools.xjc.reader.xmlschema.bindinfo.BIProperty

com.sun.xml.internal.xsom.XSComponent

com.sun.xml.xsom.XSComponent

net.openhft.collections.IntValueMapTest

net.openhft.collections.SharedHashMapTest

net.openhft.collections.SharedHashMapTest$IncrementRunnable

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.