public final class SnuggleInputReader extends Object implements WorkingDocument.SourceContext
SnuggleInput, checking its contents for
allowed Unicode characters, working out how to map absolute offsets into (line,column)
pairs and producing a WorkingDocument for later use.| Constructor and Description |
|---|
SnuggleInputReader(SessionContext sessionContext,
SnuggleInput input) |
| Modifier and Type | Method and Description |
|---|---|
WorkingDocument |
createWorkingDocument() |
SnuggleInput |
getInput() |
int[] |
getLineAndColumn(int index) |
SessionContext |
getSessionContext() |
public SnuggleInputReader(SessionContext sessionContext, SnuggleInput input)
public SnuggleInput getInput()
public SessionContext getSessionContext()
public WorkingDocument createWorkingDocument() throws IOException, SnuggleParseException
IOExceptionSnuggleParseExceptionpublic int[] getLineAndColumn(int index)
Copyright © 2008–2026 The University of Edinburgh. All rights reserved.