public final class MmuAddressViewBuilder
extends java.lang.Object
MmuAddressViewBuilder
implements an address view builder.Constructor and Description |
---|
MmuAddressViewBuilder(MmuAddressInstance addressType,
ru.ispras.fortress.expression.Node... fields) |
Modifier and Type | Method and Description |
---|---|
AddressView<ru.ispras.fortress.data.types.bitvector.BitVector> |
build() |
public MmuAddressViewBuilder(MmuAddressInstance addressType, ru.ispras.fortress.expression.Node... fields)
public AddressView<ru.ispras.fortress.data.types.bitvector.BitVector> build()