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

Merge remote-tracking branch 'origin/master'

Browse Source
This commit is contained in:
Ekaterina Tuzova
2013-04-19 19:07:43 +04:00
parent d0de628451 b2816e58d0
commit 59f0cf2d45
31 changed files with 172 additions and 86 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();
}