Package daikon.config
Class HtmlToTexinfo
- Object
-
- HtmlToTexinfo
-
public class HtmlToTexinfo extends Object
Supplies a static method htmlToTexinfo that converts HTML to Texinfo format.
-
-
Field Summary
Fields Modifier and Type Field Description static @Regex(1) Pattern
javadocAtCode
-
Constructor Summary
Constructors Constructor Description HtmlToTexinfo()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static String
htmlToTexinfo(String s)
Converts HTML to Texinfo.static String
javadocHtmlToTexinfo(String s)
Converts Javadoc-flavored HTML to Texinfo.
-
-
-
Field Detail
-
javadocAtCode
public static @Regex(1) Pattern javadocAtCode
-
-
Constructor Detail
-
HtmlToTexinfo
public HtmlToTexinfo()
-
-
Method Detail
-
javadocHtmlToTexinfo
public static String javadocHtmlToTexinfo(String s)
Converts Javadoc-flavored HTML to Texinfo.In particular, handles extra tags that may occur in Javadoc code.
-
htmlToTexinfo
public static String htmlToTexinfo(String s)
Converts HTML to Texinfo.
-
-