[Xpg-xml-commits] CVS: edu/iicm/xpg/generator DocumentGenerator.java,1.2,1.3

[G?nther B. <br...@us...>]

Update of /cvsroot/xpg-xml/edu/iicm/xpg/generator
In directory usw-pr-cvs1:/tmp/cvs-serv3347

Modified Files:
	DocumentGenerator.java 
Log Message:
internal '.xml' ending for filenames removed

Index: DocumentGenerator.java
===================================================================
RCS file: /cvsroot/xpg-xml/edu/iicm/xpg/generator/DocumentGenerator.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** DocumentGenerator.java	30 Jan 2002 16:33:20 -0000	1.2
--- DocumentGenerator.java	7 Feb 2002 09:27:53 -0000	1.3
***************
*** 48,56 ****
      if (args.length <= 1)
      {
!       System.err.println("usage: DocumentGenerator <config_file> <xml_filename>");
        System.exit(-1);
      }
  
!     Generator generator = new Generator( args[0] + ".xml", args[1] + ".xml" );
      String result = ( String ) generator.getResult();
  
--- 48,57 ----
      if (args.length <= 1)
      {
!       System.err.println("usage: DocumentGenerator <config_file> "
! 			 + "<xml_filename> <result_file>");
        System.exit(-1);
      }
  
!     Generator generator = new Generator( args[0], args[1] );
      String result = ( String ) generator.getResult();
  
***************
*** 58,69 ****
      try
      {
!       File result_file = new File ( args[1] + ".html" );
!       if ( result_file.exists() )
!         result_file.delete();
!       result_file.createNewFile();
!       FileWriter file_writer = new FileWriter ( result_file );
!       file_writer.write ( result, 0, result.length() );
!       file_writer.flush();
!       file_writer.close();
      }
      catch ( IOException exc )
--- 59,80 ----
      try
      {
! 	String result_filename;
! 	if ( args.length > 2 )
! 	    result_filename = args[2];
! 	else
! 	{
! 	    int dot_index = args[1].lastIndexOf('.');
! 	    if (dot_index != -1)
! 		result_filename = args[1].substring(0, dot_index) + ".html";
! 	    else result_filename = args[1] + ".html";
! 	}
! 	File result_file = new File ( result_filename );
! 	if ( result_file.exists() )
! 	    result_file.delete();
! 	result_file.createNewFile();
! 	FileWriter file_writer = new FileWriter ( result_file );
! 	file_writer.write ( result, 0, result.length() );
! 	file_writer.flush();
! 	file_writer.close();
      }
      catch ( IOException exc )