Function buildTarget_sources

server.py:449–466

(message)

        }

    def buildTarget_sources(message):
        params: dict = message["params"]
        items = []
        for target in params["targets"]:
            if target["uri"] == "dummy://dummy":
                items.append({
                    "target": target,
                    "sources": [
                        {
                            # TODO: 换成真实的target和sources
                            "uri": Path(shared_state.root_path).as_uri(),
                            "kind": 2, # 1: file, 2: directory
                            "generated": False
                        }
                    ]
                })

        return {"jsonrpc": "2.0", "id": message["id"], "result": {"items": items }}

    def textDocument_registerForChanges(message):
        # empty response, ensure response before notification