- public void replay(State<Env> state, Trans trans, OutputStream os, String theme) throws IOException, APIException {\r
- replay(state, trans, new OutputStreamWriter(os), theme);\r
- }\r
- \r
- public void replay(State<Env> state, Trans trans,Writer w, String theme) throws IOException, APIException {\r
- if(thematic!=null) {\r
- theme = thematic.themeResolve(theme);\r
- }\r
- /* Theme\r
- trans.setTheme(theme);\r
- int htmlStyle = state.htmlVer(theme);\r
- */\r
- \r
- XGenBuff<G> buff = new XGenBuff<G>(flags,this);\r
- \r
- // forward\r
- int indent = 0;\r
- Section<G> s;\r
- int i=0;\r
- @SuppressWarnings("unchecked")\r
- Section<G>[] reverse = new Section[sections.size()];\r
- for(Section<G> section : sections) {\r
- s = section.use(state, trans, buff); // note, doesn't change cached, only dynamic, which is created for thread\r
- int tempIndent = s.getIndent();\r
- s.setIndent(indent);\r
- s.forward(w);\r
- s.setIndent(tempIndent);\r
- indent = tempIndent;\r
- reverse[i++]=s;\r
- }\r
+ public void replay(State<Env> state, Trans trans, OutputStream os, String theme) throws IOException, APIException {\r
+ replay(state, trans, new OutputStreamWriter(os), theme);\r
+ }\r
+ \r
+ public void replay(State<Env> state, Trans trans,Writer w, String theme) throws IOException, APIException {\r
+ if(thematic!=null) {\r
+ theme = thematic.themeResolve(theme);\r
+ }\r
+ /* Theme\r
+ trans.setTheme(theme);\r
+ int htmlStyle = state.htmlVer(theme);\r
+ */\r
+ \r
+ XGenBuff<G> buff = new XGenBuff<G>(flags,this);\r
+ \r
+ // forward\r
+ int indent = 0;\r
+ Section<G> s;\r
+ int i=0;\r
+ @SuppressWarnings("unchecked")\r
+ Section<G>[] reverse = new Section[sections.size()];\r
+ for(Section<G> section : sections) {\r
+ s = section.use(state, trans, buff); // note, doesn't change cached, only dynamic, which is created for thread\r
+ int tempIndent = s.getIndent();\r
+ s.setIndent(indent);\r
+ s.forward(w);\r
+ s.setIndent(tempIndent);\r
+ indent = tempIndent;\r
+ reverse[i++]=s;\r
+ }\r