jasm.verifier
Class TypeAnalysis.Store

java.lang.Object
  jasm.verifier.TypeAnalysis.Store

Enclosing class:

TypeAnalysis

protected static class TypeAnalysis.Store
extends java.lang.Object

An abstract representation of the typing environment used in the JVM bytecode verifier.

Author:

David J. Pearce

Constructor Summary

TypeAnalysis.Store(JvmType[] types, int maxLocals)

Method Summary

TypeAnalysis.Store	clone()
JvmType	get(int index)
int	maxLocals()
int	maxStack()
JvmType	pop()
void	push(JvmType type)
void	set(int slot, JvmType type)
int	stack()
JvmType	top()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TypeAnalysis.Store

public TypeAnalysis.Store(JvmType[] types,
                          int maxLocals)

Method Detail

clone

public TypeAnalysis.Store clone()

Overrides:

clone in class java.lang.Object

stack

public int stack()

maxLocals

public int maxLocals()

maxStack

public int maxStack()

get

public JvmType get(int index)

set

public void set(int slot,
                JvmType type)

top

public JvmType top()

push

public void push(JvmType type)

pop

public JvmType pop()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object