org.antlr.works.editor

Class EditorPersistence

java.lang.Object

org.antlr.works.editor.EditorPersistence

public class EditorPersistence
extends Object

Constructor Summary

Constructors

Constructor and Description
EditorPersistence(GrammarWindow window)

Method Summary

Methods

Modifier and Type	Method and Description
void	close()
void	restore()
void	restore(List objects, String key)
void	store()
void	store(List objects, String key)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EditorPersistence

public EditorPersistence(GrammarWindow window)

Method Detail

close

public void close()

store

public void store()

restore

public void restore()

store

public void store(List objects,
         String key)

restore

public void restore(List objects,
           String key)