|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use MethodInfo | |
| org.jmlspecs.checker | Contains the source code for a parser and typechecker for JML annotations and java code. |
| org.jmlspecs.util.dis | |
| org.multijava.dis | |
| org.multijava.mjc | Implements mjc, a MultiJava compiler. |
| org.multijava.util.backend | Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language. |
| org.multijava.util.classfile | Provides an editor for classfiles used by MultiJava and the Java Modeling Language. |
| org.multijava.util.optimize | Provides an optimizer for classfiles used by MultiJava and the Java Modeling Language. |
| Uses of MethodInfo in org.jmlspecs.checker |
| Methods in org.jmlspecs.checker that return MethodInfo | |
protected MethodInfo[] |
JmlSourceClass.genMethods()
Returns an array representing all the methods for bytecode. |
protected MethodInfo |
JmlSourceMethod.createCMethodInfo(int modifiers,
String name,
String type,
String[] exceptions,
CSourceMethod method,
boolean deprecated,
boolean synthetic)
Creates a method info object. |
protected MethodInfo |
JmlSourceMethod.createMethodInfo(int modifiers,
String name,
String type,
String[] exceptions,
CodeInfo code,
boolean deprecated,
boolean synthetic)
Creates a method info object. |
| Methods in org.jmlspecs.checker with parameters of type MethodInfo | |
protected static CClass |
JmlBinarySourceClass.buildReceiverClass(CClass host,
MethodInfo methodInfo)
|
private static CClassType[] |
JmlBinarySourceClass.buildExceptionTypes(MethodInfo methodInfo)
|
CBinaryMethod |
JmlSigClassCreator.createBinaryMethod(CClass owner,
MethodInfo methodInfo,
CClassContextType declCtx)
Creates a JML binary method object. |
| Uses of MethodInfo in org.jmlspecs.util.dis |
| Methods in org.jmlspecs.util.dis with parameters of type MethodInfo | |
protected void |
JmlDisassembler.writeModifiers(IndentingWriter out,
MethodInfo info)
Prints the modifiers of the given method info. |
| Uses of MethodInfo in org.multijava.dis |
| Methods in org.multijava.dis with parameters of type MethodInfo | |
protected void |
Disassembler.writeModifiers(IndentingWriter out,
MethodInfo info)
Prints the modifiers of the given method info. |
private void |
Disassembler.writeMethod(IndentingWriter out,
MethodInfo info)
Prints methods |
| Uses of MethodInfo in org.multijava.mjc |
| Subclasses of MethodInfo in org.multijava.mjc | |
class |
CMethodInfo
VMS 4.6: Methods Each method, and each (class or instance) initialization method is described by this structure. |
| Methods in org.multijava.mjc that return MethodInfo | |
protected MethodInfo |
CSourceMethod.nonEmptyMethodInfo(String id)
|
protected MethodInfo |
CSourceMethod.createCMethodInfo(long modifiers,
String name,
String type,
String genericsignature,
String[] exceptions,
CSourceMethod method,
boolean deprecated,
boolean synthetic)
Creates a method info object. |
protected MethodInfo |
CSourceMethod.createMethodInfo(long modifiers,
String name,
String type,
String genericsignature,
String[] exceptions,
CodeInfo code,
boolean deprecated,
boolean synthetic)
Creates a method info object. |
protected MethodInfo[] |
CClass.genMethods()
Returns an array representing all the methods for bytecode. |
MethodInfo[] |
CMethodSet.buildMethodInfo()
Generates an array of method info for the methods in this collection. |
protected MethodInfo[] |
CSourceGFCollection.genMethods()
Returns an array representing all the methods for bytecode. |
| Methods in org.multijava.mjc with parameters of type MethodInfo | |
private static CClass |
CBinaryMethod.buildReceiverClass(CClass host,
MethodInfo methodInfo)
|
private static String |
CBinaryMethod.getCorrectSignature(CClass host,
MethodInfo methodInfo)
Simple convenience method which returns the appropriate method signature stored in the given methodInfo depending on whether Java
generics are turned on or off in the current compilation session. |
private static CType |
CBinaryMethod.buildReturnType(CClass host,
MethodInfo methodInfo)
|
private static CTypeVariable[] |
CBinaryMethod.buildTypeParameter(CClass host,
MethodInfo methodInfo)
|
private static CSpecializedType[] |
CBinaryMethod.buildParameterTypes(CClass host,
MethodInfo methodInfo)
|
private static CClassType[] |
CBinaryMethod.buildExceptionTypes(MethodInfo methodInfo)
|
CBinaryMethod |
ClassCreator.createBinaryMethod(CClass owner,
MethodInfo methodInfo,
CClassContextType declCtx)
Creates a binary method object. |
| Constructors in org.multijava.mjc with parameters of type MethodInfo | |
CBinaryMethod(CClass host,
MethodInfo methodInfo,
CContextType declarationContext)
Constructs a method |
|
CBinaryMethod(MemberAccess acc,
MethodInfo methodInfo,
CContextType declarationContext)
Constructs a method |
|
| Uses of MethodInfo in org.multijava.util.backend |
| Fields in org.multijava.util.backend declared as MethodInfo | |
private MethodInfo |
MethodEnv.info
|
| Methods in org.multijava.util.backend with parameters of type MethodInfo | |
static CodeInfo |
Optimizer.optimize(MethodInfo info,
CodeInfo code,
BackendOptions options)
Optimizes the byte code for a single method. |
private static void |
MethodEnv.getParameters(MethodInfo info,
String signature,
int[] sizes)
Computes the number of parameters. |
private static void |
Main.optimizeMethod(MethodInfo method,
BackendOptions options)
|
| Constructors in org.multijava.util.backend with parameters of type MethodInfo | |
MethodEnv(MethodInfo info)
|
|
| Uses of MethodInfo in org.multijava.util.classfile |
| Subclasses of MethodInfo in org.multijava.util.classfile | |
class |
MultimethodInfo
An instance of this data structure describes each multimethod in a class. |
| Fields in org.multijava.util.classfile declared as MethodInfo | |
private MethodInfo[] |
ClassInfo.methods
|
| Methods in org.multijava.util.classfile that return MethodInfo | |
MethodInfo[] |
ClassInfo.getMethods()
Returns the methods info of the class in the file |
MethodInfo[] |
ClassInfo.getMultimethods()
Returns the method infos of the class but with synthetic multimethod and redirector bodies and external methods removed and internal multimethod signatures added. |
private static MethodInfo[] |
ClassInfo.makeMethodInfoArray(ArrayList vector)
|
MethodInfo |
ClassInfoCreator.createMethodInfo(DataInput data,
ConstantPool cp,
boolean interfaceOnly)
Creates a method info object by reading bytecode from the data input stream data. |
| Methods in org.multijava.util.classfile with parameters of type MethodInfo | |
void |
ClassInfo.setMethods(MethodInfo[] methods)
Sets the methods info of the class in the file |
| Constructors in org.multijava.util.classfile with parameters of type MethodInfo | |
ClassInfo(short modifiers,
String thisClass,
String superClass,
String genericSignature,
ClassConstant[] interfaces,
FieldInfo[] fields,
MethodInfo[] methods,
InnerClassInfo[] innerClasses,
AttributeList attributes,
File sourceFile,
boolean deprecated)
Constructs a new class info structure from source. |
|
| Uses of MethodInfo in org.multijava.util.optimize |
| Methods in org.multijava.util.optimize with parameters of type MethodInfo | |
private static void |
Main.optimizeMethod(MethodInfo method,
int level,
boolean verbose)
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||