instructioncontext.html

一个用于对.class文件进行插桩的开源工具

<!-- ========= CONSTRUCTOR DETAIL ======== -->


<!-- ============ METHOD DETAIL ========== -->

<A NAME="method_detail"><!-- --></A>
<TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TD COLSPAN=1><FONT SIZE="+2">
<B>Method Detail</B></FONT></TD>
</TR>
</TABLE>

<A NAME="getTag()"><!-- --></A><H3>
getTag</H3>
<PRE>
public int <B>getTag</B>()</PRE>
<DL>
<DD>The getTag and setTag methods may be used for
 temporary flagging, such as graph colouring.
 Nothing in the InstructionContext object depends
 on the value of the tag. JustIce does not use it.<DD><DL>
<DT><B>See Also: </B><DD><A HREF="../../../../../org/apache/bcel/verifier/structurals/InstructionContext.html#setTag(int)"><CODE>setTag(int tag)</CODE></A></DL>
</DD>
</DL>
<HR>

<A NAME="setTag(int)"><!-- --></A><H3>
setTag</H3>
<PRE>
public void <B>setTag</B>(int&nbsp;tag)</PRE>
<DL>
<DD>The getTag and setTag methods may be used for
 temporary flagging, such as graph colouring.
 Nothing in the InstructionContext object depends
 on the value of the tag. JustIce does not use it.<DD><DL>
<DT><B>See Also: </B><DD><A HREF="../../../../../org/apache/bcel/verifier/structurals/InstructionContext.html#getTag()"><CODE>getTag()</CODE></A></DL>
</DD>
</DL>
<HR>

<A NAME="execute(org.apache.bcel.verifier.structurals.Frame, java.util.ArrayList, org.apache.bcel.verifier.structurals.InstConstraintVisitor, org.apache.bcel.verifier.structurals.ExecutionVisitor)"><!-- --></A><H3>
execute</H3>
<PRE>
public boolean <B>execute</B>(<A HREF="../../../../../org/apache/bcel/verifier/structurals/Frame.html">Frame</A>&nbsp;inFrame,
                       java.util.ArrayList&nbsp;executionPredecessors,
                       <A HREF="../../../../../org/apache/bcel/verifier/structurals/InstConstraintVisitor.html">InstConstraintVisitor</A>&nbsp;icv,
                       <A HREF="../../../../../org/apache/bcel/verifier/structurals/ExecutionVisitor.html">ExecutionVisitor</A>&nbsp;ev)</PRE>
<DL>
<DD>This method symbolically executes the Instruction
 held in the InstructionContext.
 It "merges in" the incoming execution frame situation
 (see The Java Virtual Machine Specification, 2nd
 edition, page 146).
 By so doing, the outgoing execution frame situation
 is calculated.

 This method is JustIce-specific and is usually of
 no sense for users of the ControlFlowGraph class.
 They should use getInstruction().accept(Visitor),
 possibly in conjunction with the ExecutionVisitor.<DD><DL>
<DT><B>Returns:</B><DD>true -  if and only if the "outgoing" frame situation
 changed from the one before execute()ing.<DT><B>See Also: </B><DD><A HREF="../../../../../org/apache/bcel/verifier/structurals/ControlFlowGraph.html"><CODE>ControlFlowGraph</CODE></A>, 
<A HREF="../../../../../org/apache/bcel/verifier/structurals/ExecutionVisitor.html"><CODE>ExecutionVisitor</CODE></A>, 
<A HREF="../../../../../org/apache/bcel/verifier/structurals/InstructionContext.html#getOutFrame(java.util.ArrayList)"><CODE>getOutFrame(ArrayList)</CODE></A></DL>
</DD>
</DL>
<HR>

<A NAME="getOutFrame(java.util.ArrayList)"><!-- --></A><H3>
getOutFrame</H3>
<PRE>
public <A HREF="../../../../../org/apache/bcel/verifier/structurals/Frame.html">Frame</A> <B>getOutFrame</B>(java.util.ArrayList&nbsp;executionPredecessors)</PRE>
<DL>
<DD>This method returns the outgoing execution frame situation;
 therefore <B>it has to be calculated by execute(Frame, ArrayList)
 first.</B><DD><DL>
<DT><B>See Also: </B><DD><A HREF="../../../../../org/apache/bcel/verifier/structurals/InstructionContext.html#execute(org.apache.bcel.verifier.structurals.Frame, java.util.ArrayList, org.apache.bcel.verifier.structurals.InstConstraintVisitor, org.apache.bcel.verifier.structurals.ExecutionVisitor)"><CODE>execute(Frame, ArrayList, InstConstraintVisitor, ExecutionVisitor)</CODE></A></DL>
</DD>
</DL>
<HR>

<A NAME="getInstruction()"><!-- --></A><H3>
getInstruction</H3>
<PRE>
public <A HREF="../../../../../org/apache/bcel/generic/InstructionHandle.html">InstructionHandle</A> <B>getInstruction</B>()</PRE>
<DL>
<DD>Returns the InstructionHandle this InstructionContext is wrapped around.<DD><DL>
<DT><B>Returns:</B><DD>The InstructionHandle this InstructionContext is wrapped around.</DL>
</DD>
</DL>
<HR>

<A NAME="getSuccessors()"><!-- --></A><H3>
getSuccessors</H3>
<PRE>
public <A HREF="../../../../../org/apache/bcel/verifier/structurals/InstructionContext.html">InstructionContext</A>[] <B>getSuccessors</B>()</PRE>
<DL>
<DD>Returns the usual control flow successors.<DD><DL>
<DT><B>See Also: </B><DD><A HREF="../../../../../org/apache/bcel/verifier/structurals/InstructionContext.html#getExceptionHandlers()"><CODE>getExceptionHandlers()</CODE></A></DL>
</DD>
</DL>
<HR>

<A NAME="getExceptionHandlers()"><!-- --></A><H3>
getExceptionHandlers</H3>
<PRE>
public <A HREF="../../../../../org/apache/bcel/verifier/structurals/ExceptionHandler.html">ExceptionHandler</A>[] <B>getExceptionHandlers</B>()</PRE>
<DL>
<DD>Returns the exception handlers that protect this instruction.
 They are special control flow successors.</DL>
<!-- ========= END OF CLASS DATA ========= -->
<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>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="class-use/InstructionContext.html"><FONT CLASS="NavBarFont1"><B>Use</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A>&nbsp;</TD>
  </TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>

<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
&nbsp;PREV CLASS&nbsp;
&nbsp;<A HREF="../../../../../org/apache/bcel/verifier/structurals/Subroutine.html"><B>NEXT CLASS</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
  <A HREF="../../../../../index.html" TARGET="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="InstructionContext.html" TARGET="_top"><B>NO FRAMES</B></A></FONT></TD>
</TR>
<TR>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
  SUMMARY: &nbsp;INNER&nbsp;|&nbsp;FIELD&nbsp;|&nbsp;CONSTR&nbsp;|&nbsp;<A HREF="#method_summary">METHOD</A></FONT></TD>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
DETAIL: &nbsp;FIELD&nbsp;|&nbsp;CONSTR&nbsp;|&nbsp;<A HREF="#method_detail">METHOD</A></FONT></TD>
</TR>
</TABLE>
<!-- =========== END OF NAVBAR =========== -->

<HR>

</BODY>
</HTML>