org.evosuite.runtime.vfs.VFile Maven / Gradle / Ivy
/**
* Copyright (C) 2010-2017 Gordon Fraser, Andrea Arcuri and EvoSuite
* contributors
*
* This file is part of EvoSuite.
*
* EvoSuite is free software: you can redistribute it and/or modify it
* under the terms of the GNU Lesser General Public License as published
* by the Free Software Foundation, either version 3.0 of the License, or
* (at your option) any later version.
*
* EvoSuite is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with EvoSuite. If not, see data;
public VFile(String path, VFolder parent) {
super(path, parent);
//TODO might need a better type of data structure supporting multi-threading
data = new ArrayList(1024);
}
public void eraseData(){
data.clear();
}
public synchronized int getDataSize(){
return data.size();
}
public synchronized void setLength(int newLength){
/*
* Note: this implementation is not particularly efficient...
* but setLength is rarely called
*/
while(newLength > data.size()){
data.add((byte)0);
}
if(newLength==0){
data.clear();
return;
}
while(data.size() > newLength){
data.remove(data.size()-1);
}
}
/**
* @return a converted unsigned int [0,255] representation of the [-128,127] byte at {@code position}.
* A -1 value represents the end of the file (ie position higher than size)
*
*/
public synchronized int read(int position) throws IllegalArgumentException{
if(position<0){
throw new IllegalArgumentException("Position in the file cannot be negative");
}
if(position >= data.size()){
return -1; //this represent the end of the stream
}
return data.get(position) & 0xFF;
}
public synchronized int writeBytes(byte b[], int off, int len){
return writeBytes(data.size(),b,off,len);
}
public synchronized int writeBytes(int position, byte b[], int off, int len) throws IllegalArgumentException{
if(position<0){
throw new IllegalArgumentException("Position in the file cannot be negative");
}
if(deleted || !isWritePermission()){
return 0;
}
if(position >= data.size()){
setLength(position);
}
int written = 0;
for(int i=off; i