/// <summary>
/// All primitive types of size less than 4 bytes are represented as 32-bit integers on the evaluation stack. Thus, for infering the types of these
/// variables, a special step is needed. For more information on the logics here see <see cref="Chapter 6 - Integer Types"/>
/// in <see cref="Efficient Inference of Static Types for Java Bytecode.pdf"/>
/// </summary>
private void InferIntegerTypes(HashSet<VariableReference> resolvedVariables)
{
IntegerTypeInferer iti = new IntegerTypeInferer(context, offsetToExpression);
iti.InferIntegerTypes(resolvedVariables);
}
/// <summary>
/// All primitive types of size less than 4 bytes are represented as 32-bit integers on the evaluation stack. Thus, for infering the types of these
/// variables, a special step is needed. For more information on the logics here see <see cref="Chapter 6 - Integer Types"/>
/// in <see cref="Efficient Inference of Static Types for Java Bytecode.pdf"/>
/// </summary>
private void InferIntegerTypes(HashSet <VariableReference> resolvedVariables)
{
IntegerTypeInferer iti = new IntegerTypeInferer(context, offsetToExpression);
iti.InferIntegerTypes(resolvedVariables);
}
