plugins/geshi/geshi/ocaml-brief.php
author Dan
Fri, 29 May 2009 19:30:59 -0400
changeset 2 9e3258dfae15
parent 0 441963e5b07a
child 3 f3e2bbbd2155
permissions -rwxr-xr-x
Updated GeSHi. w00t.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
     1
<?php
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
     2
/*************************************************************************************
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
     3
 * ocaml.php
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
     4
 * ----------
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
     5
 * Author: Flaie (fireflaie@gmail.com)
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
     6
 * Copyright: (c) 2005 Flaie, Nigel McNie (http://qbnz.com/highlighter)
2
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
     7
 * Release Version: 1.0.8.2
0
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
     8
 * Date Started: 2005/08/27
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
     9
 *
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    10
 * OCaml (Objective Caml) language file for GeSHi.
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    11
 *
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    12
 * CHANGES
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    13
 * -------
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    14
 * 2005/08/27 (1.0.0)
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    15
 *   -  First Release
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    16
 *
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    17
 * TODO (updated 2005/08/27)
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    18
 * -------------------------
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    19
 *
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    20
 *************************************************************************************
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    21
 *
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    22
 *   This file is part of GeSHi.
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    23
 *
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    24
 *   GeSHi is free software; you can redistribute it and/or modify
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    25
 *   it under the terms of the GNU General Public License as published by
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    26
 *   the Free Software Foundation; either version 2 of the License, or
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    27
 *   (at your option) any later version.
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    28
 *
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    29
 *   GeSHi is distributed in the hope that it will be useful,
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    30
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    31
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    32
 *   GNU General Public License for more details.
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    33
 *
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    34
 *   You should have received a copy of the GNU General Public License
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    35
 *   along with GeSHi; if not, write to the Free Software
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    36
 *   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    37
 *
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    38
 ************************************************************************************/
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    39
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
    40
$language_data = array (
2
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    41
    'LANG_NAME' => 'OCaml (brief)',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    42
    'COMMENT_SINGLE' => array(),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    43
    'COMMENT_MULTI' => array('(*' => '*)'),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    44
    'CASE_KEYWORDS' => 0,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    45
    'QUOTEMARKS' => array('"'),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    46
    'ESCAPE_CHAR' => "",
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    47
    'KEYWORDS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    48
        /* main OCaml keywords */
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    49
        1 => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    50
            'and', 'as', 'asr', 'begin', 'class', 'closed', 'constraint', 'do', 'done', 'downto', 'else',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    51
            'end', 'exception', 'external', 'failwith', 'false', 'flush', 'for', 'fun', 'function', 'functor',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    52
            'if', 'in', 'include', 'inherit',  'incr', 'land', 'let', 'load', 'los', 'lsl', 'lsr', 'lxor',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    53
            'match', 'method', 'mod', 'module', 'mutable', 'new', 'not', 'of', 'open', 'option', 'or', 'parser',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    54
            'private', 'ref', 'rec', 'raise', 'regexp', 'sig', 'struct', 'stdout', 'stdin', 'stderr', 'then',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    55
            'to', 'true', 'try', 'type', 'val', 'virtual', 'when', 'while', 'with'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    56
            )
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    57
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    58
    /* highlighting symbols is really important in OCaml */
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    59
    'SYMBOLS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    60
        ';', '!', ':', '.', '=', '%', '^', '*', '-', '/', '+',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    61
        '>', '<', '(', ')', '[', ']', '&', '|', '#', "'"
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    62
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    63
    'CASE_SENSITIVE' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    64
        GESHI_COMMENTS => false,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    65
        1 => false,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    66
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    67
    'STYLES' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    68
        'KEYWORDS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    69
            1 => 'color: #06c; font-weight: bold;' /* nice blue */
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    70
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    71
        'COMMENTS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    72
            'MULTI' => 'color: #5d478b; font-style: italic;' /* light purple */
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    73
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    74
        'ESCAPE_CHAR' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    75
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    76
        'BRACKETS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    77
            0 => 'color: #6c6;'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    78
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    79
        'STRINGS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    80
            0 => 'color: #3cb371;' /* nice green */
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    81
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    82
        'NUMBERS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    83
            0 => 'color: #c6c;' /* pink */
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    84
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    85
        'METHODS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    86
            1 => 'color: #060;' /* dark green */
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    87
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    88
        'REGEXPS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    89
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    90
        'SYMBOLS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    91
            0 => 'color: #a52a2a;' /* maroon */
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    92
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    93
        'SCRIPT' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    94
            )
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    95
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    96
    'URLS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    97
        1 => '',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    98
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
    99
    'OOLANG' => true,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
   100
    'OBJECT_SPLITTERS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
   101
        1 => '.'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
   102
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
   103
    'REGEXPS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
   104
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
   105
    'STRICT_MODE_APPLIES' => GESHI_NEVER,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
   106
    'SCRIPT_DELIMITERS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
   107
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
   108
    'HIGHLIGHT_STRICT_BLOCK' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents: 0
diff changeset
   109
        )
0
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
   110
);
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
   111
441963e5b07a Initial population - based on GeSHi 1.0.7.20
Dan
parents:
diff changeset
   112
?>