package bugIdeas;

import java.math.BigDecimal;
import java.math.BigInteger;

import edu.umd.cs.findbugs.annotations.ExpectWarning;
import edu.umd.cs.findbugs.annotations.NoWarning;

public class Ideas_2013_11_15 {
    @ExpectWarning("VA_FORMAT_STRING_BAD_CONVERSION_FROM_ARRAY")
    public void passingAnArray() {
        System.out.println(System.out.printf("%s", new int[] { 42, 17 }));
    }
    
    @NoWarning("FS")
    public void valuesOtherThanInt() {
        System.out.println(String.format("%d%n%d", 42, (short) 42));
        System.out.println(String.format("%d%n", new BigInteger("42")));
        System.out.println(String.format("%f%n", new BigDecimal(42)));
    }
}

Verify some format string issues relating to changings in jFormatString
Verify some format string issues relating to changings in jFormatString


git-svn-id: e7d6bde23f017c9ff4efd468d79d66def666766b@14990 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
