public interface SessionContext
| 限定符和类型 | 方法和说明 |
|---|---|
BuiltinCommand |
getBuiltinCommandByTeXName(java.lang.String texName) |
BuiltinEnvironment |
getBuiltinEnvironmentByTeXName(java.lang.String texName) |
SessionConfiguration |
getConfiguration() |
java.util.List<InputError> |
getErrors() |
MathCharacter |
getMathCharacter(int codePoint) |
StylesheetManager |
getStylesheetManager() |
java.util.Map<java.lang.String,UserDefinedCommand> |
getUserCommandMap() |
java.util.Map<java.lang.String,UserDefinedEnvironment> |
getUserEnvironmentMap() |
void |
registerError(InputError error) |
SessionConfiguration getConfiguration()
java.util.List<InputError> getErrors()
MathCharacter getMathCharacter(int codePoint)
BuiltinCommand getBuiltinCommandByTeXName(java.lang.String texName)
BuiltinEnvironment getBuiltinEnvironmentByTeXName(java.lang.String texName)
java.util.Map<java.lang.String,UserDefinedCommand> getUserCommandMap()
java.util.Map<java.lang.String,UserDefinedEnvironment> getUserEnvironmentMap()
StylesheetManager getStylesheetManager()
void registerError(InputError error) throws SnuggleParseException