public class MmuSegment extends java.lang.Object implements Range<ru.ispras.fortress.data.types.bitvector.BitVector>
MmuSegment
represents a virtual memory segment (address space).Constructor and Description |
---|
MmuSegment(java.lang.String name,
MmuAddressInstance vaType,
MmuAddressInstance paType,
ru.ispras.fortress.data.types.bitvector.BitVector startAddress,
ru.ispras.fortress.data.types.bitvector.BitVector endAddress) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
ru.ispras.fortress.data.types.bitvector.BitVector |
getEndAddress() |
ru.ispras.fortress.data.types.bitvector.BitVector |
getMax() |
ru.ispras.fortress.data.types.bitvector.BitVector |
getMin() |
java.lang.String |
getName() |
MmuAddressInstance |
getPaType() |
ru.ispras.fortress.data.types.bitvector.BitVector |
getStartAddress() |
MmuAddressInstance |
getVaType() |
int |
hashCode() |
java.lang.String |
toString() |
public MmuSegment(java.lang.String name, MmuAddressInstance vaType, MmuAddressInstance paType, ru.ispras.fortress.data.types.bitvector.BitVector startAddress, ru.ispras.fortress.data.types.bitvector.BitVector endAddress)
public final java.lang.String getName()
public final MmuAddressInstance getVaType()
public final MmuAddressInstance getPaType()
public final ru.ispras.fortress.data.types.bitvector.BitVector getStartAddress()
public final ru.ispras.fortress.data.types.bitvector.BitVector getEndAddress()
public final ru.ispras.fortress.data.types.bitvector.BitVector getMin()
public final ru.ispras.fortress.data.types.bitvector.BitVector getMax()
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object