/**
 * Tests the Filename class for correctness.
 * 
 * @author Zach Tomaszewski
 * @version Sep 18, 2007
 */
public class FilenameTester {


  /**
   * Tests an implementation of Filename by creating three Filename objects, 
   * calling the various Filename methods on each, and printing the
   * results to the screen.  Expected (correct) results for each test
   * are given in [brackets].
   */  
  public static void main(String[] args) {

    Filename file;
    
    System.out.println("Creating new Filename: hello.c");
    file = new Filename("hello.c");
    System.out.println("Original filename [hello.c]: " + file);
    System.out.println("Length of filename [7]: " + file.getLength());
    System.out.println("Name part of filename [hello]: " + file.getName());
    System.out.println("Extension part of filename [c]: " + file.getExtension());
    System.out.println("File type [C]: " + file.getType());
    System.out.println("Safer version of filename [hello.c]: " + 
        file.getSaferFilename());
    
    System.out.println("\nCreating new Filename: Bog Wraith.HTML");
    file = new Filename("Bog Wraith.HTML");
    System.out.println("Original filename [Bog Wraith.HTML]: " + file);
    System.out.println("Length of filename [15]: " + file.getLength());
    System.out.println("Name part of filename [Bog Wraith]: " + file.getName());
    System.out.println("Extension part of filename [HTML]: " + file.getExtension());
    System.out.println("File type [HTML]: " + file.getType());
    System.out.println("Safer version of filename [bog_wraith.html]: " + 
        file.getSaferFilename());
    
    System.out.println("\nCreating new Filename: Rockin' Tune 4.partial.Mp3");
    file = new Filename("Rockin' Tune 4.partial.Mp3");
    System.out.println("Original filename [Rockin' Tune 4.partial.Mp3]: " + file);
    System.out.println("Length of filename [26]: " + file.getLength());
    System.out.println("Name part of filename [Rockin' Tune 4.partial]: " + 
        file.getName());
    System.out.println("Extension part of filename [Mp3]: " + file.getExtension());
    System.out.println("File type [MP3]: " + file.getType());
    System.out.println("Safer version of filename [rockin'_tune_4.partial.mp3]: " + 
        file.getSaferFilename());
        
  }

}