BitExpSetInt Method

Create expression that sets value to byte[] bin starting at bitOffset for bitSize and returns byte[]. BitSize must be <= 64.

• bin = [0b00000001, 0b01000010, 0b00000011, 0b00000100, 0b00000101]
• bitOffset = 1
• bitSize = 8
• value = 127
• bin result = [0b00111111, 0b11000010, 0b00000011, 0b0000100, 0b00000101]

public static Exp SetInt(
	BitPolicy policy,
	Exp bitOffset,
	Exp bitSize,
	Exp value,
	Exp bin
)