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

Packages that use ClassInfo

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 ClassInfo in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return ClassInfo

protected ClassInfo	JmlSourceClass.createClassInfo(long modifiers, String superClass, File sourceFile) Creates an instance of ClassInfo.
protected ClassInfo	JmlTypeLoader.createClassInfo(String qName) Creates and returns a class info object by reading the symbol file for the class with the given fully qualified name qName.

Methods in org.jmlspecs.checker with parameters of type ClassInfo

MemberAccess

JmlSigClassCreator.createMemberAccess(CClass owner, CMemberHost host, ClassInfo classInfo) Creates a JML member access object.

Constructors in org.jmlspecs.checker with parameters of type ClassInfo

JmlBinarySourceClass(Main compiler, ClassInfo classInfo, File file)
Constructs a class export from file.

JmlSigBinaryClass(Main compiler, ClassInfo classInfo)
Constructs an instance of this class using the given class info object classInfo.

Uses of ClassInfo in org.jmlspecs.util.dis

Methods in org.jmlspecs.util.dis that return ClassInfo

ClassInfo	JmlDisassembler.JmlDisassemblerHelper.createClassInfo(DataInput in) Creates a class info by reading bytecode from the given data stream.
ClassInfo	JmlDisassembler.JmlDisassemblerHelper.createClassInfo(String name) Create a class info by reading byrecode from the file whose name is given as the argument name.

Methods in org.jmlspecs.util.dis with parameters of type ClassInfo

protected void	JmlDisassembler.writeModifiers(IndentingWriter out, ClassInfo info) Prints the modifiers of the given class info.
Disassembler	JmlDisassembler.JmlDisassemblerHelper.createDisassembler(ClassInfo classInfo, DisOptions options) Returns a disassembler for the given class info.

Uses of ClassInfo in org.multijava.dis

Fields in org.multijava.dis declared as ClassInfo

protected ClassInfo

Disassembler.classInfo

Methods in org.multijava.dis that return ClassInfo

ClassInfo	Disassembler.DisassemblerHelper.createClassInfo(DataInput in)
ClassInfo	Disassembler.DisassemblerHelper.createClassInfo(String name)

Methods in org.multijava.dis with parameters of type ClassInfo

private static void	Disassembler.writeAssemblerFile(ClassInfo classInfo, String destination, DisOptions options, Disassembler.DisassemblerHelper helper) Creates a class file from class info
protected void	Disassembler.writeModifiers(IndentingWriter out, ClassInfo info) Prints the modifiers of the given class info.
Disassembler	Disassembler.DisassemblerHelper.createDisassembler(ClassInfo classInfo, DisOptions options)

Constructors in org.multijava.dis with parameters of type ClassInfo

Disassembler(ClassInfo classInfo, DisOptions options)
Create a disassembler object from a classinfo

Uses of ClassInfo in org.multijava.mjc

Methods in org.multijava.mjc that return ClassInfo

protected ClassInfo	CClass.createClassInfo(long modifiers, String superClass, File sourceFile) Creates an instance of ClassInfo.
protected ClassInfo	TypeLoader.createClassInfo(String qName) Creates and returns a class info object by reading the symbol file for the class with the given fully qualified name qName.

Methods in org.multijava.mjc with parameters of type ClassInfo

MemberAccess

ClassCreator.createMemberAccess(CClass owner, CMemberHost host, ClassInfo classInfo) Creates a member access object.

Constructors in org.multijava.mjc with parameters of type ClassInfo

CBinaryClass(Main compiler, ClassInfo classInfo)
Constructs a class export from file.

CBinaryClass(Main compiler, ClassInfo classInfo, ClassCreator creator, SignatureParser signatureparser)
Constructs a class export from file.

CBinaryGFCollection(Main compiler, ClassInfo file)
Constructs a new generic function collection from a ClassInfo object.

Uses of ClassInfo in org.multijava.util.backend

Methods in org.multijava.util.backend that return ClassInfo

private ClassInfo

Main.readClassFile(String fileName)

Methods in org.multijava.util.backend with parameters of type ClassInfo

static void	Main.optimizeClass(ClassInfo info, BackendOptions options) Reads, optimizes and writes a class file
private void	Main.writeClassFile(ClassInfo info, String fileName)

Uses of ClassInfo in org.multijava.util.classfile

Methods in org.multijava.util.classfile that return ClassInfo

static ClassInfo	ClassPath.getClassInfo(String name, boolean interfaceOnly) Creates a class info object by reading bytecode from the file named name.class.
static ClassInfo	ClassPath.getClassInfo(String name, String suffix, ClassInfoCreator creator, boolean markNotFound, boolean interfaceOnly) Creates a class info object by reading bytecode from the file named name.suffix.
ClassInfo	ClassInfoCreator.createClassInfo(DataInput data, boolean interfaceOnly) Creates a class info object by reading bytecode from the data input stream data.

Uses of ClassInfo in org.multijava.util.optimize

Methods in org.multijava.util.optimize that return ClassInfo

private ClassInfo

Main.readClassFile(String fileName)

Methods in org.multijava.util.optimize with parameters of type ClassInfo

static void	Main.optimizeClass(ClassInfo info, int level, boolean verbose) Reads, optimizes and writes a class file
private void	Main.writeClassFile(ClassInfo info, String fileName)