Class MmuDynamicConst

  • All Implemented Interfaces:
    ru.ispras.fortress.util.Value<ru.ispras.fortress.data.Data>

    public final class MmuDynamicConst
    extends java.lang.Object
    implements ru.ispras.fortress.util.Value<ru.ispras.fortress.data.Data>
    The MmuDynamicConst class implements a dynamic constant that describes a bit vector of the specified size. The constant value is read on request from an external provider and is cast to the specified type.
    • Constructor Summary

      Constructors 
      Constructor Description
      MmuDynamicConst​(ru.ispras.fortress.util.Value<?> value, int bitSize)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      ru.ispras.fortress.data.Data value()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • MmuDynamicConst

        public MmuDynamicConst​(ru.ispras.fortress.util.Value<?> value,
                               int bitSize)
    • Method Detail

      • value

        public ru.ispras.fortress.data.Data value()
        Specified by:
        value in interface ru.ispras.fortress.util.Value<ru.ispras.fortress.data.Data>