public class org.apache.commons.io.input.RandomAccessFileInputStream extends java.io.InputStream
{
private final boolean closeOnClose;
private final java.io.RandomAccessFile randomAccessFile;
public void <init>(java.io.RandomAccessFile)
{
java.io.RandomAccessFile v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v := @parameter: java.io.RandomAccessFile;
specialinvoke v.<org.apache.commons.io.input.RandomAccessFileInputStream: void <init>(java.io.RandomAccessFile,boolean)>(v, 0);
return;
}
public void <init>(java.io.RandomAccessFile, boolean)
{
java.io.RandomAccessFile v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
java.lang.Object v;
boolean v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v := @parameter: java.io.RandomAccessFile;
v := @parameter: boolean;
specialinvoke v.<java.io.InputStream: void <init>()>();
v = staticinvoke <java.util.Objects: java.lang.Object requireNonNull(java.lang.Object,java.lang.String)>(v, "file");
v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile> = v;
v.<org.apache.commons.io.input.RandomAccessFileInputStream: boolean closeOnClose> = v;
return;
}
public int available() throws java.io.IOException
{
long v;
byte v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v = virtualinvoke v.<org.apache.commons.io.input.RandomAccessFileInputStream: long availableLong()>();
v = v cmp 2147483647L;
if v <= 0 goto label;
return 2147483647;
label:
return v;
}
public long availableLong() throws java.io.IOException
{
java.io.RandomAccessFile v, v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
long v, v, v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
v = virtualinvoke v.<java.io.RandomAccessFile: long length()>();
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
v = virtualinvoke v.<java.io.RandomAccessFile: long getFilePointer()>();
v = v - v;
return v;
}
public void close() throws java.io.IOException
{
java.io.RandomAccessFile v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
boolean v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
specialinvoke v.<java.io.InputStream: void close()>();
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: boolean closeOnClose>;
if v == 0 goto label;
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
virtualinvoke v.<java.io.RandomAccessFile: void close()>();
label:
return;
}
public java.io.RandomAccessFile getRandomAccessFile()
{
java.io.RandomAccessFile v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
return v;
}
public boolean isCloseOnClose()
{
org.apache.commons.io.input.RandomAccessFileInputStream v;
boolean v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: boolean closeOnClose>;
return v;
}
public int read() throws java.io.IOException
{
int v;
java.io.RandomAccessFile v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
v = virtualinvoke v.<java.io.RandomAccessFile: int read()>();
return v;
}
public int read(byte[]) throws java.io.IOException
{
byte[] v;
java.io.RandomAccessFile v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
int v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v := @parameter: byte[];
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
v = virtualinvoke v.<java.io.RandomAccessFile: int read(byte[])>(v);
return v;
}
public int read(byte[], int, int) throws java.io.IOException
{
byte[] v;
java.io.RandomAccessFile v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
int v, v, v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v := @parameter: byte[];
v := @parameter: int;
v := @parameter: int;
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
v = virtualinvoke v.<java.io.RandomAccessFile: int read(byte[],int,int)>(v, v, v);
return v;
}
private void seek(long) throws java.io.IOException
{
java.io.RandomAccessFile v;
long v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v := @parameter: long;
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
virtualinvoke v.<java.io.RandomAccessFile: void seek(long)>(v);
return;
}
public long skip(long) throws java.io.IOException
{
java.io.RandomAccessFile v, v, v;
long v, v, v, v, v, v, v;
byte v, v, v, v;
org.apache.commons.io.input.RandomAccessFileInputStream v;
v := @this: org.apache.commons.io.input.RandomAccessFileInputStream;
v := @parameter: long;
v = v cmp 0L;
if v > 0 goto label;
return 0L;
label:
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
v = virtualinvoke v.<java.io.RandomAccessFile: long getFilePointer()>();
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
v = virtualinvoke v.<java.io.RandomAccessFile: long length()>();
v = v cmp v;
if v < 0 goto label;
return 0L;
label:
v = v + v;
v = v cmp v;
if v <= 0 goto label;
v = v - 1L;
goto label;
label:
v = v;
label:
v = v cmp 0L;
if v <= 0 goto label;
specialinvoke v.<org.apache.commons.io.input.RandomAccessFileInputStream: void seek(long)>(v);
label:
v = v.<org.apache.commons.io.input.RandomAccessFileInputStream: java.io.RandomAccessFile randomAccessFile>;
v = virtualinvoke v.<java.io.RandomAccessFile: long getFilePointer()>();
v = v - v;
return v;
}
}