joeq.Memory
Class CodeAddress.CodeAddressFactory

java.lang.Object
  joeq.Memory.CodeAddress.CodeAddressFactory

Enclosing class:

CodeAddress

public abstract static class CodeAddress.CodeAddressFactory
extends Object

Constructor Summary

CodeAddress.CodeAddressFactory()

Method Summary

abstract CodeAddress	getNull()
abstract int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

CodeAddress.CodeAddressFactory

public CodeAddress.CodeAddressFactory()

Method Detail

size

public abstract int size()

getNull

public abstract CodeAddress getNull()