(self)
| 153 | self.project_dir.cleanup() |
| 154 | |
| 155 | def send_init(self): |
| 156 | self.send( |
| 157 | { |
| 158 | "jsonrpc": "2.0", |
| 159 | "method": "initialize", |
| 160 | "id": 1, |
| 161 | "params": { |
| 162 | "processId": None, |
| 163 | "rootUri": None, |
| 164 | "capabilities": {}, |
| 165 | "workspaceFolders": [ |
| 166 | { |
| 167 | "uri": f"file://{self.project_dir.name}", |
| 168 | "name": "main workspace", |
| 169 | } |
| 170 | ], |
| 171 | }, |
| 172 | } |
| 173 | ) |
| 174 | self.recv() # Init response |
| 175 | |
| 176 | def print_logs(self): |
| 177 | # Prints log messages sent by the server since last call. |
no test coverage detected