⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 propstokenmarker.java

📁 jedit中独立出来的语法高亮组件
💻 JAVA
字号:
/* * PropsTokenMarker.java - Java props/DOS INI token marker * Copyright (C) 1998, 1999 Slava Pestov * * You may use and modify this package for any purpose. Redistribution is * permitted, in both source and binary form, provided that this notice * remains intact in all source distributions of this package. */package org.syntax.jedit.tokenmarker;import javax.swing.text.Segment;/** * Java properties/DOS INI token marker. * * @author Slava Pestov * @version $Id: PropsTokenMarker.java,v 1.9 1999/12/13 03:40:30 sp Exp $ */public class PropsTokenMarker extends TokenMarker{	public static final byte VALUE = Token.INTERNAL_FIRST;	public byte markTokensImpl(byte token, Segment line, int lineIndex)	{		char[] array = line.array;		int offset = line.offset;		int lastOffset = offset;		int length = line.count + offset;loop:		for(int i = offset; i < length; i++)		{			int i1 = (i+1);			switch(token)			{			case Token.NULL:				switch(array[i])				{				case '#': case ';':					if(i == offset)					{						addToken(line.count,Token.COMMENT1);						lastOffset = length;						break loop;					}					break;				case '[':					if(i == offset)					{						addToken(i - lastOffset,token);						token = Token.KEYWORD2;						lastOffset = i;					}					break;				case '=':					addToken(i - lastOffset,Token.KEYWORD1);					token = VALUE;					lastOffset = i;					break;				}				break;			case Token.KEYWORD2:				if(array[i] == ']')				{					addToken(i1 - lastOffset,token);					token = Token.NULL;					lastOffset = i1;				}				break;			case VALUE:				break;			default:				throw new InternalError("Invalid state: "					+ token);			}		}		if(lastOffset != length)			addToken(length - lastOffset,Token.NULL);		return Token.NULL;	}	public boolean supportsMultilineTokens()	{		return false;	}}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -