final class org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession extends java.lang.Object implements org.glassfish.admin.rest.resources.custom.LogViewerResource$Session
{
private final java.io.RandomAccessFile file;
public void <init>(java.io.File) throws java.io.IOException
{
java.io.RandomAccessFile v;
java.io.File v;
org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession v;
v := @this: org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession;
v := @parameter: java.io.File;
specialinvoke v.<java.lang.Object: void <init>()>();
v = new java.io.RandomAccessFile;
specialinvoke v.<java.io.RandomAccessFile: void <init>(java.io.File,java.lang.String)>(v, "r");
v.<org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession: java.io.RandomAccessFile file> = v;
return;
}
public void close() throws java.io.IOException
{
java.io.RandomAccessFile v;
org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession v;
v := @this: org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession;
v = v.<org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession: java.io.RandomAccessFile file>;
virtualinvoke v.<java.io.RandomAccessFile: void close()>();
return;
}
public void skip(long) throws java.io.IOException
{
java.io.RandomAccessFile v, v;
long v, v, v;
org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession v;
v := @this: org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession;
v := @parameter: long;
v = v.<org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession: java.io.RandomAccessFile file>;
v = v.<org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession: java.io.RandomAccessFile file>;
v = virtualinvoke v.<java.io.RandomAccessFile: long getFilePointer()>();
v = v + v;
virtualinvoke v.<java.io.RandomAccessFile: void seek(long)>(v);
return;
}
public int read(byte[]) throws java.io.IOException
{
byte[] v;
java.io.RandomAccessFile v;
int v;
org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession v;
v := @this: org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession;
v := @parameter: byte[];
v = v.<org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession: java.io.RandomAccessFile file>;
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;
int v, v, v;
org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession v;
v := @this: org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession;
v := @parameter: byte[];
v := @parameter: int;
v := @parameter: int;
v = v.<org.glassfish.admin.rest.resources.custom.LogViewerResource$FileSession: java.io.RandomAccessFile file>;
v = virtualinvoke v.<java.io.RandomAccessFile: int read(byte[],int,int)>(v, v, v);
return v;
}
}