📄 codehighlighter.java
字号:
/**
* $RCSfile: CodeHighlighter.java,v $
* $Revision: 1.1.1.1 $
* $Date: 2002/09/09 13:51:03 $
*
* New Jive from Jdon.com.
*
* This software is the proprietary information of CoolServlets, Inc.
* Use is subject to license terms.
*/
package com.jivesoftware.forum.filter;
import com.jivesoftware.util.*;
import com.jivesoftware.forum.*;
import com.jivesoftware.util.CodeViewer;
import java.io.*;
/**
* A ForumMessageFilter that syntax highlights Java code appearing between
* [code][/code] tags in the body of ForumMessage.
*/
public class CodeHighlighter extends ForumMessageFilter {
private static final String NEW_LINE = System.getProperty("line.separator");
private String commentStart;
private String commentEnd;
private String stringStart;
private String stringEnd;
private String reservedWordStart;
private String reservedWordEnd;
/**
* Much of the work of this filter is done by a CodeViewer object.
*/
private CodeViewer viewer;
/**
* Construct a new CodeHighlighter filter.
*/
public CodeHighlighter() {
viewer = new CodeViewer();
commentStart = viewer.getCommentStart();
commentEnd = viewer.getCommentEnd();
stringStart = viewer.getStringStart();
stringEnd = viewer.getStringEnd();
reservedWordStart = viewer.getReservedWordStart();
reservedWordEnd = viewer.getReservedWordEnd();
}
/**
* Clones a new filter that will have the same properties and that
* will wrap around the specified message.
*
* @param message the ForumMessage to wrap the new filter around.
*/
public ForumMessageFilter clone(ForumMessage message){
CodeHighlighter filter = new CodeHighlighter();
filter.message = message;
filter.setCommentStart(commentStart);
filter.setCommentEnd(commentEnd);
filter.setStringStart(stringStart);
filter.setStringEnd(stringEnd);
filter.setReservedWordStart(reservedWordStart);
filter.setReservedWordEnd(reservedWordEnd);
return filter;
}
//FROM FORUMMESSAGEFILTER//
public boolean isCacheable() {
return true;
}
//FROM THE FORUMMESSAGE INTERFACE//
/**
* <b>Overloaded</b> to return the body of message with Java code between
* [code] [/code] tags syntax highlighted.
*/
public String getBody() {
return highlightCode(message.getBody());
}
//OTHER METHODS//
/**
* Returns the HTML tag that starts comment blocks. For example, it could
* be <code><i></code>.
*
* @return the HTML tag to start comment blocks.
*/
public String getCommentStart() {
return commentStart;
}
/**
* Sets the HTML tag that starts comment blocks. For example, it could be
* <code><i></code>.
*
* @param commentStart the HTML tag to start comment blocks.
*/
public void setCommentStart(String commentStart) {
this.commentStart = commentStart;
viewer.setCommentStart(commentStart);
}
/**
* Returns the HTML tag that ends comment blocks. For example, it could
* be <code></i></code>. The tag should correspond to the comment
* start tag.
*
* @return the HTML tag to end comment blocks.
*/
public String getCommentEnd() {
return commentEnd;
}
/**
* Sets the HTML tag that ends comment blocks. For example, it could be
* <code></i></code>. The tag should correspond to the comment
* start tag.
*
* @param commentEnd the HTML tag to end comment blocks.
*/
public void setCommentEnd(String commentEnd) {
this.commentEnd = commentEnd;
viewer.setCommentEnd(commentEnd);
}
public String getStringStart() {
return stringStart;
}
/**
* Sets the HTML tag that starts string blocks. For example, it could be
* <code><font color="green"></code>.
*
* @param stringStart the HTML tag to start string blocks.
*/
public void setStringStart(String stringStart) {
this.stringStart = stringStart;
viewer.setStringStart(stringStart);
}
public String getStringEnd() {
return stringEnd;
}
public void setStringEnd(String stringEnd) {
this.stringEnd = stringEnd;
viewer.setStringEnd(stringEnd);
}
public String getReservedWordStart() {
return reservedWordStart;
}
/**
* Sets the HTML tag that starts reserved word blocks. For example, it could be
* <code><b></code>.
*
* @param reservedWordStart the HTML tag to start reserved word blocks.
*/
public void setReservedWordStart(String reservedWordStart) {
this.reservedWordStart = reservedWordStart;
viewer.setReservedWordStart(reservedWordStart);
}
public String getReservedWordEnd() {
return reservedWordEnd;
}
public void setReservedWordEnd(String reservedWordEnd) {
this.reservedWordEnd = reservedWordEnd;
viewer.setReservedWordEnd(reservedWordEnd);
}
/**
* This method takes a string which may contain Java code.
* The Java code will be highlighted.
*
* @param input The text to be converted.
* @return The input string with any Java code highlighted.
*/
private String highlightCode(String input) {
// Check if the string is null or zero length -- if so, return what was sent in.
if (input == null || input.length() == 0) {
return input;
}
else {
StringBuffer buf = new StringBuffer(input.length()+50);
int i = 0, j = 0, oldend = 0;
while ((i=input.indexOf("[code]", oldend)) >= 0) {
//Check to see where the ending code tag is and store than in j
if ((j=input.indexOf("[/code]", i+6)) < 0) {
//End at end of input if no closing tag is given
j = input.length()-7;
}
// Take the string up to the code, append the string returned by CodeViewer
buf.append(input.substring(oldend,i));
buf.append("<pre>");
//Read line by line and filter accordingly.
StringBuffer codeBuf = new StringBuffer(input.length()/2);
// Advance i past one initial carriage return until the code,
// if a carriage return exists
if (i+6+1 < input.length() && (input.charAt(i+6+1) == '\n')) {
i++;
if (i+6+1 < input.length() && (input.charAt(i+6+1) == '\r')) {
i++;
}
}
BufferedReader reader = new BufferedReader(new StringReader(input.substring(i+6, j)));
String line;
try {
while ((line = reader.readLine()) != null) {
// unescape html > and < to workaround the HTMLFilter
line = StringUtils.replace(line, "<", "<");
line = StringUtils.replace(line, "6gt;", ">");
codeBuf.append(viewer.syntaxHighlight(line));
codeBuf.append(NEW_LINE);
}
}
catch (IOException ioe) {
ioe.printStackTrace();
}
String code = codeBuf.toString();
// escape braces to workaround TextStyle filter
code = StringUtils.replace(code, "[", "[");
code = StringUtils.replace(code, "]", "]");
buf.append(code);
buf.append("</pre>");
// Next time, start looking after the ending [/code] tag
oldend = j+7;
}
buf.append(input.substring(oldend,input.length()));
return buf.toString();
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -