Uses of Class
gov.nasa.jpf.jvm.bytecode.INVOKESTATIC

Packages that use INVOKESTATIC

Package	Description
gov.nasa.jpf.jvm.bytecode

Uses of INVOKESTATIC in gov.nasa.jpf.jvm.bytecode

Subclasses of INVOKESTATIC in gov.nasa.jpf.jvm.bytecode

Modifier and Type	Class and Description
class	INVOKECLINIT this is an artificial bytecode that we use to deal with the particularities of calls, which are never in the loaded bytecode but always directly called by the VM.

Methods in gov.nasa.jpf.jvm.bytecode with parameters of type INVOKESTATIC

Modifier and Type	Method and Description
void	InstructionVisitor.visit(INVOKESTATIC ins)
void	InstructionVisitorAdapter.visit(INVOKESTATIC ins)