org.mutabilitydetector.checkers
Class VarStack.VarStackSnapshot

java.lang.Object
  org.mutabilitydetector.checkers.VarStack.VarStackSnapshot

Enclosing class:

VarStack

public static class VarStack.VarStackSnapshot
extends Object

Constructor Summary

VarStack.VarStackSnapshot(List<Integer> indices)

Method Summary

int	indexOfOwningObject()
boolean	thisObjectWasAddedToStack()

Methods inherited from class java.lang.Object

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

Constructor Detail

VarStack.VarStackSnapshot

public VarStack.VarStackSnapshot(List<Integer> indices)

Method Detail

thisObjectWasAddedToStack

public boolean thisObjectWasAddedToStack()

indexOfOwningObject

public int indexOfOwningObject()