Package | Description |
---|---|
org.jeditor.app |
A class showing the use of the package.
|
org.jeditor.scripts |
Contains the code to handle scripts syntaxes.
|
Modifier and Type | Field and Description |
---|---|
java.util.Map<java.lang.String,Syntax> |
SyntaxManager.mapext |
java.util.Map<java.lang.String,Syntax> |
SyntaxManager.maplist |
Modifier and Type | Method and Description |
---|---|
Syntax |
SyntaxMapper.getSyntax(java.lang.String name)
Return the Syntax for a syntax name.
|
Syntax |
SyntaxMapper.getSyntaxForExtension(java.io.File file)
Return the syntax associated with a file.
|
Syntax |
SyntaxMapper.getSyntaxForExtension(java.lang.String ext)
Return the syntax associated with an extension, or null if there is no syntax for this extension.
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.String,Syntax> |
SyntaxMapper.getSyntaxes()
Return the mapping between syntax names and their associated TokenMarker classes.
|
java.util.Map<java.lang.String,Syntax> |
SyntaxMapper.getSyntaxExtensions()
Return the set of scripts extensions.
|
Modifier and Type | Method and Description |
---|---|
boolean |
SyntaxMapper.addSyntaxForExtension(java.lang.String ext,
Syntax syntax)
Add an existing syntax for a new extension.
|
Copyright © 2016, 2017, 2018, 2019, 2023 Herve Girod. All Rights Reserved. Documentation and source under the MIT licence