jack.plugin.edit
Class JavaLineStyler

java.lang.Object
  jack.plugin.edit.JavaLineStyler

All Implemented Interfaces:

java.util.EventListener, org.eclipse.swt.custom.LineStyleListener, org.eclipse.swt.internal.SWTEventListener

public class JavaLineStyler

extends java.lang.Object

implements org.eclipse.swt.custom.LineStyleListener

Line styler for JML files.

Author:

L. Burdy

Field Summary

static int	EOF
static int	EOL
static int	KEY
static int	KEY_JML
static int	MAXIMUM_TOKEN
static int	MULTI_COMMENT
static int	MULTI_COMMENT_JML
static int	NUMBER
static int	OTHER
static int	SINGLE_COMMENT
static int	SINGLE_COMMENT_JML
static int	STRING
static int	WHITE
static int	WORD

Constructor Summary

JavaLineStyler(JavaScanner scan)

Method Summary

void	addBox(org.eclipse.swt.graphics.Color fgc, org.eclipse.swt.graphics.Color bgc, int offset, int length)
void	clearBoxes()
void	lineGetStyle(org.eclipse.swt.custom.LineStyleEvent event) Event.detail line start offset (input) Event.text line text (input) LineStyleEvent.styles Enumeration of StyleRanges, need to be in order.
void	parseBlockComments(java.lang.String text)
void	setScanner(JavaScanner scanner)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EOF

public static final int EOF

See Also:

Constant Field Values

EOL

public static final int EOL

See Also:

Constant Field Values

WORD

public static final int WORD

See Also:

Constant Field Values

WHITE

public static final int WHITE

See Also:

Constant Field Values

KEY

public static final int KEY

See Also:

Constant Field Values

MULTI_COMMENT

public static final int MULTI_COMMENT

See Also:

Constant Field Values

STRING

public static final int STRING

See Also:

Constant Field Values

OTHER

public static final int OTHER

See Also:

Constant Field Values

NUMBER

public static final int NUMBER

See Also:

Constant Field Values

MULTI_COMMENT_JML

public static final int MULTI_COMMENT_JML

See Also:

Constant Field Values

KEY_JML

public static final int KEY_JML

See Also:

Constant Field Values

SINGLE_COMMENT

public static final int SINGLE_COMMENT

See Also:

Constant Field Values

SINGLE_COMMENT_JML

public static final int SINGLE_COMMENT_JML

See Also:

Constant Field Values

MAXIMUM_TOKEN

public static final int MAXIMUM_TOKEN

See Also:

Constant Field Values

Constructor Detail

JavaLineStyler

public JavaLineStyler(JavaScanner scan)

Method Detail

setScanner

public void setScanner(JavaScanner scanner)

clearBoxes

public void clearBoxes()

addBox

public void addBox(org.eclipse.swt.graphics.Color fgc,
                   org.eclipse.swt.graphics.Color bgc,
                   int offset,
                   int length)

lineGetStyle

public void lineGetStyle(org.eclipse.swt.custom.LineStyleEvent event)

Event.detail line start offset (input) Event.text line text (input) LineStyleEvent.styles Enumeration of StyleRanges, need to be in order. (output) LineStyleEvent.background line background color (output)

Specified by:

lineGetStyle in interface org.eclipse.swt.custom.LineStyleListener

parseBlockComments

public void parseBlockComments(java.lang.String text)