本文整理汇总了Java中org.eclipse.xtext.ui.editor.model.XtextDocument.setInput方法的典型用法代码示例。如果您正苦于以下问题:Java XtextDocument.setInput方法的具体用法?Java XtextDocument.setInput怎么用?Java XtextDocument.setInput使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.eclipse.xtext.ui.editor.model.XtextDocument
的用法示例。
在下文中一共展示了XtextDocument.setInput方法的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: setModel
import org.eclipse.xtext.ui.editor.model.XtextDocument; //导入方法依赖的package包/类
protected void setModel(XtextDocument document, String prefix, String editablePart, String suffix) {
if (this.insertLineBreaks) {
String delimiter = document.getDefaultLineDelimiter();
prefix = prefix + delimiter;
suffix = delimiter + suffix;
}
String model = prefix + editablePart + suffix;
document.set(model);
XtextResource resource = createResource(model);
document.setInput(resource);
AnnotationModel annotationModel = new AnnotationModel();
if (document instanceof ISynchronizable) {
Object lock = ((ISynchronizable) document).getLockObject();
if (lock == null) {
lock = new Object();
((ISynchronizable) document).setLockObject(lock);
}
((ISynchronizable) annotationModel).setLockObject(lock);
}
this.viewer.setDocument(document, annotationModel, prefix.length(), editablePart.length());
}
示例2: createDocument
import org.eclipse.xtext.ui.editor.model.XtextDocument; //导入方法依赖的package包/类
/**
* Creates a new document with the contents of the given {@link XtextResource}.
*
* @param resource
* the resource to be used as input to the document
* @return the created document
*/
private ICoreXtextDocument createDocument(final XtextResource resource) {
XtextDocument document = documentProvider.get();
if (resource.getParseResult() != null && resource.getParseResult().getRootNode() != null) {
document.set(resource.getParseResult().getRootNode().getText());
}
document.setInput(resource);
return new XtextDocumentAdapter(document);
}