Changeset 1529 for trunk/src/org/expeditee/io/TEXWriter.java
- Timestamp:
- 06/18/20 13:50:48 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/io/TEXWriter.java
r919 r1529 32 32 // may be needed for sectioning commands 33 33 private Text _title = null; 34 private boolean useFlowWalker = false; 35 36 public String writeTree(Frame toWrite) throws IOException { 37 try { 38 initialise(toWrite); 39 if (useFlowWalker) { 40 System.err.println("USING FLOW WALKER FOR TEXTWriter"); 41 outputTreeFlowWalkerStyle(toWrite); 42 } else { 43 outputTree(toWrite); 44 } 45 } catch (IOException ioe) { 46 _running = false; 47 throw ioe; 48 } catch (Exception e) { 49 e.printStackTrace(); 50 } 51 _running = false; 52 return finaliseTree(); 53 } 34 54 35 55 @Override 36 56 protected void initialise(Frame start, Writer writer) throws IOException { 37 57 _format = ".tex"; 58 Text annotation = start.getAnnotation("flowwalker"); 59 if (annotation != null) { 60 useFlowWalker = true; 61 } 38 62 super.initialise(start, writer); 39 63 } … … 104 128 105 129 @Override 106 protected void writeText(Text text) throws IOException { 130 protected void writeText(Text text) throws IOException { 107 131 for (String s : text.getTextList()) { 108 132 _writer.write(s);
Note:
See TracChangeset
for help on using the changeset viewer.