mirror of
https://github.com/amyinspace/MagicSetEditor2.git
synced 2026-06-10 04:57:00 -04:00
twanvl
db50b48073
git-svn-id: svn://svn.code.sf.net/p/magicseteditor/code/trunk@586 0fc631ac-6414-0410-93d0-97cfa31319b6
106 lines
4.2 KiB
PHP
106 lines
4.2 KiB
PHP
<?php
|
|
|
|
// Syntax highlighting of script and reader code
|
|
|
|
function syntax_highlight($code) {
|
|
if (preg_match("@^(\s*#.*\n)*\s*[-a-zA-Z0-9 _/,]+:([^=]|$)@", $code)) {
|
|
return highlight_reader($code);
|
|
} else {
|
|
return highlight_script($code);
|
|
}
|
|
}
|
|
|
|
function highlight_reader($code) {
|
|
$ret = '';
|
|
$lines = explode("\n",$code);
|
|
$in_script = false;
|
|
for ($i = 0 ; $i < count($lines) ; ++$i) {
|
|
if ($i > 0) $ret .= "\n";
|
|
preg_match("@^(\s*)(.*)@",$lines[$i],$matches);
|
|
$indent = $matches[1];
|
|
$ret .= $indent;
|
|
$rest = $matches[2];
|
|
if ($in_script !== false) {
|
|
if (strlen($indent) <= strlen($in_script)) $in_script = false;
|
|
}
|
|
if ($in_script !== false) {
|
|
$ret .= highlight_script($rest);
|
|
} else {
|
|
if (preg_match("@^#@",$rest,$matches)) {
|
|
$ret .= "<span class='hl-comment'>$rest</span>";
|
|
} else if (preg_match("@^([a-zA-Z0-9 _/,]+):(.*)@",$rest,$matches)) {
|
|
$key = $matches[1];
|
|
$value = $matches[2];
|
|
if (preg_match("@script|default@", $key)) $in_script = $indent;
|
|
if (strpos($value,"{")!==false) $in_script = $indent;
|
|
if ($in_script !== false) {
|
|
$value = highlight_script($value);
|
|
} else if (preg_match("@^(\s*)script:(.*)@",$value,$matches)) {
|
|
$value = $matches[1] . "<span class='hl-key'>script:</span>" . highlight_script($matches[2]);
|
|
//} else if (preg_match("@\\s*rgb\\([0-9]+,[0-9]+,[0-9]+\\)\\s*@",$value,$matches)) {
|
|
// $value = highlight_script($value);
|
|
}
|
|
$ret .= "<span class='hl-key'>$key:</span>$value";
|
|
} else {
|
|
// not valid reader code
|
|
if (strpos($rest,"{")!==false) $in_script = substr($indent,0,-1);
|
|
if ($in_script !== false) $rest = highlight_script($rest);
|
|
$ret .= $rest;
|
|
}
|
|
}
|
|
}
|
|
return $ret;
|
|
}
|
|
|
|
function highlight_script($code) {
|
|
$ret = '';
|
|
$string = '';
|
|
while(strlen($code)) {
|
|
if (preg_match("@^<[^>]+>@",$code, $matches)) {
|
|
$ret .= $matches[0]; // plain tag
|
|
} else if (preg_match("@^(if|then|else|for|in|do|and|or|xor|not|rgb)\b@",$code, $matches)) {
|
|
$ret .= "<span class='hl-kw'>" . $matches[0] . "</span>";
|
|
} else if (preg_match("@^(include file:)(.*)@",$code, $matches)) {
|
|
$ret .= "<span class='hl-key'>" . $matches[1] . "</span>" . $matches[2];
|
|
} else if (preg_match("@^([0-9][0-9.]*|true|false)@",$code, $matches)) {
|
|
$ret .= "<span class='hl-num'>" . $matches[0] . "</span>";
|
|
// } else if (preg_match("@^(\"|")(\\\\.|[^\\\\])*?(\"|")@",$code, $matches)) {
|
|
// $ret .= "<span class='hl-str'>" . $matches[0] . "</span>";
|
|
} else if (preg_match("@^(\"|")(\\\\.|[^\\\\{])*?(\"|"|{)@",$code, $matches)) {
|
|
$ret .= "<span class='hl-str'>" . highlight_script_string($matches[0]) . "</span>";
|
|
if ($matches[3] == '{') $string .= 's';
|
|
} else if ($string != '' && $string{strlen($string)-1}=='s' &&
|
|
preg_match("@^}(\\\\.|[^\\\\{])*?(\"|"|{)@",$code, $matches)) {
|
|
// return from string quote
|
|
$ret .= "<span class='hl-str'>" . highlight_script_string($matches[0]) . "</span>";
|
|
$string = substr($string,0,-1);
|
|
if ($matches[3] == '{') $string .= 's';
|
|
} else if (preg_match("@^\\#.*@",$code, $matches)) {
|
|
$ret .= "<span class='hl-comment'>" . $matches[0] . "</span>";
|
|
} else if (preg_match("@^([-+*/=!.]|<|>)+|^:=@",$code, $matches)) {
|
|
$ret .= "<span class='hl-op'>" . $matches[0] . "</span>";
|
|
} else if (preg_match("@^([}]|[\\(\\)\\[\\]{,]+)@",$code, $matches)) {
|
|
$ret .= "<span class='hl-paren'>" . $matches[0] . "</span>";
|
|
if ($matches[0] == '{') $string .= 'p';
|
|
elseif ($matches[0] == '}') $string = substr($string,0,-1);
|
|
} else if (preg_match("@^[a-zA-Z_][a-zA-Z0-9_]*:@",$code, $matches)) {
|
|
$ret .= "<span class='hl-ckey'>" . $matches[0] . "</span>";
|
|
} else if (preg_match("@^([a-zA-Z0-9_]+\s*|\s+|&#?[a-zA-Z0-9]+;)@",$code, $matches)) {
|
|
//$ret .= '[' . $matches[0] . ']';
|
|
$ret .= $matches[0];
|
|
} else {
|
|
// fallback
|
|
$matches = array($code[0]);
|
|
//$ret .= '{{{' . $matches[0] . '}}}';
|
|
$ret .= $matches[0];
|
|
}
|
|
$code = substr($code, strlen($matches[0]));
|
|
}
|
|
return $ret;
|
|
}
|
|
function highlight_script_string($code) {
|
|
$code = preg_replace("@<.*?(>|>)@", "<span class='hl-tag'>\\0</span>", $code);
|
|
return $code;
|
|
}
|
|
|
|
?>
|