Name: dkR10014 Date: 11/26/2002


------------------------------------------------------------------------------
Test : nsk/jdi/ReferenceType/isVerified/isverified003
Test Base : testbase_nsk
VM : Server, Client
Mode : comp, int, mixed
Platform (s) : solx86, linux, solsparc, win
OS : 5.8, RH7.2, NT/2000
JDK : 1.4.2-b07
------------------------------------------------------------------------------

The test verifies that an implementation of the com.sun.jdi.ReferenceType.isVerified
method conforms with its spec.
   
The test consists of:
  debugger application - nsk.jdi.ReferenceType.isVerified.isverified003,
  debuggee application - nsk.jdi.ReferenceType.isVerified.isverified003a,
  custom-loaded classes - nsk.jdi.ReferenceType.isVerified.isverified003b,
                          nsk.jdi.ReferenceType.isVerified.isverified003c
                      
The test expects that isVerified method returns equal boolean values for two classes
loaded in debuggee by user-defined 'isverified003aClassLoader' loader.
The user-defined loader loads auxuliary classes until preparation point.
Before checking the results of isVerified method for ReferenceTypes for 'isverified003b'
and 'isverified003b' classes, the debugger calls isPrepared method for 'isverified003b'
reference.

Test error diagnostics:

debugee.stderr> debuggee > Checked class loaded but not prepared:
nsk.jdi.ReferenceType.isVerified.isverified003b
debugee.stderr> debuggee > Checked class loaded but not prepared:
nsk.jdi.ReferenceType.isVerified.isverified003c
debugee> debugee's <ready> signal received.
debugger > isPrepared() returned false for class
nsk.jdi.ReferenceType.isVerified.isverified003b (loaded by instance of
nsk.jdi.ReferenceType.isVerified.isverified003aClassLoader(id=197))
# ERROR: debugger FAILURE > isVerified() returned different results :
# ERROR: 'false' for class nsk.jdi.ReferenceType.isVerified.isverified003b (loaded
by instance of nsk.jdi.ReferenceType.isVerified.isverified003aClassLoader(id=197))
# ERROR: 'true' for class nsk.jdi.ReferenceType.isVerified.isverified003c (loaded
by instance of nsk.jdi.ReferenceType.isVerified.isverified003aClassLoader(id=197))

The test passes in jdk1.4.0-FCS and jdk1.4.1-FCS.

The test is available in release r18 of the testbase_nsk.

Steps to reproduce
==================
1. cd /net/sqesvr.sfbay/export/vsn/GammaBase/Bugs/<BugID>
2. sh doit.sh $JAVA_HOME [DEBUGEE_VM_OPTIONS]
      where JAVA_HOME path to Java SDK,
            DEBUGEE_VM_OPTIONS optional parameter for debugged VM options.
            
If you want to run debuggee with java_g command, please edit '-debugee.vmkind' option
in the line #47 of doit.sh script.

======================================================================