private static void dumpSwf(System.IO.StreamWriter out_Renamed, System.Uri url, System.String outfile)
{
//UPGRADE_TODO: Method 'java.io.PrintWriter.println' was converted to 'System.IO.TextWriter.WriteLine' which has a different behavior. "ms-help://MS.VSCC.v80/dv_commoner/local/redirect.htm?index='!DefaultContextWindowIndex'&keyword='jlca1073_javaioPrintWriterprintln_javalangString'"
out_Renamed.WriteLine("<!-- Parsing swf " + url + " -->");
System.IO.Stream in_Renamed;
SwfxPrinter debugPrinter = new SwfxPrinter(out_Renamed);
debugPrinter.showActions = showActionsOption;
debugPrinter.showOffset = showOffsetOption;
debugPrinter.showDebugSource = showDebugSourceOption;
debugPrinter.glyphs = glyphsOption;
debugPrinter.setExternal(externalOption, outfile);
debugPrinter.decompile = decompileOption;
debugPrinter.abc = abcOption;
debugPrinter.defunc = defuncOption;
debugPrinter.tabbedGlyphs = tabbedGlyphsOption;
if (encodeOption)
{
// decode -> encode -> decode -> print
TagEncoder encoder = new TagEncoder();
in_Renamed = System.Net.WebRequest.Create(url).GetResponse().GetResponseStream();
new TagDecoder(in_Renamed, url).parse(encoder);
encoder.finish();
in_Renamed = new System.IO.MemoryStream(SupportClass.ToByteArray(encoder.toByteArray()));
}
else
{
// decode -> print
in_Renamed = System.Net.WebRequest.Create(url).GetResponse().GetResponseStream();
}
TagDecoder t = new TagDecoder(in_Renamed, url);
t.KeepOffsets = debugPrinter.showOffset;
t.parse(debugPrinter);
}
