static-verification_1_3_1.dtd: Elements - Entities - Source | Intro - Index
FRAMES / NO FRAMES

static-verification_1_3_1.dtd

Copyright 2000-2001 Sun Microsystems, Inc. 901 San Antonio Road, Palo Alto, CA 94303, U.S.A. All rights reserved.

This product or document is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation. No part of this product or documentation may be reproduced in any form by any means without prior written authorization of Sun and its licensors, if any.

Third party software, including font technology, is copyrighted and licensed from Sun suppliers.

Sun, Sun Microsystems, the Sun Logo, Solaris, Java, JavaServer Pages, Java Naming and Directory Interface, JDBC, JDK, JavaMail and Enterprise JavaBeans, are trademarks or registered trademarks of Sun Microsystems, Inc in the U.S. and other countries.

All SPARC trademarks are used under license and are trademarks or registered trademarks of SPARC International, Inc. in the U.S. and other countries. Products bearing SPARC trademarks are based upon an architecture developed by Sun Microsystems, Inc.

PostScript is a registered trademark of Adobe Systems, Inc.

Federal Acquisitions: Commercial Software - Government Users Subject to Standard License Terms and Conditions.

DOCUMENTATION IS PROVIDED "AS IS" AND ALL EXPRESS OR IMPLIED CONDITIONS, REPRESENTATIONS AND WARRANTIES, INCLUDING ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT, ARE DISCLAIMED, EXCEPT TO THE EXTENT THAT SUCH DISCLAIMERS ARE HELD TO BE LEGALLY INVALID.

_________________________________________________________________________

Copyright 2000-2001 Sun Microsystems, Inc., 901 San Antonio Road, Palo Alto, CA 94303, Etats-Unis. Tous droits re'serve's.

Ce produit ou document est prote'ge' par un copyright et distribue' avec des licences qui en restreignent l'utilisation, la copie, la distribution, et la de'compilation. Aucune partie de ce produit ou de sa documentation associe'e ne peut e^tre reproduite sous aucune forme, par quelque moyen que ce soit, sans l'autorisation pre'alable et e'crite de Sun et de ses bailleurs de licence, s'il y en a.

Le logiciel de'tenu par des tiers, et qui comprend la technologie relative aux polices de caracte`res, est prote'ge' par un copyright et licencie' par des fournisseurs de Sun.

Sun, Sun Microsystems, le logo Sun, Solaris, Java, JavaServer Pages, Java Naming and Directory Interface, JDBC, JDK, JavaMail, et Enterprise JavaBeans, sont des marques de fabrique ou des marques de'pose'es de Sun Microsystems, Inc. aux Etats-Unis et dans d'autres pays.

Toutes les marques SPARC sont utilise'es sous licence et sont des marques de fabrique ou des marques de'pose'es de SPARC International, Inc. aux Etats-Unis et dans d'autres pays. Les produits portant les marques SPARC sont base's sur une architecture de'veloppe'e par Sun Microsystems, Inc.

Postcript est une marque enregistre'e d'Adobe Systems Inc. LA DOCUMENTATION EST FOURNIE "EN L'ETAT" ET TOUTES AUTRES CONDITIONS, DECLARATIONS ET GARANTIES EXPRESSES OU TACITES SONT FORMELLEMENT EXCLUES, DANS LA MESURE AUTORISEE PAR LA LOI APPLICABLE, Y COMPRIS NOTAMMENT TOUTE GARANTIE IMPLICITE RELATIVE A LA QUALITE MARCHANDE, A L'APTITUDE A UNE UTILISATION PARTICULIERE OU A L'ABSENCE DE CONTREFACON.



<static-verification> Root element

static-verification is used to display the passed/failed/not applicable/warning tests for all the J2EE components. It also records the errors and exceptions that occur in the Verifier tool while trying to verify applications.

<static-verification>'s children
NameCardinality
appclientOne or none
applicationOne or none
connectorOne or none
ejbOne or none
errorOne or none
failure-countOnly one
otherOne or none
webOne or none
Element's model:

(application?, ejb?, web?, appclient?, connector?, other?, error?, failure-count)


<application> Child of static-verification

application element holds results of static checking for the application dtd.

<application>'s children
NameCardinality
failedOne or none
not-applicableOne or none
passedOne or none
warningOne or none
Element's model:

(failed?, passed?, warning?, not-applicable?)


<failed> Child of connector, ejb, other, web, application, appclient

the failed tests generated by the verifier

<failed>'s children
NameCardinality
testAny number
Element's model:

(test*)


<test> Child of passed, warning, failed, not-applicable

test element holds the information about the test such as the name, test assertion ans test description

<test>'s children
NameCardinality
test-assertionOnly one
test-descriptionOnly one
test-nameOnly one
Element's model:

(test-name, test-assertion, test-description)


<test-name> Child of test

test-name is the name of the verifier test which was executed


<test-assertion> Child of test

test-assertion is the description of the test


<test-description> Child of test

test-description is a description of the result of the test


<passed> Child of connector, ejb, other, web, application, appclient

list of tests which passed the verifier checking

<passed>'s children
NameCardinality
testAny number
Element's model:

(test*)


<warning> Child of connector, ejb, other, web, application, appclient

list of warnings produced during the verifier checking

<warning>'s children
NameCardinality
testAny number
Element's model:

(test*)


<not-applicable> Child of connector, ejb, other, web, application, appclient

list of not applicable tests produced during the verifier checking

<not-applicable>'s children
NameCardinality
testAny number
Element's model:

(test*)


<appclient> Child of static-verification

tests specific to the appclients static information

<appclient>'s children
NameCardinality
failedOne or none
not-applicableOne or none
passedOne or none
warningOne or none
Element's model:

(failed?, passed?, warning?, not-applicable?)


<ejb> Child of static-verification

tests specific to ejbs static information

<ejb>'s children
NameCardinality
failedOne or none
not-applicableOne or none
passedOne or none
warningOne or none
Element's model:

(failed?, passed?, warning?, not-applicable?)


<connector> Child of static-verification

tests specific to connectors static information

<connector>'s children
NameCardinality
failedOne or none
not-applicableOne or none
passedOne or none
warningOne or none
Element's model:

(failed?, passed?, warning?, not-applicable?)


<web> Child of static-verification

tests specific to web static information

<web>'s children
NameCardinality
failedOne or none
not-applicableOne or none
passedOne or none
warningOne or none
Element's model:

(failed?, passed?, warning?, not-applicable?)


<other> Child of static-verification

tests specific to other tests written specifically to check the XML file

<other>'s children
NameCardinality
failedOne or none
not-applicableOne or none
passedOne or none
warningOne or none
Element's model:

(failed?, passed?, warning?, not-applicable?)


<error> Child of static-verification

this tag captures the errors that might occur in the Verifier tool while trying to verify an application. An error can be an exception or a case that is not allowed.

<error>'s children
NameCardinality
error-descriptionOnly one
error-nameOnly one
Element's model:

(error-name, error-description)


<error-name> Child of error

name of the java error


<error-description> Child of error

description of what was happening when the error occured


<failure-count> Child of static-verification

this tag holds the counts for failures, warnings and errors

<failure-count>'s children
NameCardinality
error-numberOnly one
failure-numberOnly one
warning-numberOnly one
Element's model:

(failure-number, warning-number, error-number)


<failure-number> Child of failure-count

number of failed tests


<warning-number> Child of failure-count

number of warnings


<error-number> Child of failure-count

number of errors