Package ch.so.agi.gretl.lsp.document

Class DocumentStore

java.lang.Object

ch.so.agi.gretl.lsp.document.DocumentStore

public final class DocumentStore
extends Object

Constructor Summary

Constructors

Constructor	Description
DocumentStore()

Method Summary

Modifier and Type	Method	Description
Collection<TextDocument>	allOpenDocuments()
void	changeFull(String uri, String text, int version)
void	close(String uri)
Optional<TextDocument>	get(String uri)
void	open(String uri, String languageId, int version, String text)

Methods inherited from class java.lang.Object

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

Constructor Details

DocumentStore

public DocumentStore()

Method Details

open

public void open(String uri,
 String languageId,
 int version,
 String text)

changeFull

public void changeFull(String uri,
 String text,
 int version)

get

public Optional<TextDocument> get(String uri)

close

public void close(String uri)

allOpenDocuments

public Collection<TextDocument> allOpenDocuments()