import junit.framework.TestCase;
import files.*;


public class TestR3_File extends TestCase {

  public TestR3_File(String arg0) {
    super(arg0);
  }

  Folder radice;
  HardDisk hdc;   
  public void setUp(){
		Computer pc = new Computer();
		pc.add(new HardDisk(10 * HardDisk.GB));
		hdc = pc.getDisk('C');
		hdc.format();
		radice = hdc.getFolder("/");
  }

	public void testCrea() throws FolderAlreadyExisting, FileAlreadyExisting{
		radice.addFolder(new Folder("Files"));
		Folder files=radice.getSubFolder("Files"); 
		files.addFile(new File("prova.zip",1*HardDisk.GB));
		
		File file = hdc.getFile("/Files/prova.zip");
		assertTrue(file!=null);
		assertEquals("prova.zip",file.getName());
		assertEquals(1*HardDisk.GB,file.getSize());
		
		assertEquals(
			10*HardDisk.GB - 2*5*HardDisk.KB - file.getSize(),
			hdc.getAvailable());

	}
	
	public void testCreaEsistente() throws FolderAlreadyExisting, FileAlreadyExisting {
		radice.addFolder(new Folder("Files"));
		Folder files=radice.getSubFolder("Files"); 
		files.addFile(new File("prova.zip",1*HardDisk.GB));
		try {
			files.addFile(new File("prova.zip",1*HardDisk.GB));
			fail("Il file esite gia'");
		} catch (FileAlreadyExisting e) {
			assertTrue(true); // ok 
		}
	}


}