public interface SessionContext
| Modifier and Type | Method and Description |
|---|---|
BuiltinCommand |
getBuiltinCommandByTeXName(String texName) |
BuiltinEnvironment |
getBuiltinEnvironmentByTeXName(String texName) |
SessionConfiguration |
getConfiguration() |
List<InputError> |
getErrors() |
MathCharacter |
getMathCharacter(int codePoint) |
StylesheetManager |
getStylesheetManager() |
Map<String,UserDefinedCommand> |
getUserCommandMap() |
Map<String,UserDefinedEnvironment> |
getUserEnvironmentMap() |
void |
registerError(InputError error) |
SessionConfiguration getConfiguration()
List<InputError> getErrors()
MathCharacter getMathCharacter(int codePoint)
BuiltinCommand getBuiltinCommandByTeXName(String texName)
BuiltinEnvironment getBuiltinEnvironmentByTeXName(String texName)
Map<String,UserDefinedCommand> getUserCommandMap()
Map<String,UserDefinedEnvironment> getUserEnvironmentMap()
StylesheetManager getStylesheetManager()
void registerError(InputError error) throws SnuggleParseException
SnuggleParseExceptionCopyright © 2008–2026 The University of Edinburgh. All rights reserved.