java.lang.Object
org.gjt.sp.jedit.indent.WhitespaceRule
- All Implemented Interfaces:
IndentRule
Whitespace rule. This rule cancels all indent actions in the
following case:
- The previous line is all whitespace
- The current line is not empty
The result is that this rule won't allow the indentation to be increased, only decreased (by rules triggered by unindentThisLine). If the requirements above do not apply, this rule does nothing.
- Since:
- jEdit 4.3pre10
- Version:
- $Id: WhitespaceRule.java 25222 2020-04-12 16:07:38Z kpouer $
- Author:
- Marcelo Vanzin
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
apply
(JEditBuffer buffer, int thisLineIndex, int prevLineIndex, int prevPrevLineIndex, List<IndentAction> indentActions) Apply the indent rule to this line, and return an indent action.
-
Constructor Details
-
WhitespaceRule
public WhitespaceRule()
-
-
Method Details
-
apply
public void apply(JEditBuffer buffer, int thisLineIndex, int prevLineIndex, int prevPrevLineIndex, List<IndentAction> indentActions) Description copied from interface:IndentRule
Apply the indent rule to this line, and return an indent action.- Specified by:
apply
in interfaceIndentRule
- Parameters:
buffer
- the bufferthisLineIndex
- the line indexprevLineIndex
- the prior non empty line index (or -1 if there is no prior non empty line)prevPrevLineIndex
- the prior non empty line index before the prevLineIndex (or -1 if there is no prior non empty line)indentActions
- the indent actions list. The rule can add an action in it if it is necessary
-