public void dumpContextSet(SleighParserContext pos, int num, int value, int mask) {

		if (!isVerboseEnabled()) {
			return;
		}

		int[] currentValue = new int[(contextBaseRegister.getMinimumByteSize() + 3) / 4];
		for (int i = 0; i < currentValue.length; i++) {
			currentValue[i] = pos.getContextBytes(i * 4, 4);
		}
		currentValue[num] = (currentValue[num] & (~mask)) | (mask & value); // combine with current value using mask
		byte[] maskActualValue = new byte[currentValue.length * 4 * 2];
		System.arraycopy(getBytes(currentValue), 0, maskActualValue, maskActualValue.length / 2,
			maskActualValue.length / 2);
		int byteOffset = num * 4;
		System.arraycopy(getBytes(new int[] { mask }), 0, maskActualValue, byteOffset, 4);

		RegisterValue actualValue = new RegisterValue(contextBaseRegister, maskActualValue);

		indent(2);
		int baseRegSize = contextBaseRegister.getMinimumByteSize() * 8;
		for (Register reg : contextBaseRegister.getChildRegisters()) {
			RegisterValue childActualValue = actualValue.getRegisterValue(reg);
			if (childActualValue.hasAnyValue()) {
				BigInteger actual = childActualValue.getUnsignedValueIgnoreMask();
				int msb = baseRegSize - reg.getLeastSignificantBitInBaseRegister() - 1;
				int lsb = msb - reg.getBitLength() + 1;
				append("Set " + reg.getName() + "(" + lsb + "," + msb + ") = 0x" +
					Long.toHexString(actual.longValue()) + "\n");
			}
		}
		dropIndent(2);
	}
Dump transient context setting details.
NOTE: Method has no affect unless constructed with VERBOSE logging mode.
@param pos instruction context
@param num 4-byte offset within base context register for mask and value
@param value 4-byte context value
@param mask 4-byte context mask
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/plugin/processors/sleigh/SleighDebugLogger.java