org.gjt.sp.jedit.Mode Maven / Gradle / Ivy
/*
* Mode.java - jEdit editing mode
* :tabSize=8:indentSize=8:noTabs=false:
* :folding=explicit:collapseFolds=1:
*
* Copyright (C) 1998, 1999, 2000 Slava Pestov
* Copyright (C) 1999 mike dillon
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
* as published by the Free Software Foundation; either version 2
* of the License, or any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
*/
package org.gjt.sp.jedit;
//{{{ Imports
import java.lang.reflect.Method;
import java.util.Hashtable;
import java.util.Collections;
import java.util.LinkedList;
import java.util.List;
import java.util.Map;
import java.util.regex.Pattern;
import java.util.regex.PatternSyntaxException;
import org.gjt.sp.jedit.syntax.TokenMarker;
import org.gjt.sp.jedit.syntax.ModeProvider;
import org.gjt.sp.util.Log;
import org.gjt.sp.util.StandardUtilities;
//}}}
/**
* An edit mode defines specific settings for editing some type of file.
* One instance of this class is created for each supported edit mode.
*
* @author Slava Pestov
* @version $Id: Mode.java 12859 2008-06-16 06:18:47Z vanza $
*/
public class Mode
{
//{{{ Mode constructor
/**
* Creates a new edit mode.
*
* @param name The name used in mode listings and to query mode
* properties
* @see #getProperty(String)
*/
public Mode(String name)
{
this.name = name;
this.ignoreWhitespace = true;
props = new Hashtable();
} //}}}
//{{{ init() method
/**
* Initializes the edit mode. Should be called after all properties
* are loaded and set.
*/
public void init()
{
try
{
String filenameGlob = (String)getProperty("filenameGlob");
if(filenameGlob != null && filenameGlob.length() != 0)
{
filenameRE = Pattern.compile(StandardUtilities.globToRE(filenameGlob),
Pattern.CASE_INSENSITIVE);
}
String firstlineGlob = (String)getProperty("firstlineGlob");
if(firstlineGlob != null && firstlineGlob.length() != 0)
{
firstlineRE = Pattern.compile(StandardUtilities.globToRE(firstlineGlob),
Pattern.CASE_INSENSITIVE);
}
}
catch(PatternSyntaxException re)
{
Log.log(Log.ERROR,this,"Invalid filename/firstline"
+ " globs in mode " + name);
Log.log(Log.ERROR,this,re);
}
// Fix for this bug:
// -- Put a mode into the user dir with the same name as one
// on the system dir.
// -- Reload edit modes.
// -- Old mode from system dir still used for highlighting
// until jEdit restart.
marker = null;
} //}}}
//{{{ getTokenMarker() method
/**
* Returns the token marker for this mode.
*/
public TokenMarker getTokenMarker()
{
loadIfNecessary();
return marker;
} //}}}
//{{{ setTokenMarker() method
/**
* Sets the token marker for this mode.
* @param marker The new token marker
*/
public void setTokenMarker(TokenMarker marker)
{
this.marker = marker;
} //}}}
//{{{ loadIfNecessary() method
/**
* Loads the mode from disk if it hasn't been loaded already.
* @since jEdit 2.5pre3
*/
public void loadIfNecessary()
{
if(marker == null)
{
ModeProvider.instance.loadMode(this);
if (marker == null)
Log.log(Log.ERROR, this, "Mode not correctly loaded, token marker is still null");
}
} //}}}
//{{{ getProperty() method
/**
* Returns a mode property.
* @param key The property name
*
* @since jEdit 2.2pre1
*/
public Object getProperty(String key)
{
Object value = props.get(key);
if(value != null)
return value;
return null;
} //}}}
//{{{ getBooleanProperty() method
/**
* Returns the value of a boolean property.
* @param key The property name
*
* @since jEdit 2.5pre3
*/
public boolean getBooleanProperty(String key)
{
Object value = getProperty(key);
if("true".equals(value) || "on".equals(value) || "yes".equals(value))
return true;
else
return false;
} //}}}
//{{{ setProperty() method
/**
* Sets a mode property.
* @param key The property name
* @param value The property value
*/
public void setProperty(String key, Object value)
{
props.put(key,value);
} //}}}
//{{{ unsetProperty() method
/**
* Unsets a mode property.
* @param key The property name
* @since jEdit 3.2pre3
*/
public void unsetProperty(String key)
{
props.remove(key);
} //}}}
//{{{ setProperties() method
/**
* Should only be called by XModeHandler
.
* @since jEdit 4.0pre3
*/
public void setProperties(Map props)
{
if(props == null)
props = new Hashtable();
ignoreWhitespace = !"false".equalsIgnoreCase(
(String)props.get("ignoreWhitespace"));
// need to carry over file name and first line globs because they are
// not given to us by the XMode handler, but instead are filled in by
// the catalog loader.
String filenameGlob = (String)this.props.get("filenameGlob");
String firstlineGlob = (String)this.props.get("firstlineGlob");
String filename = (String)this.props.get("file");
this.props = props;
if(filenameGlob != null)
props.put("filenameGlob",filenameGlob);
if(firstlineGlob != null)
props.put("firstlineGlob",firstlineGlob);
if(filename != null)
props.put("file",filename);
} //}}}
//{{{ accept() method
/**
* Returns if the edit mode is suitable for editing the specified
* file. The buffer name and first line is checked against the
* file name and first line globs, respectively.
* @param fileName The buffer's name
* @param firstLine The first line of the buffer
*
* @since jEdit 3.2pre3
*/
public boolean accept(String fileName, String firstLine)
{
if(filenameRE != null && filenameRE.matcher(fileName).matches())
return true;
if(firstlineRE != null && firstlineRE.matcher(firstLine).matches())
return true;
return false;
} //}}}
//{{{ getName() method
/**
* Returns the internal name of this edit mode.
*/
public String getName()
{
return name;
} //}}}
//{{{ toString() method
/**
* Returns a string representation of this edit mode.
*/
public String toString()
{
return name;
} //}}}
//{{{ getIgnoreWhitespace() method
public boolean getIgnoreWhitespace()
{
return ignoreWhitespace;
} //}}}
public synchronized boolean isElectricKey(char ch)
{
if (electricKeys == null)
{
String[] props = {
"indentOpenBrackets",
"indentCloseBrackets",
"electricKeys"
};
StringBuilder buf = new StringBuilder();
for(int i = 0; i < props.length; i++)
{
String prop = (String) getProperty(props[i]);
if (prop != null)
buf.append(prop);
}
electricKeys = buf.toString();
}
return (electricKeys.indexOf(ch) >= 0);
}
private void initIndentRules()
{
}
//}}}
//{{{ Private members
protected String name;
protected Map props;
private Pattern firstlineRE;
private Pattern filenameRE;
protected TokenMarker marker;
private String electricKeys;
private boolean ignoreWhitespace;
//}}}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy