fr.pixware.apt.convert
Class LatexSink
java.lang.Object
fr.pixware.apt.parse.SinkAdapter
fr.pixware.apt.convert.LatexSink
- All Implemented Interfaces:
- Sink
- public class LatexSink
- extends SinkAdapter
Constructor Summary |
LatexSink(java.io.Writer out)
|
LatexSink(java.io.Writer out,
java.lang.String preamble)
|
Methods inherited from class fr.pixware.apt.parse.SinkAdapter |
definition_, definition, definitionListItem_, definitionListItem, head_, listItem_, numberedListItem_, paragraph, section1_, section2_, section3_, section4_, section5_, sectionTitle |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LatexSink
public LatexSink(java.io.Writer out)
LatexSink
public LatexSink(java.io.Writer out,
java.lang.String preamble)
setPreamble
public void setPreamble(java.lang.String preamble)
getPreamble
public java.lang.String getPreamble()
head
public void head()
throws ParseException
- Specified by:
head
in interface Sink
- Overrides:
head
in class SinkAdapter
- Throws:
ParseException
body
public void body()
throws ParseException
- Specified by:
body
in interface Sink
- Overrides:
body
in class SinkAdapter
- Throws:
ParseException
body_
public void body_()
throws ParseException
- Specified by:
body_
in interface Sink
- Overrides:
body_
in class SinkAdapter
- Throws:
ParseException
section1
public void section1()
throws ParseException
- Specified by:
section1
in interface Sink
- Overrides:
section1
in class SinkAdapter
- Throws:
ParseException
section2
public void section2()
throws ParseException
- Specified by:
section2
in interface Sink
- Overrides:
section2
in class SinkAdapter
- Throws:
ParseException
section3
public void section3()
throws ParseException
- Specified by:
section3
in interface Sink
- Overrides:
section3
in class SinkAdapter
- Throws:
ParseException
section4
public void section4()
throws ParseException
- Specified by:
section4
in interface Sink
- Overrides:
section4
in class SinkAdapter
- Throws:
ParseException
section5
public void section5()
throws ParseException
- Specified by:
section5
in interface Sink
- Overrides:
section5
in class SinkAdapter
- Throws:
ParseException
list
public void list()
throws ParseException
- Specified by:
list
in interface Sink
- Overrides:
list
in class SinkAdapter
- Throws:
ParseException
list_
public void list_()
throws ParseException
- Specified by:
list_
in interface Sink
- Overrides:
list_
in class SinkAdapter
- Throws:
ParseException
listItem
public void listItem()
throws ParseException
- Specified by:
listItem
in interface Sink
- Overrides:
listItem
in class SinkAdapter
- Throws:
ParseException
numberedList
public void numberedList(int numbering)
throws ParseException
- Specified by:
numberedList
in interface Sink
- Overrides:
numberedList
in class SinkAdapter
- Throws:
ParseException
numberedList_
public void numberedList_()
throws ParseException
- Specified by:
numberedList_
in interface Sink
- Overrides:
numberedList_
in class SinkAdapter
- Throws:
ParseException
numberedListItem
public void numberedListItem()
throws ParseException
- Specified by:
numberedListItem
in interface Sink
- Overrides:
numberedListItem
in class SinkAdapter
- Throws:
ParseException
definitionList
public void definitionList()
throws ParseException
- Specified by:
definitionList
in interface Sink
- Overrides:
definitionList
in class SinkAdapter
- Throws:
ParseException
definitionList_
public void definitionList_()
throws ParseException
- Specified by:
definitionList_
in interface Sink
- Overrides:
definitionList_
in class SinkAdapter
- Throws:
ParseException
figure
public void figure()
throws ParseException
- Specified by:
figure
in interface Sink
- Overrides:
figure
in class SinkAdapter
- Throws:
ParseException
figure_
public void figure_()
throws ParseException
- Specified by:
figure_
in interface Sink
- Overrides:
figure_
in class SinkAdapter
- Throws:
ParseException
table
public void table()
throws ParseException
- Specified by:
table
in interface Sink
- Overrides:
table
in class SinkAdapter
- Throws:
ParseException
table_
public void table_()
throws ParseException
- Specified by:
table_
in interface Sink
- Overrides:
table_
in class SinkAdapter
- Throws:
ParseException
tableRows
public void tableRows(int[] justification,
boolean grid)
throws ParseException
- Specified by:
tableRows
in interface Sink
- Overrides:
tableRows
in class SinkAdapter
- Throws:
ParseException
tableRows_
public void tableRows_()
throws ParseException
- Specified by:
tableRows_
in interface Sink
- Overrides:
tableRows_
in class SinkAdapter
- Throws:
ParseException
tableRow
public void tableRow()
throws ParseException
- Specified by:
tableRow
in interface Sink
- Overrides:
tableRow
in class SinkAdapter
- Throws:
ParseException
tableRow_
public void tableRow_()
throws ParseException
- Specified by:
tableRow_
in interface Sink
- Overrides:
tableRow_
in class SinkAdapter
- Throws:
ParseException
title
public void title()
throws ParseException
- Specified by:
title
in interface Sink
- Overrides:
title
in class SinkAdapter
- Throws:
ParseException
title_
public void title_()
throws ParseException
- Specified by:
title_
in interface Sink
- Overrides:
title_
in class SinkAdapter
- Throws:
ParseException
author
public void author()
throws ParseException
- Specified by:
author
in interface Sink
- Overrides:
author
in class SinkAdapter
- Throws:
ParseException
author_
public void author_()
throws ParseException
- Specified by:
author_
in interface Sink
- Overrides:
author_
in class SinkAdapter
- Throws:
ParseException
date
public void date()
throws ParseException
- Specified by:
date
in interface Sink
- Overrides:
date
in class SinkAdapter
- Throws:
ParseException
date_
public void date_()
throws ParseException
- Specified by:
date_
in interface Sink
- Overrides:
date_
in class SinkAdapter
- Throws:
ParseException
sectionTitle_
public void sectionTitle_()
throws ParseException
- Specified by:
sectionTitle_
in interface Sink
- Overrides:
sectionTitle_
in class SinkAdapter
- Throws:
ParseException
paragraph_
public void paragraph_()
throws ParseException
- Specified by:
paragraph_
in interface Sink
- Overrides:
paragraph_
in class SinkAdapter
- Throws:
ParseException
verbatim
public void verbatim(boolean boxed)
throws ParseException
- Specified by:
verbatim
in interface Sink
- Overrides:
verbatim
in class SinkAdapter
- Throws:
ParseException
verbatim_
public void verbatim_()
throws ParseException
- Specified by:
verbatim_
in interface Sink
- Overrides:
verbatim_
in class SinkAdapter
- Throws:
ParseException
definedTerm
public void definedTerm()
throws ParseException
- Specified by:
definedTerm
in interface Sink
- Overrides:
definedTerm
in class SinkAdapter
- Throws:
ParseException
definedTerm_
public void definedTerm_()
throws ParseException
- Specified by:
definedTerm_
in interface Sink
- Overrides:
definedTerm_
in class SinkAdapter
- Throws:
ParseException
figureCaption
public void figureCaption()
throws ParseException
- Specified by:
figureCaption
in interface Sink
- Overrides:
figureCaption
in class SinkAdapter
- Throws:
ParseException
figureCaption_
public void figureCaption_()
throws ParseException
- Specified by:
figureCaption_
in interface Sink
- Overrides:
figureCaption_
in class SinkAdapter
- Throws:
ParseException
tableCell
public void tableCell()
throws ParseException
- Specified by:
tableCell
in interface Sink
- Overrides:
tableCell
in class SinkAdapter
- Throws:
ParseException
tableCell_
public void tableCell_()
throws ParseException
- Specified by:
tableCell_
in interface Sink
- Overrides:
tableCell_
in class SinkAdapter
- Throws:
ParseException
tableCaption
public void tableCaption()
throws ParseException
- Specified by:
tableCaption
in interface Sink
- Overrides:
tableCaption
in class SinkAdapter
- Throws:
ParseException
tableCaption_
public void tableCaption_()
throws ParseException
- Specified by:
tableCaption_
in interface Sink
- Overrides:
tableCaption_
in class SinkAdapter
- Throws:
ParseException
figureGraphics
public void figureGraphics(java.lang.String name)
throws ParseException
- Specified by:
figureGraphics
in interface Sink
- Overrides:
figureGraphics
in class SinkAdapter
- Throws:
ParseException
horizontalRule
public void horizontalRule()
throws ParseException
- Specified by:
horizontalRule
in interface Sink
- Overrides:
horizontalRule
in class SinkAdapter
- Throws:
ParseException
pageBreak
public void pageBreak()
throws ParseException
- Specified by:
pageBreak
in interface Sink
- Overrides:
pageBreak
in class SinkAdapter
- Throws:
ParseException
anchor
public void anchor(java.lang.String name)
throws ParseException
- Specified by:
anchor
in interface Sink
- Overrides:
anchor
in class SinkAdapter
- Throws:
ParseException
anchor_
public void anchor_()
throws ParseException
- Specified by:
anchor_
in interface Sink
- Overrides:
anchor_
in class SinkAdapter
- Throws:
ParseException
link
public void link(java.lang.String name)
throws ParseException
- Specified by:
link
in interface Sink
- Overrides:
link
in class SinkAdapter
- Throws:
ParseException
link_
public void link_()
throws ParseException
- Specified by:
link_
in interface Sink
- Overrides:
link_
in class SinkAdapter
- Throws:
ParseException
italic
public void italic()
throws ParseException
- Specified by:
italic
in interface Sink
- Overrides:
italic
in class SinkAdapter
- Throws:
ParseException
italic_
public void italic_()
throws ParseException
- Specified by:
italic_
in interface Sink
- Overrides:
italic_
in class SinkAdapter
- Throws:
ParseException
bold
public void bold()
throws ParseException
- Specified by:
bold
in interface Sink
- Overrides:
bold
in class SinkAdapter
- Throws:
ParseException
bold_
public void bold_()
throws ParseException
- Specified by:
bold_
in interface Sink
- Overrides:
bold_
in class SinkAdapter
- Throws:
ParseException
monospaced
public void monospaced()
throws ParseException
- Specified by:
monospaced
in interface Sink
- Overrides:
monospaced
in class SinkAdapter
- Throws:
ParseException
monospaced_
public void monospaced_()
throws ParseException
- Specified by:
monospaced_
in interface Sink
- Overrides:
monospaced_
in class SinkAdapter
- Throws:
ParseException
lineBreak
public void lineBreak()
throws ParseException
- Specified by:
lineBreak
in interface Sink
- Overrides:
lineBreak
in class SinkAdapter
- Throws:
ParseException
nonBreakingSpace
public void nonBreakingSpace()
throws ParseException
- Specified by:
nonBreakingSpace
in interface Sink
- Overrides:
nonBreakingSpace
in class SinkAdapter
- Throws:
ParseException
text
public void text(java.lang.String text)
throws ParseException
- Specified by:
text
in interface Sink
- Overrides:
text
in class SinkAdapter
- Throws:
ParseException
markup
protected void markup(java.lang.String text)
throws ParseException
- Throws:
ParseException
content
protected void content(java.lang.String text)
throws ParseException
- Throws:
ParseException
verbatimContent
protected void verbatimContent(java.lang.String text)
throws ParseException
- Throws:
ParseException
escaped
protected static java.lang.String escaped(java.lang.String text)
main
public static void main(java.lang.String[] args)