Java Doc for MethodInfo.java in  » Code-Analyzer » javapathfinder » gov » nasa » jpf » jvm » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation 1.  6.0 JDK Core 2.  6.0 JDK Modules 3.  6.0 JDK Modules com.sun 4.  6.0 JDK Modules com.sun.java 5.  6.0 JDK Modules sun 6.  6.0 JDK Platform 7.  Ajax 8.  Apache Harmony Java SE 9.  Aspect oriented 10.  Authentication Authorization 11.  Blogger System 12.  Build 13.  Byte Code 14.  Cache 15.  Chart 16.  Chat 17.  Code Analyzer 18.  Collaboration 19.  Content Management System 20.  Database Client 21.  Database DBMS 22.  Database JDBC Connection Pool 23.  Database ORM 24.  Development 25.  EJB Server geronimo 26.  EJB Server GlassFish 27.  EJB Server JBoss 4.2.1 28.  EJB Server resin 3.1.5 29.  ERP CRM Financial 30.  ESB 31.  Forum 32.  GIS 33.  Graphic Library 34.  Groupware 35.  HTML Parser 36.  IDE 37.  IDE Eclipse 38.  IDE Netbeans 39.  Installer 40.  Internationalization Localization 41.  Inversion of Control 42.  Issue Tracking 43.  J2EE 44.  JBoss 45.  JMS 46.  JMX 47.  Library 48.  Mail Clients 49.  Net 50.  Parser 51.  PDF 52.  Portal 53.  Profiler 54.  Project Management 55.  Report 56.  RSS RDF 57.  Rule Engine 58.  Science 59.  Scripting 60.  Search Engine 61.  Security 62.  Sevlet Container 63.  Source Control 64.  Swing Library 65.  Template Engine 66.  Test Coverage 67.  Testing 68.  UML 69.  Web Crawler 70.  Web Framework 71.  Web Mail 72.  Web Server 73.  Web Services 74.  Web Services apache cxf 2.0.1 75.  Web Services AXIS2 76.  Wiki Engine 77.  Workflow Engines 78.  XML 79.  XML UI Java Java Tutorial Java Open Source Jar File Download Java Articles Java Products Java by API Photoshop Tutorials Maya Tutorials Flash Tutorials 3ds-Max Tutorials Illustrator Tutorials GIMP Tutorials C# / C Sharp C# / CSharp Tutorial C# / CSharp Open Source ASP.Net ASP.NET Tutorial JavaScript DHTML JavaScript Tutorial JavaScript Reference HTML / CSS HTML CSS Reference C / ANSI-C C Tutorial C++ C++ Tutorial Ruby PHP Python Python Tutorial Python Open Source SQL Server / T-SQL SQL Server / T-SQL Tutorial Oracle PL / SQL Oracle PL/SQL Tutorial PostgreSQL SQL / MySQL MySQL Tutorial VB.Net VB.Net Tutorial Flash / Flex / ActionScript VBA / Excel / Access / Word XML XML Tutorial Microsoft Office PowerPoint 2007 Tutorial Microsoft Office Excel 2007 Tutorial Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » Code Analyzer » javapathfinder » gov.nasa.jpf.jvm   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    gov.nasa.jpf.jvm.MethodInfo MethodInfo public class MethodInfo implements Cloneable(Code) information associated with a method. Each method in JPF is represented by a MethodInfo object Field Summary final static  int MJI_COND_DETERMINISTIC      final static  int MJI_COND_EXECUTABLE      final static  int MJI_NATIVE      final static  int MJI_NONDETERMINISTIC      final static  int MJI_NONE      final public static  int SR_ALWAYS      final public static  int SR_NEVER      final public static  int SR_NEVERBODY      final public static  int SR_RUNNABLES      final public static  int SR_SYNC      protected  ClassInfo ci      Class the method belongs to. protected  Instruction[] code      Instructions associated with the method. protected  ExceptionHandler[] exceptions      Exception handlers. protected  boolean isAtomic      protected  boolean isNative      Native method. protected  boolean isStatic      Static method. protected  boolean isSynchronized      Synchronized method. protected  int[] lineNumbers      Table used for line numbers. protected  String[] localVariableNames      Local variables names. protected  String[] localVariableTypes      Local variables types. protected  int maxLocals      Maximum number of local variables. protected  int maxStack      Maximum number of elements on the stack.  int mjiAttrs      protected  String name      Name of the method. protected  int schedulingRelevance      protected  String signature      Signature of the method. protected static  boolean warnedLocalInfo      Used to warn about local variable information. Constructor Summary protected   MethodInfo(Method m, ClassInfo c)      Creates a new method info. Method Summary public  boolean canEnter(ThreadInfo th)      public  Object clone()       MethodInfo createNativeCallStub()      public  void enter(ThreadInfo th)      public  Instruction execute(ThreadInfo ti, boolean isDirectCall)      execute this method, which might be either bytecode or native. public  byte[] getArgumentTypes()      public  int getArgumentsSize()      public  ElementInfo getBlockedObject(ThreadInfo th, boolean isBeforeCall)      public  ClassInfo getClassInfo()      Returns the class the method belongs to. public  String getCompleteName()      Return the complete name of the method, including the class name. public  ExceptionHandler[] getExceptions()      public  String getFullName()      Returns the full name of the method, name and signature. public  Instruction getInstruction(int i)      Returns a specific instruction. public  Instruction getInstructionAt(int position)      Returns the instruction at a certain position. public  Instruction[] getInstructions()      Returns the instructions of the method. public  int getLineNumber(Instruction pc)      Returns the line number for a given position. public  int[] getLineNumbers()      Returns a table to translate positions into line numbers. public  String[] getLocalVariableNames()      public  String[] getLocalVariableTypes()      public  int getMaxLocals()      public static  int getMaxLocals(Method m)      public  int getMaxStack()      public static  int getMaxStack(Method m)      public  String getName()      Returns the name of the method. public  int getNumberOfArguments()      public  int getNumberOfStackArguments()      Returns the size of the arguments. This returns the number of parameters passed on the stack, incl. public  byte getReturnType()      public  String getSignature()      Returns the signature of the method. public static  String getUniqueName(String mname, String signature)      public  String getUniqueName()      public  boolean isAtomic()      public  boolean isBodySchedulingRelevant(ThreadInfo ti, ElementInfo ei)      public  boolean isCtor()      public  boolean isDeterministic(ThreadInfo ti)      public  boolean isExecutable(ThreadInfo ti)      public  boolean isInternalMethod()      public  boolean isMJI()      public  boolean isNative()      public  boolean isReferenceReturnType()      public  boolean isSchedulingRelevant(ThreadInfo ti, ElementInfo ei)      public  boolean isStatic()      Returns true if the field is static. public  boolean isSynchronized()      Returns true if the field is synchronized. public  boolean isThreadEntry(ThreadInfo ti)      public  void leave(ThreadInfo th)      protected  Instruction[] loadCode(Method m)      Loads the code of the method. protected  ExceptionHandler[] loadExceptions(Method m)      Returns the exceptions of the method. protected  int[] loadLineNumbers(Method m)      Loads the line numbers for the method. protected  String[] loadLocalVariableNames(Method m)      Loads the names of the local variables. NOTE: BCEL only gives us a list of all *named* locals, which might not include all local vars (temporaries, like StringBuffer). protected  String[] loadLocalVariableTypes(Method m)      Loads the types of the local variables. public static  MethodInfo newInstance(Method m, ClassInfo c)      public static  MethodInfo[] newInstanceArray(int length)       void setAtomic(boolean isAtomic)       void setCondDeterministic(boolean isCondDeterministic)       void setCondExecutable(boolean isCondExecutable)       void setDeterministic(boolean isDeterministic)       void setMJI(boolean isMJI)       void setSchedulingRelevance(int sr)      Field Detail MJI_COND_DETERMINISTIC final static int MJI_COND_DETERMINISTIC(Code) MJI_COND_EXECUTABLE final static int MJI_COND_EXECUTABLE(Code) MJI_NATIVE final static int MJI_NATIVE(Code) MJI_NONDETERMINISTIC final static int MJI_NONDETERMINISTIC(Code) MJI_NONE final static int MJI_NONE(Code) SR_ALWAYS final public static int SR_ALWAYS(Code) SR_NEVER final public static int SR_NEVER(Code) scheduling relevance (used for on-the-fly POR) SR_NEVERBODY final public static int SR_NEVERBODY(Code) SR_RUNNABLES final public static int SR_RUNNABLES(Code) SR_SYNC final public static int SR_SYNC(Code) ci protected ClassInfo ci(Code) Class the method belongs to. code protected Instruction[] code(Code) Instructions associated with the method. exceptions protected ExceptionHandler[] exceptions(Code) Exception handlers. isAtomic protected boolean isAtomic(Code) that's our own attribute - execute this method atomically isNative protected boolean isNative(Code) Native method. isStatic protected boolean isStatic(Code) Static method. isSynchronized protected boolean isSynchronized(Code) Synchronized method. lineNumbers protected int[] lineNumbers(Code) Table used for line numbers. localVariableNames protected String[] localVariableNames(Code) Local variables names. localVariableTypes protected String[] localVariableTypes(Code) Local variables types. maxLocals protected int maxLocals(Code) Maximum number of local variables. maxStack protected int maxStack(Code) Maximum number of elements on the stack. mjiAttrs int mjiAttrs(Code) the various MJI method attrs (we don't want to burn 12 bytes for them name protected String name(Code) Name of the method. schedulingRelevance protected int schedulingRelevance(Code) is this a scheduling relevant method (step boundary) signature protected String signature(Code) Signature of the method. warnedLocalInfo protected static boolean warnedLocalInfo(Code) Used to warn about local variable information. Constructor Detail MethodInfo protected MethodInfo(Method m, ClassInfo c)(Code) Creates a new method info. Method Detail canEnter public boolean canEnter(ThreadInfo th)(Code) clone public Object clone()(Code) createNativeCallStub MethodInfo createNativeCallStub()(Code) NOTE - this only works in conjunction with a special StackFrame enter public void enter(ThreadInfo th)(Code) execute public Instruction execute(ThreadInfo ti, boolean isDirectCall)(Code) execute this method, which might be either bytecode or native. getArgumentTypes public byte[] getArgumentTypes()(Code) getArgumentsSize public int getArgumentsSize()(Code) getBlockedObject public ElementInfo getBlockedObject(ThreadInfo th, boolean isBeforeCall)(Code) getClassInfo public ClassInfo getClassInfo()(Code) Returns the class the method belongs to. getCompleteName public String getCompleteName()(Code) Return the complete name of the method, including the class name. getExceptions public ExceptionHandler[] getExceptions()(Code) getFullName public String getFullName()(Code) Returns the full name of the method, name and signature. getInstruction public Instruction getInstruction(int i)(Code) Returns a specific instruction. getInstructionAt public Instruction getInstructionAt(int position)(Code) Returns the instruction at a certain position. getInstructions public Instruction[] getInstructions()(Code) Returns the instructions of the method. getLineNumber public int getLineNumber(Instruction pc)(Code) Returns the line number for a given position. getLineNumbers public int[] getLineNumbers()(Code) Returns a table to translate positions into line numbers. getLocalVariableNames public String[] getLocalVariableNames()(Code) getLocalVariableTypes public String[] getLocalVariableTypes()(Code) getMaxLocals public int getMaxLocals()(Code) getMaxLocals public static int getMaxLocals(Method m)(Code) getMaxStack public int getMaxStack()(Code) getMaxStack public static int getMaxStack(Method m)(Code) getName public String getName()(Code) Returns the name of the method. getNumberOfArguments public int getNumberOfArguments()(Code) getNumberOfStackArguments public int getNumberOfStackArguments()(Code) Returns the size of the arguments. This returns the number of parameters passed on the stack, incl. 'this' getReturnType public byte getReturnType()(Code) getSignature public String getSignature()(Code) Returns the signature of the method. getUniqueName public static String getUniqueName(String mname, String signature)(Code) return the minimal name that has to be unique for overloading (name + argument part of signature) used as a lookup key getUniqueName public String getUniqueName()(Code) isAtomic public boolean isAtomic()(Code) isBodySchedulingRelevant public boolean isBodySchedulingRelevant(ThreadInfo ti, ElementInfo ei)(Code) do we honor scheduling relevant insns in our body, or do we (hopefully deliberately) ignore them isCtor public boolean isCtor()(Code) isDeterministic public boolean isDeterministic(ThreadInfo ti)(Code) isExecutable public boolean isExecutable(ThreadInfo ti)(Code) isInternalMethod public boolean isInternalMethod()(Code) isMJI public boolean isMJI()(Code) isNative public boolean isNative()(Code) Returns true if the method is native isReferenceReturnType public boolean isReferenceReturnType()(Code) do we return Object references? isSchedulingRelevant public boolean isSchedulingRelevant(ThreadInfo ti, ElementInfo ei)(Code) is invocation of this method scheduling relevant isStatic public boolean isStatic()(Code) Returns true if the field is static. isSynchronized public boolean isSynchronized()(Code) Returns true if the field is synchronized. isThreadEntry public boolean isThreadEntry(ThreadInfo ti)(Code) leave public void leave(ThreadInfo th)(Code) loadCode protected Instruction[] loadCode(Method m)(Code) Loads the code of the method. loadExceptions protected ExceptionHandler[] loadExceptions(Method m)(Code) Returns the exceptions of the method. loadLineNumbers protected int[] loadLineNumbers(Method m)(Code) Loads the line numbers for the method. loadLocalVariableNames protected String[] loadLocalVariableNames(Method m)(Code) Loads the names of the local variables. NOTE: BCEL only gives us a list of all *named* locals, which might not include all local vars (temporaries, like StringBuffer). Note that we have to fill this with "?" inorder to make the returned array correspond with slot numbers loadLocalVariableTypes protected String[] loadLocalVariableTypes(Method m)(Code) Loads the types of the local variables. see loadLocalVariableNames for the problem with temporaries and why we can't copy the types 1:1 newInstance public static MethodInfo newInstance(Method m, ClassInfo c)(Code) newInstanceArray public static MethodInfo[] newInstanceArray(int length)(Code) setAtomic void setAtomic(boolean isAtomic)(Code) setCondDeterministic void setCondDeterministic(boolean isCondDeterministic)(Code) setCondExecutable void setCondExecutable(boolean isCondExecutable)(Code) setDeterministic void setDeterministic(boolean isDeterministic)(Code) setMJI void setMJI(boolean isMJI)(Code) setSchedulingRelevance void setSchedulingRelevance(int sr)(Code) Methods inherited from java.lang.Object native protected Object clone() throws CloneNotSupportedException(Code)(Java Doc) public boolean equals(Object obj)(Code)(Java Doc) protected void finalize() throws Throwable(Code)(Java Doc) final native public Class getClass()(Code)(Java Doc) native public int hashCode()(Code)(Java Doc) final native public void notify()(Code)(Java Doc) final native public void notifyAll()(Code)(Java Doc) public String toString()(Code)(Java Doc) final native public void wait(long timeout) throws InterruptedException(Code)(Java Doc) final public void wait(long timeout, int nanos) throws InterruptedException(Code)(Java Doc) final public void wait() throws InterruptedException(Code)(Java Doc)