Class MmuSegment

  • All Implemented Interfaces:
    Range<ru.ispras.fortress.data.types.bitvector.BitVector>

    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 Detail

      • MmuSegment

        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)
    • Method Detail

      • getName

        public final java.lang.String getName()
      • getStartAddress

        public final ru.ispras.fortress.data.types.bitvector.BitVector getStartAddress()
      • getEndAddress

        public final ru.ispras.fortress.data.types.bitvector.BitVector getEndAddress()
      • getMin

        public final ru.ispras.fortress.data.types.bitvector.BitVector getMin()
        Specified by:
        getMin in interface Range<ru.ispras.fortress.data.types.bitvector.BitVector>
      • getMax

        public final ru.ispras.fortress.data.types.bitvector.BitVector getMax()
        Specified by:
        getMax in interface Range<ru.ispras.fortress.data.types.bitvector.BitVector>
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object