MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-01 19:02:13 +07:00
Code Issues Packages Projects Releases Wiki Activity

[vcs-log] minor: NotNull annotations

Browse Source
This commit is contained in:
Julia Beliaeva
2016-04-12 23:58:42 +03:00
parent c6a35c6daa
commit 10271c741b
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/vcs-log/graph/src/com/intellij/vcs/log/graph/impl/print/AbstractPrintElementGenerator.java
+4 -2
View File
@@ -93,14 +93,16 @@ public abstract class AbstractPrintElementGenerator implements PrintElementGener
return result;
}
private SimplePrintElementImpl createSimplePrintElement(int rowIndex, SimpleRowElement rowElement) {
@NotNull
private SimplePrintElementImpl createSimplePrintElement(int rowIndex, @NotNull SimpleRowElement rowElement) {
return new SimplePrintElementImpl(rowIndex, rowElement.myPosition, rowElement.myElement, myPrintElementManager);
}
@NotNull
private EdgePrintElementImpl createEdgePrintElement(int rowIndex,
@NotNull ShortEdge shortEdge,
@NotNull EdgePrintElement.Type type,
@NotNull boolean hasArrow) {
boolean hasArrow) {
int positionInCurrentRow, positionInOtherRow;
if (type == EdgePrintElement.Type.DOWN) {
positionInCurrentRow = shortEdge.myUpPosition;
platform/vcs-log/graph/src/com/intellij/vcs/log/graph/impl/print/elements/PrintElementWithGraphElement.java
+1
View File
@@ -64,6 +64,7 @@ public abstract class PrintElementWithGraphElement implements PrintElement {
return myPrintElementManager.isSelected(this);
}
@NotNull
public static PrintElementWithGraphElement converted(@NotNull PrintElementWithGraphElement element,
@NotNull GraphElement convertedGraphElement) {
return new PrintElementWithGraphElement(element.getRowIndex(), element.getPositionInCurrentRow(), convertedGraphElement,