public static BCF2Type determineIntegerType(final int value) { for ( final BCF2Type potentialType : INTEGER_TYPES_BY_SIZE) { if ( potentialType.withinRange(value) ) return potentialType; } throw new TribbleException("Integer cannot be encoded in allowable range of even INT32: " + value); }
public static BCF2Type determineIntegerType(final int value) { for ( final BCF2Type potentialType : INTEGER_TYPES_BY_SIZE) { if ( potentialType.withinRange(value) ) return potentialType; } throw new TribbleException("Integer cannot be encoded in allowable range of even INT32: " + value); }
@Ensures("result.isIntegerType()") public static BCF2Type determineIntegerType(final int value) { for ( final BCF2Type potentialType : INTEGER_TYPES_BY_SIZE) { if ( potentialType.withinRange(value) ) return potentialType; } throw new TribbleException("Integer cannot be encoded in allowable range of even INT32: " + value); }