Method setColLength

jnode-core/src/jnode/report/ReportBuilder.java:181–194

(List<Integer> colLength)

    }

    public void setColLength(List<Integer> colLength) {
        if (colLength == null) {
            this.colLength = null;
            width = 0;
        } else {
            this.colLength = new ArrayList<>(colLength);
            width = 0;
            for (Integer aColLength : colLength) {
                ++width;
                width += aColLength;
            }
            ++width;
        }
    }

    public void setColLength(String colLen, String delim) {
        setColLength(asIntList(colLen, delim));