MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

NotNull

Browse Source
This commit is contained in:
Alexey Kudravtsev
2013-04-18 13:10:56 +04:00
parent fb3b8387d9
commit eb3aa615c5
17 changed files with 53 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/psi-api/src/com/jetbrains/python/psi/PyStubElementType.java
+2 -1
View File
@@ -24,9 +24,10 @@ public abstract class PyStubElementType<StubT extends StubElement, PsiT extends
public abstract PsiElement createElement(@NotNull final ASTNode node);
public void indexStub(final StubT stub, final IndexSink sink) {
public void indexStub(@NotNull final StubT stub, @NotNull final IndexSink sink) {
}
@NotNull
public String getExternalId() {
return "py." + super.toString();
}