Class MmuAddressViewBuilder
- java.lang.Object
-
- ru.ispras.microtesk.mmu.model.spec.MmuAddressViewBuilder
-
public final class MmuAddressViewBuilder extends java.lang.Object
MmuAddressViewBuilder
implements an address view builder.
-
-
Constructor Summary
Constructors Constructor Description MmuAddressViewBuilder(MmuAddressInstance addressType, ru.ispras.fortress.expression.Node... fields)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description AddressView<ru.ispras.fortress.data.types.bitvector.BitVector>
build()
-
-
-
Constructor Detail
-
MmuAddressViewBuilder
public MmuAddressViewBuilder(MmuAddressInstance addressType, ru.ispras.fortress.expression.Node... fields)
-
-
Method Detail
-
build
public AddressView<ru.ispras.fortress.data.types.bitvector.BitVector> build()
-
-