Uses of Class
nl.cwi.sen1.gui.plugin.editor.FileToBigException

Packages that use FileToBigException

nl.cwi.sen1.gui.plugin
nl.cwi.sen1.gui.plugin.editor

Uses of FileToBigException in nl.cwi.sen1.gui.plugin

Methods in nl.cwi.sen1.gui.plugin that throw FileToBigException

private Editor

EditorPlugin.createPanel(aterm.ATerm editorId, java.lang.String filename)

Uses of FileToBigException in nl.cwi.sen1.gui.plugin.editor

Methods in nl.cwi.sen1.gui.plugin.editor that throw FileToBigException

private java.lang.String	SwingEditor.readContents()
private void	SwingEditor.readFileContents()

Constructors in nl.cwi.sen1.gui.plugin.editor that throw FileToBigException

SwingEditor(java.lang.String id, java.lang.String filename)