📄 verificationresult.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Frameset//EN""http://www.w3.org/TR/REC-html40/frameset.dtd"><!--NewPage--><HTML><HEAD><!-- Generated by javadoc on Sat Dec 15 07:40:11 EST 2001 --><TITLE>bcel API: Uses of Class org.apache.bcel.verifier.VerificationResult</TITLE><LINK REL ="stylesheet" TYPE="text/css" HREF="../../../../../stylesheet.css" TITLE="Style"></HEAD><BODY BGCOLOR="white"><!-- ========== START OF NAVBAR ========== --><A NAME="navbar_top"><!-- --></A><TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0"><TR><TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1"><A NAME="navbar_top_firstrow"><!-- --></A><TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3"> <TR ALIGN="center" VALIGN="top"> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html"><FONT CLASS="NavBarFont1"><B>Class</B></FONT></A> </TD> <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Use</B></FONT> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD> </TR></TABLE></TD><TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM></EM></TD></TR><TR><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> PREV NEXT</FONT></TD><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="../../../../../index.html" TARGET="_top"><B>FRAMES</B></A> <A HREF="VerificationResult.html" TARGET="_top"><B>NO FRAMES</B></A></FONT></TD></TR></TABLE><!-- =========== END OF NAVBAR =========== --><HR><CENTER><H2><B>Uses of Class<br>org.apache.bcel.verifier.VerificationResult</B></H2></CENTER><TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TD COLSPAN=2><FONT SIZE="+2">Packages that use <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></FONT></TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD><A HREF="#org.apache.bcel.verifier"><B>org.apache.bcel.verifier</B></A></TD><TD>BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL. </TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD><A HREF="#org.apache.bcel.verifier.statics"><B>org.apache.bcel.verifier.statics</B></A></TD><TD>Provides PassVerifier classes used internally by JustIce. </TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD><A HREF="#org.apache.bcel.verifier.structurals"><B>org.apache.bcel.verifier.structurals</B></A></TD><TD>Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use asa nice side effect. </TD></TR></TABLE> <P><A NAME="org.apache.bcel.verifier"><!-- --></A><TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TD COLSPAN=2><FONT SIZE="+2">Uses of <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A> in <A HREF="../../../../../org/apache/bcel/verifier/package-summary.html">org.apache.bcel.verifier</A></FONT></TD></TR></TABLE> <P><TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"><TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor"><TD COLSPAN=2>Fields in <A HREF="../../../../../org/apache/bcel/verifier/package-summary.html">org.apache.bcel.verifier</A> declared as <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></FONT></TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>static <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>VerificationResult.</B><B><A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html#VR_NOTYET">VR_NOTYET</A></B></CODE><BR> Canonical VerificationResult for not-yet-tried verifications.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>static <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>VerificationResult.</B><B><A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html#VR_OK">VR_OK</A></B></CODE><BR> Canonical VerificationResult for passed verifications.</TD></TR></TABLE> <P><TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"><TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor"><TD COLSPAN=2>Methods in <A HREF="../../../../../org/apache/bcel/verifier/package-summary.html">org.apache.bcel.verifier</A> that return <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></FONT></TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>Verifier.</B><B><A HREF="../../../../../org/apache/bcel/verifier/Verifier.html#doPass1()">doPass1</A></B>()</CODE><BR> Returns the VerificationResult for the given pass.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>Verifier.</B><B><A HREF="../../../../../org/apache/bcel/verifier/Verifier.html#doPass2()">doPass2</A></B>()</CODE><BR> Returns the VerificationResult for the given pass.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>Verifier.</B><B><A HREF="../../../../../org/apache/bcel/verifier/Verifier.html#doPass3a(int)">doPass3a</A></B>(int method_no)</CODE><BR> Returns the VerificationResult for the given pass.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>Verifier.</B><B><A HREF="../../../../../org/apache/bcel/verifier/Verifier.html#doPass3b(int)">doPass3b</A></B>(int method_no)</CODE><BR> Returns the VerificationResult for the given pass.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>PassVerifier.</B><B><A HREF="../../../../../org/apache/bcel/verifier/PassVerifier.html#verify()">verify</A></B>()</CODE><BR> This method runs a verification pass conforming to the Java Virtual Machine Specification, 2nd edition, on a class file.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>abstract <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>PassVerifier.</B><B><A HREF="../../../../../org/apache/bcel/verifier/PassVerifier.html#do_verify()">do_verify</A></B>()</CODE><BR> Does the real verification work, uncached.</TD></TR></TABLE> <P><A NAME="org.apache.bcel.verifier.statics"><!-- --></A><TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TD COLSPAN=2><FONT SIZE="+2">Uses of <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A> in <A HREF="../../../../../org/apache/bcel/verifier/statics/package-summary.html">org.apache.bcel.verifier.statics</A></FONT></TD></TR></TABLE> <P><TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"><TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor"><TD COLSPAN=2>Methods in <A HREF="../../../../../org/apache/bcel/verifier/statics/package-summary.html">org.apache.bcel.verifier.statics</A> that return <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></FONT></TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>Pass2Verifier.</B><B><A HREF="../../../../../org/apache/bcel/verifier/statics/Pass2Verifier.html#do_verify()">do_verify</A></B>()</CODE><BR> Pass 2 is the pass where static properties of the class file are checked without looking into "Code" arrays of methods.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>Pass1Verifier.</B><B><A HREF="../../../../../org/apache/bcel/verifier/statics/Pass1Verifier.html#do_verify()">do_verify</A></B>()</CODE><BR> Pass-one verification basically means loading in a class file.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>Pass3aVerifier.</B><B><A HREF="../../../../../org/apache/bcel/verifier/statics/Pass3aVerifier.html#do_verify()">do_verify</A></B>()</CODE><BR> Pass 3a is the verification of static constraints of JVM code (such as legal targets of branch instructions).</TD></TR></TABLE> <P><A NAME="org.apache.bcel.verifier.structurals"><!-- --></A><TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TD COLSPAN=2><FONT SIZE="+2">Uses of <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A> in <A HREF="../../../../../org/apache/bcel/verifier/structurals/package-summary.html">org.apache.bcel.verifier.structurals</A></FONT></TD></TR></TABLE> <P><TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"><TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor"><TD COLSPAN=2>Methods in <A HREF="../../../../../org/apache/bcel/verifier/structurals/package-summary.html">org.apache.bcel.verifier.structurals</A> that return <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></FONT></TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html">VerificationResult</A></CODE></FONT></TD><TD><CODE><B>Pass3bVerifier.</B><B><A HREF="../../../../../org/apache/bcel/verifier/structurals/Pass3bVerifier.html#do_verify()">do_verify</A></B>()</CODE><BR> Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition.</TD></TR></TABLE> <P><HR><!-- ========== START OF NAVBAR ========== --><A NAME="navbar_bottom"><!-- --></A><TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0"><TR><TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1"><A NAME="navbar_bottom_firstrow"><!-- --></A><TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3"> <TR ALIGN="center" VALIGN="top"> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../org/apache/bcel/verifier/VerificationResult.html"><FONT CLASS="NavBarFont1"><B>Class</B></FONT></A> </TD> <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Use</B></FONT> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD> </TR></TABLE></TD><TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM></EM></TD></TR><TR><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> PREV NEXT</FONT></TD><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="../../../../../index.html" TARGET="_top"><B>FRAMES</B></A> <A HREF="VerificationResult.html" TARGET="_top"><B>NO FRAMES</B></A></FONT></TD></TR></TABLE><!-- =========== END OF NAVBAR =========== --><HR></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -