Documentation generated with UMLGraph will process correctly

non-ASCII characters.
Fix contributed by: Gunho Kim
This commit is contained in:
Diomidis Spinellis 2009-11-12 08:06:09 +00:00
parent c3cba69d67
commit be16a6b0ee
3 changed files with 11 additions and 5 deletions

View File

@ -7,6 +7,9 @@
<ul> <ul>
<li>Sequence diagrams provide an option to specify whether objects are <li>Sequence diagrams provide an option to specify whether objects are
underlined or not.</li> underlined or not.</li>
<li>Documentation generated with UMLGraph will process correctly
non-ASCII characters.
(Fix contributed by Gunho Kim.)</li>
</ul> </ul>
</dd> </dd>

View File

@ -4,8 +4,10 @@ import java.io.BufferedReader;
import java.io.BufferedWriter; import java.io.BufferedWriter;
import java.io.File; import java.io.File;
import java.io.FileReader; import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException; import java.io.IOException;
import java.io.OutputStreamWriter;
import java.io.FileOutputStream;
import java.io.FileInputStream;
import java.io.InputStreamReader; import java.io.InputStreamReader;
import java.util.HashSet; import java.util.HashSet;
import java.util.Set; import java.util.Set;
@ -196,9 +198,10 @@ public class UmlGraphDoc {
BufferedReader reader = null; BufferedReader reader = null;
boolean matched = false; boolean matched = false;
try { try {
int BUFSIZE = (int) Math.pow(2, 20); // more or less one megabyte writer = new BufferedWriter(new OutputStreamWriter(new
writer = new BufferedWriter(new FileWriter(alteredFile), BUFSIZE); FileOutputStream(alteredFile), opt.outputEncoding));
reader = new BufferedReader(new FileReader(htmlFile)); reader = new BufferedReader(new InputStreamReader(new
FileInputStream(htmlFile), opt.outputEncoding));
String line; String line;
while ((line = reader.readLine()) != null) { while ((line = reader.readLine()) != null) {

View File

@ -6,7 +6,7 @@
# #
# For each file appearing in top.html # For each file appearing in top.html
for file in `awk -F\" '$4 == "menu"{print $6}' top.html` for file in `awk -F\" '$4 == "menu"{print $6}' top.html | tr -d '\r'`
do do
base=`basename $file .html` base=`basename $file .html`
( (