private static string SizeOfPrint <Variable, Expression>(Expression sizeOfExp, IExpressionDecoder <Variable, Expression> decoder, int height)
{
Contract.Ensures(Contract.Result <string>() != null);
int size;
if (decoder.TrySizeOf(sizeOfExp, out size))
{
return(size.ToString() + "(sizeof)");
}
else
{
return("sizeof( ? )");
}
}