2009-01-26 22:38:36 -05:00
|
|
|
USING: xmode.tokens xmode.marker xmode.catalog kernel locals
|
2008-03-11 04:39:09 -04:00
|
|
|
html.elements io io.files sequences words io.encodings.utf8
|
2009-01-26 22:38:36 -05:00
|
|
|
namespaces xml.entities accessors xml.interpolate locals xml.writer ;
|
2007-11-28 23:34:11 -05:00
|
|
|
IN: xmode.code2html
|
|
|
|
|
|
2009-01-26 22:38:36 -05:00
|
|
|
: htmlize-tokens ( tokens -- xml )
|
2007-11-28 23:34:11 -05:00
|
|
|
[
|
2008-06-01 18:22:39 -04:00
|
|
|
[ str>> ] [ id>> ] bi [
|
2009-01-26 22:38:36 -05:00
|
|
|
name>> swap
|
|
|
|
|
[XML <span class=<->><-></span> XML]
|
|
|
|
|
] [ ] if*
|
|
|
|
|
] map ;
|
2007-11-28 23:34:11 -05:00
|
|
|
|
2009-01-26 22:38:36 -05:00
|
|
|
: htmlize-line ( line-context line rules -- line-context' xml )
|
2007-11-28 23:34:11 -05:00
|
|
|
tokenize-line htmlize-tokens ;
|
|
|
|
|
|
2009-01-26 22:38:36 -05:00
|
|
|
: htmlize-lines ( lines mode -- xml )
|
|
|
|
|
f -rot load-mode [ htmlize-line ] curry map nip ;
|
2007-11-28 23:34:11 -05:00
|
|
|
|
2009-01-26 22:38:36 -05:00
|
|
|
: default-stylesheet ( -- xml )
|
|
|
|
|
"resource:basis/xmode/code2html/stylesheet.css"
|
|
|
|
|
utf8 file-contents
|
|
|
|
|
[XML <style><-></style> XML] ;
|
2007-11-28 23:34:11 -05:00
|
|
|
|
2009-01-26 22:38:36 -05:00
|
|
|
:: htmlize-stream ( path stream -- xml )
|
|
|
|
|
stream lines
|
|
|
|
|
[ "" ] [ first find-mode path swap htmlize-lines ]
|
|
|
|
|
if-empty :> input
|
|
|
|
|
default-stylesheet :> stylesheet
|
|
|
|
|
<XML <html>
|
2007-12-06 00:23:18 -05:00
|
|
|
<head>
|
2009-01-26 22:38:36 -05:00
|
|
|
<-stylesheet->
|
|
|
|
|
<title><-path-></title>
|
2007-12-06 00:23:18 -05:00
|
|
|
</head>
|
|
|
|
|
<body>
|
2009-01-26 22:38:36 -05:00
|
|
|
<pre><-input-></pre>
|
2007-12-06 00:23:18 -05:00
|
|
|
</body>
|
2009-01-26 22:38:36 -05:00
|
|
|
</html> XML> ;
|
2007-12-06 00:23:18 -05:00
|
|
|
|
2007-11-28 23:34:11 -05:00
|
|
|
: htmlize-file ( path -- )
|
2008-03-11 04:39:09 -04:00
|
|
|
dup utf8 [
|
2008-05-05 03:19:25 -04:00
|
|
|
dup ".html" append utf8 [
|
2009-01-26 22:38:36 -05:00
|
|
|
input-stream get htmlize-stream write-xml
|
2008-03-11 04:39:09 -04:00
|
|
|
] with-file-writer
|
|
|
|
|
] with-file-reader ;
|
