// ino.module.CONSTANT_Double_info.8534.package 
package mycompiler.mybytecode;
// ino.end

// ino.module.CONSTANT_Double_info.8534.import 
import java.io.FileOutputStream;
import java.io.IOException;
// ino.end

// ino.class.CONSTANT_Double_info.21782.declaration 
public class CONSTANT_Double_info extends CPInfo
// ino.end
// ino.class.CONSTANT_Double_info.21782.body
{
    // ino.attribute.high_bytes.21786.declaration 
    private int high_bytes;
    // ino.end
    // ino.attribute.low_bytes.21789.declaration 
    private int low_bytes;
    // ino.end

    // ino.method.get_high_bytes.21792.definition 
    public int get_high_bytes()
    // ino.end
    // ino.method.get_high_bytes.21792.body 
    { return this.high_bytes; }
    // ino.end
    // ino.method.get_low_bytes.21795.definition 
    public int get_low_bytes()
    // ino.end
    // ino.method.get_low_bytes.21795.body 
    { return this.low_bytes; }
    // ino.end

    // ino.method.set_high_bytes.21798.definition 
    public void set_high_bytes(int t)
    // ino.end
    // ino.method.set_high_bytes.21798.body 
    { this.high_bytes = t; }
    // ino.end
    // ino.method.set_low_bytes.21801.definition 
    public void set_low_bytes(int t)
    // ino.end
    // ino.method.set_low_bytes.21801.body 
    { this.low_bytes = t; }
    // ino.end

    // ino.method.codegen.21804.definition 
    public void codegen(ClassFile classfile, FileOutputStream f)
    throws IOException
    // ino.end
    // ino.method.codegen.21804.body 
    {
        classfile.writeByte(f, get_tag()); 
        classfile.writeInt(f, high_bytes);
        classfile.writeInt(f, low_bytes);
    }
    // ino.end

    // ino.method.toString.21807.definition 
    public String toString()
    // ino.end
    // ino.method.toString.21807.body 
    {
        return "Double_Info: high_bytes=" + high_bytes + ", low_bytes=" + low_bytes; 
    }
    // ino.end
}
// ino.end