equal
deleted
inserted
replaced
80 * |
80 * |
81 * All subfiles reference each other appropiately, e.g. clicking on a |
81 * All subfiles reference each other appropiately, e.g. clicking on a |
82 * method in the Method's frame will jump to the appropiate method in |
82 * method in the Method's frame will jump to the appropiate method in |
83 * the Code frame. |
83 * the Code frame. |
84 * |
84 * |
|
85 * @version $Id: Class2HTML.java,v 1.3 2007-07-19 04:34:52 ofung Exp $ |
85 * @author <A HREF="mailto:markus.dahm@berlin.de">M. Dahm</A> |
86 * @author <A HREF="mailto:markus.dahm@berlin.de">M. Dahm</A> |
86 */ |
87 */ |
87 public class Class2HTML implements Constants |
88 public class Class2HTML implements Constants |
88 { |
89 { |
89 private JavaClass java_class; // current class object |
90 private JavaClass java_class; // current class object |
135 String[] file_name = new String[argv.length]; |
136 String[] file_name = new String[argv.length]; |
136 int files=0; |
137 int files=0; |
137 ClassParser parser=null; |
138 ClassParser parser=null; |
138 JavaClass java_class=null; |
139 JavaClass java_class=null; |
139 String zip_file = null; |
140 String zip_file = null; |
140 char sep = System.getProperty("file.separator").toCharArray()[0]; |
141 char sep = SecuritySupport.getSystemProperty("file.separator").toCharArray()[0]; |
141 String dir = "." + sep; // Where to store HTML files |
142 String dir = "." + sep; // Where to store HTML files |
142 |
143 |
143 try { |
144 try { |
144 /* Parse command line arguments. |
145 /* Parse command line arguments. |
145 */ |
146 */ |