psi过滤直接用JavaRecursiveElementVisitor过滤PsiMethodCallExpression会发现只识别到了collect的调用 因为JavaRecursiveElementVisitor的逻辑是当一个节点满足要求后，下一个继续的节点是nextSibing C 0123456789 //com/intellij/psi/impl/source/tree/CompositePsiElement.java:62@Overridepublic void acceptChildren(@NotNull PsiElementVisitor visitor) { PsiElement child = getFirstChild(); while (child != null) { ...
20220721数据库基础-谓词逻辑转写sql
20220721数据库原理 同事在学数据库，问我这个题，重新总结下我上学时候的经典套路 这个套路针对任意存在性和任意性判定的sql编写或集合运算，当时数据库老师疯狂改题目条件，导致sql毫无规律且从字面含义上难以正向理解运算逻辑。为了考试以不变应万变总结了这个套路，核心思想是不要纠结于最终sql的语法表达，而是通过逻辑化简来确保集合元素的正确性，化简后再转写成sql 主要运用集合论、关系代数基础以及离散数学的谓词逻辑，这些应该是我要做sql自动生成和优化的理论基础 题目经典的三张表如下 学生表s(sid,sname) 课程表c(cid, ...
20220628编译原理读书笔记
/* From extension vscode.github */ /*--------------------------------------------------------------------------------------------- * Copyright (c) Microsoft Corporation. All rights reserved. * Licensed under the MIT License. See License.txt in the project root for license information. *--------------------------------------------------------------------------------------------*/ .vscode-dark img[src$=\#gh-light-mode-only], .vscode-light img[src$=\#gh-dark-mode-only] { display: ...
20220622编译原理读书笔记
/* From extension vscode.github */ /*--------------------------------------------------------------------------------------------- * Copyright (c) Microsoft Corporation. All rights reserved. * Licensed under the MIT License. See License.txt in the project root for license information. *--------------------------------------------------------------------------------------------*/ .vscode-dark img[src$=\#gh-light-mode-only], .vscode-light img[src$=\#gh-dark-mode-only] { display: ...
20220621现代密码学读书笔记
/* From extension vscode.github */ /*--------------------------------------------------------------------------------------------- * Copyright (c) Microsoft Corporation. All rights reserved. * Licensed under the MIT License. See License.txt in the project root for license information. *--------------------------------------------------------------------------------------------*/ .vscode-dark img[src$=\#gh-light-mode-only], .vscode-light img[src$=\#gh-dark-mode-only] { display: ...
20220616现代密码学读书笔记
/* From extension vscode.github */ /*--------------------------------------------------------------------------------------------- * Copyright (c) Microsoft Corporation. All rights reserved. * Licensed under the MIT License. See License.txt in the project root for license information. *--------------------------------------------------------------------------------------------*/ .vscode-dark img[src$=\#gh-light-mode-only], .vscode-light img[src$=\#gh-dark-mode-only] { display: ...
20220615国内编译projector&idea-sdk-demo
自行编译client gradle\wrapper\gradle-wrapper.properties这里可以修改gradlew的依赖地址distributionUrl，改成速度快的url就行，注意冒号要转义 projector-client的electron和web的依赖还好，一次成功了 修改projector-client-web\src\main\kotlin\org\jetbrains\projector\client\web\window\WebWindowManager.kt 注释掉stateMachine.fire DeactivationEvent后可以让projector一直处于前台，避免命令行调用idea失败 修改/root/.config/JetBrains/IdeaIC2021.2/idea64.vmoptions，增加 -Djava.awt.headless=true 可以在projector中 ...
