如何检查 ${PROJECT_DIR_NAME} 等 eclipse 属性的值?

How to check the value of eclipse properties like ${PROJECT_DIR_NAME}?

我正在使用 Eclipse 的 PyDev 插件。我看到如下一些属性:

我猜这是一些 eclipse 内置属性(不确定这是否是规范名称)。我搜索了一下,但没有成功。

这些属性是在哪里定义的?如何查看它们的值?

只有来自 PyDev 的预定义变量:PROJECT_DIR_NAME.

然后是“ECLIPSE_HOME,PARENT_LOC,WORKSPACE_LOC PROJECT_LOC”来自 Eclipse。

其他变量必须自己在3个不同的地方手动创建:

  1. 与项目关联的字符串替换变量(在项目 properties > PyDev - PYTHONPATH -- 即:在同一个 window最右边的选项卡)。

  2. 与Python解释器关联的字符串替换变量(在首选项> PyDev>解释器> Python解释器>最右边的选项卡中) .

  3. Path Variables in Preferences > General > Workspace > Linked Resources > Path variables(关联到工作空间)。

变量可用于源文件夹或外部库。

相关代码:https://github.com/fabioz/Pydev/blob/bbe7874a527a583c5214ade594f45d4cc35d3ab7/plugins/org.python.pydev.core/src/org/python/pydev/core/docutils/StringSubstitution.java