1 module workspaced.com.dlangui; 2 3 import core.thread; 4 import std.algorithm; 5 import std.json; 6 import std.process; 7 import std.string; 8 import std.uni; 9 10 import painlessjson; 11 12 import workspaced.api; 13 import workspaced.completion.dml; 14 15 @component("dlangui") 16 class DlanguiComponent : ComponentWrapper 17 { 18 mixin DefaultComponentWrapper; 19 20 /// Queries for code completion at position `pos` in DML code 21 /// Returns: `[{type: CompletionType, value: string, documentation: string, enumName: string}]` 22 /// Where type is an integer 23 Future!(CompletionItem[]) complete(scope const(char)[] code, int pos) 24 { 25 auto ret = new typeof(return); 26 gthreads.create({ 27 mixin(traceTask); 28 try 29 { 30 LocationInfo info = getLocationInfo(code, pos); 31 CompletionItem[] suggestions; 32 string name = info.itemScope[$ - 1]; 33 string[] stack; 34 if (info.itemScope.length > 1) 35 stack = info.itemScope[0 .. $ - 1]; 36 string[][] curScope = stack.getProvidedScope(); 37 if (info.type == LocationType.RootMember) 38 { 39 foreach (CompletionLookup item; dmlCompletions) 40 { 41 if (item.item.type == CompletionType.Class) 42 { 43 if (name.length == 0 || item.item.value.canFind(name)) 44 { 45 suggestions ~= item.item; 46 } 47 } 48 } 49 } 50 else if (info.type == LocationType.Member) 51 { 52 foreach (CompletionLookup item; dmlCompletions) 53 { 54 if (item.item.type == CompletionType.Class) 55 { 56 if (name.length == 0 || item.item.value.canFind(name)) 57 { 58 suggestions ~= item.item; 59 } 60 } 61 else if (item.item.type != CompletionType.EnumDefinition) 62 { 63 if (curScope.canFind(item.requiredScope)) 64 { 65 if (name.length == 0 || item.item.value.canFind(name)) 66 { 67 suggestions ~= item.item; 68 } 69 } 70 } 71 } 72 } 73 else if (info.type == LocationType.PropertyValue) 74 { 75 foreach (CompletionLookup item; dmlCompletions) 76 { 77 if (item.item.type == CompletionType.EnumValue) 78 { 79 if (curScope.canFind(item.requiredScope)) 80 { 81 if (item.item.value == name) 82 { 83 foreach (CompletionLookup enumdef; dmlCompletions) 84 { 85 if (enumdef.item.type == CompletionType.EnumDefinition) 86 { 87 if (enumdef.item.enumName == item.item.enumName) 88 suggestions ~= enumdef.item; 89 } 90 } 91 break; 92 } 93 } 94 } 95 else if (item.item.type == CompletionType.Boolean) 96 { 97 if (curScope.canFind(item.requiredScope)) 98 { 99 if (item.item.value == name) 100 { 101 suggestions ~= CompletionItem(CompletionType.Keyword, "true"); 102 suggestions ~= CompletionItem(CompletionType.Keyword, "false"); 103 break; 104 } 105 } 106 } 107 } 108 } 109 ret.finish(suggestions); 110 } 111 catch (Throwable e) 112 { 113 ret.error(e); 114 } 115 }); 116 return ret; 117 } 118 } 119 120 /// 121 enum CompletionType : ubyte 122 { 123 /// 124 Undefined = 0, 125 /// 126 Class = 1, 127 /// 128 String = 2, 129 /// 130 Number = 3, 131 /// 132 Color = 4, 133 /// 134 EnumDefinition = 5, 135 /// 136 EnumValue = 6, 137 /// 138 Rectangle = 7, 139 /// 140 Boolean = 8, 141 /// 142 Keyword = 9, 143 } 144 145 /// Returned by list-completion 146 struct CompletionItem 147 { 148 /// 149 CompletionType type; 150 /// 151 string value; 152 /// 153 string documentation = ""; 154 /// 155 string enumName = ""; 156 } 157 158 struct CompletionLookup 159 { 160 CompletionItem item; 161 string[][] providedScope = []; 162 string[] requiredScope = []; 163 } 164 165 private: 166 167 string[][] getProvidedScope(string[] stack) 168 { 169 if (stack.length == 0) 170 return []; 171 string[][] providedScope; 172 foreach (CompletionLookup item; dmlCompletions) 173 { 174 if (item.item.type == CompletionType.Class) 175 { 176 if (item.item.value == stack[$ - 1]) 177 { 178 providedScope ~= item.providedScope; 179 break; 180 } 181 } 182 } 183 return providedScope; 184 } 185 186 enum LocationType : ubyte 187 { 188 RootMember, 189 Member, 190 PropertyValue, 191 None 192 } 193 194 struct LocationInfo 195 { 196 LocationType type; 197 string[] itemScope; 198 string propertyName; 199 } 200 201 LocationInfo getLocationInfo(scope const(char)[] code, int pos) 202 { 203 LocationInfo current; 204 current.type = LocationType.RootMember; 205 current.itemScope = []; 206 current.propertyName = ""; 207 string member = ""; 208 bool inString = false; 209 bool escapeChar = false; 210 foreach (i, c; code) 211 { 212 if (i == pos) 213 break; 214 if (inString) 215 { 216 if (escapeChar) 217 escapeChar = false; 218 else 219 { 220 if (c == '\\') 221 { 222 escapeChar = true; 223 } 224 else if (c == '"') 225 { 226 inString = false; 227 current.type = LocationType.None; 228 member = ""; 229 escapeChar = false; 230 } 231 } 232 continue; 233 } 234 else 235 { 236 if (c == '{') 237 { 238 current.itemScope ~= member; 239 current.propertyName = ""; 240 member = ""; 241 current.type = LocationType.Member; 242 } 243 else if (c == '\n' || c == '\r' || c == ';') 244 { 245 current.propertyName = ""; 246 member = ""; 247 current.type = LocationType.Member; 248 } 249 else if (c == ':') 250 { 251 current.propertyName = member; 252 member = ""; 253 current.type = LocationType.PropertyValue; 254 } 255 else if (c == '"') 256 { 257 inString = true; 258 } 259 else if (c == '}') 260 { 261 if (current.itemScope.length > 0) 262 current.itemScope.length--; 263 current.type = LocationType.None; 264 current.propertyName = ""; 265 member = ""; 266 } 267 else if (c.isWhite) 268 { 269 if (current.type == LocationType.None) 270 current.type = LocationType.Member; 271 if (current.itemScope.length == 0) 272 current.type = LocationType.RootMember; 273 } 274 else 275 { 276 if (current.type == LocationType.Member || current.type == LocationType.RootMember) 277 member ~= c; 278 } 279 } 280 } 281 if (member.length) 282 current.propertyName = member; 283 current.itemScope ~= current.propertyName; 284 return current; 285 } 286 287 unittest 288 { 289 auto info = getLocationInfo(" ", 0); 290 assert(info.type == LocationType.RootMember); 291 info = getLocationInfo(`TableLayout { mar }`, 17); 292 assert(info.itemScope == ["TableLayout", "mar"]); 293 assert(info.type == LocationType.Member); 294 info = getLocationInfo(`TableLayout { margins: 20; paddin }`, 33); 295 assert(info.itemScope == ["TableLayout", "paddin"]); 296 assert(info.type == LocationType.Member); 297 info = getLocationInfo( 298 "TableLayout { margins: 20; padding : 10\n\t\tTextWidget { text: \"} foo } }", 70); 299 assert(info.itemScope == ["TableLayout", "TextWidget", "text"]); 300 assert(info.type == LocationType.PropertyValue); 301 info = getLocationInfo(`TableLayout { margins: 2 }`, 24); 302 assert(info.itemScope == ["TableLayout", "margins"]); 303 assert(info.type == LocationType.PropertyValue); 304 info = getLocationInfo( 305 "TableLayout { margins: 20; padding : 10\n\t\tTextWidget { text: \"} foobar\" } } ", int.max); 306 assert(info.itemScope == [""]); 307 assert(info.type == LocationType.RootMember); 308 info = getLocationInfo( 309 "TableLayout { margins: 20; padding : 10\n\t\tTextWidget { text: \"} foobar\"; } }", 69); 310 assert(info.itemScope == ["TableLayout", "TextWidget", "text"]); 311 assert(info.type == LocationType.PropertyValue); 312 info = getLocationInfo("TableLayout {\n\t", int.max); 313 assert(info.itemScope == ["TableLayout", ""]); 314 assert(info.type == LocationType.Member); 315 info = getLocationInfo(`TableLayout { 316 colCount: 2 317 margins: 20; padding: 10 318 backgroundColor: "#FFFFE0" 319 TextWidget { 320 t`, int.max); 321 assert(info.itemScope == ["TableLayout", "TextWidget", "t"]); 322 assert(info.type == LocationType.Member); 323 }