joeq.Memory
Class StackAddress.StackAddressFactory

java.lang.Object
  joeq.Memory.StackAddress.StackAddressFactory

Enclosing class:

StackAddress

public abstract static class StackAddress.StackAddressFactory
extends java.lang.Object

Constructor Summary

StackAddress.StackAddressFactory()

Method Summary

abstract StackAddress	alloca(int size)
abstract StackAddress	getBasePointer()
abstract StackAddress	getStackPointer()
abstract int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

StackAddress.StackAddressFactory

public StackAddress.StackAddressFactory()

Method Detail

size

public abstract int size()

getBasePointer

public abstract StackAddress getBasePointer()

getStackPointer

public abstract StackAddress getStackPointer()

alloca

public abstract StackAddress alloca(int size)