com.markcrocker.purifier
Class FrameStore

java.lang.Object
  |
  +--com.markcrocker.purifier.FrameStore

public class FrameStore

extends java.lang.Object

Data structure class for holding Frames. Keeps track conflicting push attempts and attempts to correct them.

Author:

M. Dahm, Patrick C. Beard, Mark Crocker

See Also:

BranchTarget, MethodGen

Field Summary

(package private) Frame[]

frameStore

Constructor Summary

FrameStore(int size)

Method Summary

Frame	getFrame(int index)
void	setFrame(int index, Frame frame) Set an entry to the given frame.

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

frameStore

Frame[] frameStore

Constructor Detail

FrameStore

public FrameStore(int size)

Method Detail

setFrame

public void setFrame(int index,
                     Frame frame)

Set an entry to the given frame. If a Frame has already been stored at that location and a discrepancy exists between the local variables in the new frame and the stored frame, then the conflict is resolved and the stored frame is updated accordingly.

getFrame

public Frame getFrame(int index)