<script language="javascript" type="text/javascript">
var keywords = new Array(
'abstract','continue','for','new','switch','assert','default',
'if','package','synchronized','boolean','do','goto','private',
'this','break','double','implements','protected','throw','byte',
'else','import','public','throws','case','enum','instanceof',
'return','transient','catch','extends','int','short','try',
'char','final','interface','static','void','class','finally',
'long','strictfp','volatile','const','float','native','super','while',
'null','true','false');
function parseKeywords(str)
{
for (var j = 0; j<keywords.length;j++)
{
var r = new RegExp('\\b'+reg(keywords[j])+'\\b','g');
str = str.replace(r,keywords[j].fontcolor('#7F0055').bold());
}
return str;
}
function reg(str)
{
return str.replace(/\(/g,'\\\(').replace(/\)/g,'\\\)')
.replace(/\{/g,'\\\{').replace(/\}/g,'\\\}')
.replace(/\[/g,'\\\[').replace(/\]/g,'\\\]');
}
var pretags = document.getElementsByTagName('pre');
for (var i = 0;i<pretags.length;i++)
{
var dat = pretags[i].innerHTML;
dat = dat.replace(/\n/g,'<br>');
dat = dat.replace(/ /g,' ');
dat = dat.replace(/ /g,' ');
dat = parse(dat);
pretags[i].innerHTML = dat;
}
</script>
20061121
Der Code für das Syntax-Highlighting dieser Seite :)
Abonnieren
Kommentare zum Post (Atom)

Keine Kommentare:
Kommentar veröffentlichen