public final class MmuDynamicConst
extends java.lang.Object
implements ru.ispras.fortress.util.Value<ru.ispras.fortress.data.Data>
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 and Description |
---|
MmuDynamicConst(ru.ispras.fortress.util.Value<?> value,
int bitSize) |
Modifier and Type | Method and Description |
---|---|
ru.ispras.fortress.data.Data |
value() |