1 package org.simantics.scl.ui.editor.completion;
\r
3 import java.io.StringReader;
\r
4 import java.util.ArrayList;
\r
5 import java.util.Collections;
\r
6 import java.util.Comparator;
\r
7 import java.util.List;
\r
9 import org.eclipse.jface.text.IDocument;
\r
10 import org.eclipse.jface.text.contentassist.ICompletionProposal;
\r
11 import org.simantics.scl.compiler.common.names.Name;
\r
12 import org.simantics.scl.compiler.compilation.EnvironmentOfModule;
\r
13 import org.simantics.scl.compiler.elaboration.modules.SCLValue;
\r
14 import org.simantics.scl.compiler.environment.AmbiguousNameException;
\r
15 import org.simantics.scl.compiler.environment.Environment;
\r
16 import org.simantics.scl.compiler.environment.Environments;
\r
17 import org.simantics.scl.compiler.errors.Failable;
\r
18 import org.simantics.scl.compiler.internal.parsing.exceptions.SCLSyntaxErrorException;
\r
19 import org.simantics.scl.compiler.internal.parsing.parser.SCLParserImpl;
\r
20 import org.simantics.scl.compiler.module.ImportDeclaration;
\r
21 import org.simantics.scl.compiler.module.Module;
\r
22 import org.simantics.scl.compiler.module.repository.ImportFailureException;
\r
23 import org.simantics.scl.compiler.types.TCon;
\r
24 import org.simantics.scl.osgi.SCLOsgi;
\r
26 public class SCLTextEditorEnvironment {
\r
28 private String moduleName;
\r
29 private SCLCompletionProposal[] proposalCache = new SCLCompletionProposal[0];
\r
30 private List<SCLCompletionProposal> moduleProposalCache = new ArrayList<>(0);
\r
31 private Environment env;
\r
33 private List<ImportDeclaration> cachedImports = new ArrayList<>();
\r
34 private boolean cacheUpdated = false;
\r
36 public SCLTextEditorEnvironment(String moduleName) {
\r
37 this.moduleName = moduleName;
\r
40 public void updateModuleName(String moduleName) {
\r
41 this.moduleName = moduleName;
\r
44 public void updateEnvironment(IDocument document) {
\r
45 String contents = document.get();
\r
46 String[] lines = contents.split("\\R+");
\r
47 List<ImportDeclaration> imports = new ArrayList<>();
\r
48 imports.add(new ImportDeclaration("StandardLibrary", ""));
\r
49 for (String line : lines) {
\r
51 if (line.startsWith("import") || line.startsWith("include")) {
\r
52 SCLParserImpl parser = new SCLParserImpl(new StringReader(line));
\r
54 ImportDeclaration importDecl = (ImportDeclaration)parser.parseImport();
\r
55 imports.add(importDecl);
\r
56 } catch (SCLSyntaxErrorException e) {
\r
57 // Import cannot be handled, ignore
\r
62 imports = processRelativeImports(imports);
\r
63 if (!imports.equals(cachedImports)) {
\r
64 cachedImports = imports;
\r
66 env = SCLOsgi.MODULE_REPOSITORY.createEnvironment(cachedImports.toArray(new ImportDeclaration[cachedImports.size()]), null);
\r
67 Failable<Module> module = SCLOsgi.MODULE_REPOSITORY.getModule(moduleName);
\r
68 if(module.didSucceed())
\r
69 env = new EnvironmentOfModule(env, module.getResult());
\r
70 } catch (ImportFailureException e) {
\r
71 //e.printStackTrace();
\r
76 public ICompletionProposal[] getCompletionProposals(String prefix, int offset) {
\r
77 int p = prefix.lastIndexOf('.');
\r
78 String lastPart = p==-1 ? prefix : prefix.substring(p+1);
\r
80 List<SCLCompletionProposal> proposals = new ArrayList<>();
\r
81 for(SCLValue value : Environments.findValuesForPrefix(env, prefix)) {
\r
82 Name name = value.getName();
\r
83 if((name.module.equals(moduleName) || !value.isPrivate()) && !(name.name.contains("$") && Character.isLetter(name.name.charAt(0))))
\r
84 proposals.add(new SCLCompletionProposal(value, offset - lastPart.length(), lastPart));
\r
86 for(TCon type : Environments.findTypesForPrefix(env, prefix)) {
\r
87 proposals.add(new SCLCompletionProposal(type.name, type.module, SCLCompletionType.TYPE, offset - lastPart.length(), lastPart));
\r
90 if(!prefix.contains(".")) {
\r
91 for (ImportDeclaration decl : cachedImports) {
\r
92 if (decl.localName != null && !decl.localName.isEmpty() && decl.localName.toLowerCase().startsWith(prefix.toLowerCase())) {
\r
93 proposals.add(new SCLCompletionProposal(decl.localName, decl.moduleName, SCLCompletionType.CONST, offset - prefix.length(), prefix));
\r
97 Collections.sort(proposals, COMPARATOR);
\r
98 moduleProposalCache = proposals;
\r
99 proposalCache = moduleProposalCache.toArray(new SCLCompletionProposal[moduleProposalCache.size()]);
\r
100 return proposalCache;
\r
103 private ArrayList<ImportDeclaration> processRelativeImports(List<ImportDeclaration> relativeImports) {
\r
104 ArrayList<ImportDeclaration> absoluteImports = new ArrayList<ImportDeclaration>(relativeImports.size());
\r
105 for(ImportDeclaration relativeImport : relativeImports) {
\r
106 if(relativeImport.moduleName.startsWith(".")) {
\r
107 String absoluteModuleName = convertRelativeModulePath(relativeImport.moduleName);
\r
108 if(absoluteModuleName != null)
\r
109 absoluteImports.add(new ImportDeclaration(
\r
110 absoluteModuleName, relativeImport.localName,
\r
111 relativeImport.reexport, relativeImport.spec));
\r
114 absoluteImports.add(relativeImport);
\r
116 return absoluteImports;
\r
119 private String convertRelativeModulePath(String relativeModuleName) {
\r
120 String originalRelativeModuleName = relativeModuleName;
\r
121 int p = moduleName.lastIndexOf('/');
\r
122 String parentPackage = p < 0 ? "" : moduleName.substring(0, p);
\r
123 while(relativeModuleName.startsWith(".")) {
\r
124 if(relativeModuleName.startsWith("./")) {
\r
125 relativeModuleName = relativeModuleName.substring(2);
\r
127 else if(relativeModuleName.startsWith("../")) {
\r
128 relativeModuleName = relativeModuleName.substring(3);
\r
129 if(parentPackage.isEmpty()) {
\r
130 System.err.println("Couldn't resolve the relative module name " + originalRelativeModuleName + " when the current module name is " + moduleName + ".");
\r
133 p = parentPackage.lastIndexOf('/');
\r
134 parentPackage = p < 0 ? "" : parentPackage.substring(0, p);
\r
137 System.err.println("Couldn't resolve the relative module name " + originalRelativeModuleName + ". It has an invalid syntax.");
\r
141 return parentPackage + "/" + relativeModuleName;
\r
144 private static final Comparator<SCLCompletionProposal> COMPARATOR = new Comparator<SCLCompletionProposal>() {
\r
147 public int compare(SCLCompletionProposal prop1, SCLCompletionProposal prop2) {
\r
148 if (prop1.isPrivate() && !prop2.isPrivate())
\r
150 else if (!prop1.isPrivate() && prop2.isPrivate())
\r
152 return prop1.getName().compareTo(prop2.getName());
\r
156 public SCLValue getValue(String text) {
\r
158 return Environments.getValue(env, text);
\r
159 } catch (AmbiguousNameException e) {
\r
160 // TODO could also return one of the conflicting alternatives
\r
165 public String getHoverInfo(String text) {
\r
166 SCLValue value = getValue(text);
\r
168 return value.getDocumentation();
\r