JML

Uses of Class
org.multijava.util.classfile.InnerClassInfo

Packages that use InnerClassInfo
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.classfile Provides an editor for classfiles used by MultiJava and the Java Modeling Language
 

Uses of InnerClassInfo in org.jmlspecs.checker
 

Methods in org.jmlspecs.checker with parameters of type InnerClassInfo
protected  void JmlBinarySourceClass.processInnerClassesAttr(InnerClassInfo[] inners)
          Loads the inner classes specified by the info in the argument array (whether from other declarations in this compilation pass or from *.class files.)
 

Uses of InnerClassInfo in org.jmlspecs.util.dis
 

Methods in org.jmlspecs.util.dis with parameters of type InnerClassInfo
protected  void JmlDisassembler.writeModifiers(IndentingWriter out, InnerClassInfo info)
          Prints the modifiers of the given inner class info.
 

Uses of InnerClassInfo in org.multijava.dis
 

Methods in org.multijava.dis with parameters of type InnerClassInfo
protected  void Disassembler.writeModifiers(IndentingWriter out, InnerClassInfo info)
          Prints the modifiers of the given inner class info.
private  void Disassembler.writeInner(IndentingWriter out, InnerClassInfo info)
          Prints inner class info
 

Uses of InnerClassInfo in org.multijava.mjc
 

Methods in org.multijava.mjc that return InnerClassInfo
protected  InnerClassInfo[] CClass.genInners()
          Returns an array representing (for bytecode) the type signatures of the inner and nested classes.
 InnerClassInfo CClass.genInnerInfo()
          Generates the inner class info record for this.
 

Methods in org.multijava.mjc with parameters of type InnerClassInfo
protected  void CBinaryClass.processInnerClassesAttr(InnerClassInfo[] inners)
          Loads the inner classes specified by the info in the argument array (whether from other declarations in this compilation pass or from *.class files.)
 

Uses of InnerClassInfo in org.multijava.util.classfile
 

Fields in org.multijava.util.classfile declared as InnerClassInfo
private  InnerClassInfo[] InnerClassTable.entries
           
 

Methods in org.multijava.util.classfile that return InnerClassInfo
 InnerClassInfo[] ClassInfo.getInnerClasses()
          Returns the inner classes table of the class in the file
(package private)  InnerClassInfo[] InnerClassTable.getEntries()
          Returns the entries in this table as an array.
 

Methods in org.multijava.util.classfile with parameters of type InnerClassInfo
 void ClassInfo.setInnerClasses(InnerClassInfo[] inners)
          Sets the inner classes table of the class in the file
 

Constructors in org.multijava.util.classfile with parameters of type InnerClassInfo
ClassInfo(short modifiers, String thisClass, String superClass, String genericSignature, ArrayList interfaces, ArrayList fields, ArrayList methods, InnerClassInfo[] innerClasses, AttributeList attributes, File sourceFile, boolean deprecated)
          Constructs a new class info structure from source.
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.
InnerClassTable(InnerClassInfo[] entries)
          Create a InnerClasses attribute.
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.