/*
 * SDK Pullenti Unitext, version 4.33, fabruary 2026. Copyright (c) 2013-2026, Pullenti. All rights reserved. 
 * Non-Commercial Freeware and Commercial Software. 
 * This class is generated using the converter Unisharping (www.unisharping.ru) from Pullenti C# project. 
 * The latest version of the code is available on the site www.pullenti.ru
 */

package com.pullenti.unitext.internal.pdf;

public class PdfIntValue extends PdfObject {

    public int val;

    @Override
    public double getDouble() {
        return (double)val;
    }

    @Override
    public String toStringEx(int lev) {
        return ((Integer)val).toString();
    }

    @Override
    public boolean isSimple(int lev) {
        return true;
    }

    @Override
    public void write(com.pullenti.unisharp.Stream s) {
        try {
            byte[] buf = com.pullenti.unisharp.Utils.encodeCharset(java.nio.charset.Charset.forName("ASCII"), (((Integer)val).toString()));
            s.write(buf, 0, buf.length);
        } catch (Exception ex123) {
        }
    }

    public static PdfIntValue _new230(int _arg1) {
        PdfIntValue res = new PdfIntValue();
        res.val = _arg1;
        return res;
    }
    public PdfIntValue() {
        super();
    }
}
