{
return value ? BitVector.SINGLE_1 : BitVector.SINGLE_0;
}
+
+ public boolean getBooleanValue()
+ {
+ return value;
+ }
@Override
public ParameterType getType()
return true;
}
-
+ @Override
+ public String toString()
+ {
+ return value ? "H" : "L";
+ }
}
return false;
return true;
}
+
+ /**
+ * @return The value of this IntegerImmediate as an unsigned BigInteger
+ */
+ public BigInteger getValueAsBigInteger()
+ {
+ return value.getUnsignedValue();
+ }
+
+ @Override
+ public String toString()
+ {
+ return getValueAsBigInteger().toString();
+ }
}