A syntax highlighter

Usage:lang(L)

L is a language for syntax highlight

Usage:can_highlight(Lang)

Check if Lang is a supported language (silently fails if any dependency for highlighting, e.g., emacs, ciao-mode, is not installed)

• The following properties should hold at call time:
  (basic_props:atm/1)Lang is an atom.
• The following properties should hold upon exit:
  (syntax_highlight:lang/1)Lang is a language for syntax highlight

Usage:highlight_file_to_html_string(Lang,Input,Output)

Produce HTML Output string with syntax highlight from Input file (see highlight_to_html/3)

• Call and exit should be compatible with:
  (syntax_highlight:lang/1)Lang is a language for syntax highlight
  (basic_props:atm/1)Input is an atom.
  (basic_props:string/1)Output is a string (a list of character codes).
• The following properties should hold at call time:
  (term_typing:nonvar/1)Lang is currently a term which is not a free variable.
  (term_typing:nonvar/1)Input is currently a term which is not a free variable.

Usage:highlight_string_to_html_string(Lang,Input,Output)

Produce HTML Output string with syntax highlight from Input string (see highlight_to_html/3)

• Call and exit should be compatible with:
  (syntax_highlight:lang/1)Lang is a language for syntax highlight
  (basic_props:string/1)Input is a string (a list of character codes).
  (basic_props:string/1)Output is a string (a list of character codes).
• The following properties should hold at call time:
  (term_typing:nonvar/1)Lang is currently a term which is not a free variable.
  (term_typing:nonvar/1)Input is currently a term which is not a free variable.

Usage:highlight_file_to_html_term(Lang,Input,Output)

Produce HTML Output term with syntax highlight from Input file (see highlight_to_html/3)

• Call and exit should be compatible with:
  (syntax_highlight:lang/1)Lang is a language for syntax highlight
  (basic_props:atm/1)Input is an atom.
  (html:html_term/1)Output is a term representing HTML code.
• The following properties should hold at call time:
  (term_typing:nonvar/1)Lang is currently a term which is not a free variable.
  (term_typing:nonvar/1)Input is currently a term which is not a free variable.

Usage:detect_language(File,Lang)

Detect language Lang of file File (may look at contents)

• Call and exit should be compatible with:
  (basic_props:atm/1)File is an atom.
  (syntax_highlight:lang/1)Lang is a language for syntax highlight
• The following properties should hold at call time:
  (term_typing:nonvar/1)File is currently a term which is not a free variable.
  (term_typing:var/1)Lang is a free variable.