aesi-intellij / org.metaborg.paplj / PapljDocumentManager

PapljDocumentManager

object PapljDocumentManager

Manages the PAPLJ documents.

Functions

toAesiDocument

fun toAesiDocument(file: PapljFile): IDocument fun toAesiDocument(file: VirtualFile): IDocument