Examples of registerClass()


Examples of gov.nasa.jpf.vm.ClassInfo.registerClass()

        // Used to store instance fields
        DynamicElementInfo dei = (DynamicElementInfo) env.getHeap().get(JPFRef);
        ClassInfo JPFCl = dei.getClassInfo();

        if (!JPFCl.isRegistered()){
          JPFCl.registerClass(env.getThreadInfo());
        }
       
        // we treat Strings differently
        if(JPFCl.isStringClassInfo()) {
          JVMObj = createStringObject(JPFRef, env);
View Full Code Here

Examples of gov.nasa.jpf.vm.ClassInfo.registerClass()

        /**
         * If the corresponding ClassInfo does not exist, a new ClassInfo object
         * is created and will be added to the loadedClasses.
         */
        if (!JPFCls.isRegistered()){
          JPFCls.registerClass(env.getThreadInfo());
          sei = JPFCls.getStaticElementInfo();
          JPFClsRef = sei.getObjectRef();
        } else {
          sei = JPFCls.getModifiableStaticElementInfo();
        }
View Full Code Here

Examples of org.apache.axis.utils.AxisClassLoader.registerClass()

    public void testRegisterClassNameClass()
    {
  AxisClassLoader acl = AxisClassLoader.getClassLoader();
        java.util.Stack stack = new java.util.Stack(); //Stack was chosen arbitrarily
        Class clazz = stack.getClass();
        acl.registerClass("myStack",clazz);
        assertTrue(acl.isClassRegistered("myStack"));
    }

    public void testIsClassRegistered()
    {
View Full Code Here

Examples of org.apache.axis.utils.AxisClassLoader.registerClass()

    public void testIsClassRegistered()
    {
  AxisClassLoader acl = AxisClassLoader.getClassLoader();
        java.util.Stack stack = new java.util.Stack(); //Stack was chosen arbitrarily
        Class clazz = stack.getClass();
        acl.registerClass("anotherStack",clazz);
        if (acl.isClassRegistered("noStack"))
        {
            fail("Nonce class name should not be registered.");
        }
        assertTrue(acl.isClassRegistered("anotherStack"));
View Full Code Here

Examples of org.apache.axis.utils.AxisClassLoader.registerClass()

    public void testDeregisterClass()
    {
  AxisClassLoader acl = AxisClassLoader.getClassLoader();
        java.util.Stack stack = new java.util.Stack(); //Stack was chosen arbitrarily
        Class clazz = stack.getClass();
        acl.registerClass("myStack",clazz);
        assertTrue(acl.isClassRegistered("myStack"));
        acl.deregisterClass("myStack");
        if (acl.isClassRegistered("myStack"))
        {
            fail("Class should have been deregistered.");
View Full Code Here

Examples of org.apache.axis.utils.AxisClassLoader.registerClass()

        Class clazz = acl.loadClass("java.util.BitSet"); //BitSet was chosen arbitrarily
        assertTrue(clazz.getName().equals("java.util.BitSet"));

        java.util.Stack stack = new java.util.Stack(); //Stack was chosen arbitrarily
        Class clazz1 = stack.getClass();
        acl.registerClass("myStack",clazz1);
        Class klass = acl.loadClass("myStack");
        assertTrue(klass.getName().equals("java.util.Stack"));
    }

    public void testLookup() throws ClassNotFoundException
View Full Code Here

Examples of org.apache.axis.utils.AxisClassLoader.registerClass()

                AxisClassLoader.removeClassLoader( clsName );
            }
            AxisClassLoader cl = msgContext.getClassLoader();
            if ( !cl.isClassRegistered(clsName) )
                cl.registerClass( clsName, cFile );
            msgContext.setClassLoader( cl );

            /* Create a new RPCProvider - this will be the "service"   */
            /* that we invoke.                                                */
            /******************************************************************/
 
View Full Code Here

Examples of org.apache.axis.utils.AxisClassLoader.registerClass()

                AxisClassLoader.removeClassLoader( clsName );
            }
            AxisClassLoader cl = msgContext.getClassLoader( clsName );
            if ( !cl.isClassRegistered(clsName) )
                cl.registerClass( clsName, cFile );
            msgContext.setClassLoader( cl );

            /* Create a new RPCProvider - this will be the "service"   */
            /* that we invoke.                                                */
            /******************************************************************/
 
View Full Code Here

Examples of org.apache.axis.utils.AxisClassLoader.registerClass()

    public void testRegisterClassNameClass()
    {
  AxisClassLoader acl = AxisClassLoader.getClassLoader();
        java.util.Stack stack = new java.util.Stack(); //Stack was chosen arbitrarily
        Class clazz = stack.getClass();
        acl.registerClass("myStack",clazz);
        assertTrue(acl.isClassRegistered("myStack"));
    }

    public void testIsClassRegistered()
    {
View Full Code Here

Examples of org.apache.axis.utils.AxisClassLoader.registerClass()

    public void testIsClassRegistered()
    {
  AxisClassLoader acl = AxisClassLoader.getClassLoader();
        java.util.Stack stack = new java.util.Stack(); //Stack was chosen arbitrarily
        Class clazz = stack.getClass();
        acl.registerClass("anotherStack",clazz);
        if (acl.isClassRegistered("noStack"))
        {
            fail("Nonce class name should not be registered.");
        }
        assertTrue(acl.isClassRegistered("anotherStack"));
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.