Page MenuHomeSoftware Heritage
Differential D1842

Rename SwhId to SwhPID
ClosedPublic
Actions

Authored by haltode on Aug 12 2019, 10:53 AM.

Details

Reviewers
zack
seirl
Commits
rDGRPH88bfedaf9883: server: rename SwhId to SwhPID
Summary

More consistent with the documentation and the rest of the code.

Diff Detail

Repository
rDGRPH Compressed graph representation
Branch
rename-swh-id
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 7222
Build 10200: tox-on-jenkinsJenkins
Build 10199: arc lint + arc unit

Event Timeline

haltode created this revision.Aug 12 2019, 10:53 AM
swh-public-ci added a comment.Aug 12 2019, 10:54 AM

Build has FAILED

Link to build: https://jenkins.softwareheritage.org/job/DGRPH/job/tox/1/
See console output for more information: https://jenkins.softwareheritage.org/job/DGRPH/job/tox/1/console

Harbormaster failed remote builds in B7222: Diff 6194!Aug 12 2019, 10:54 AM
This revision was not accepted when it landed; it landed in state Needs Review.Aug 12 2019, 11:52 AM
This revision was landed with ongoing or failed builds.
Closed by commit rDGRPH88bfedaf9883: server: rename SwhId to SwhPID (authored by haltode). · Explain Why
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
java/
server/
src/
main/
java/
org/
softwareheritage/
graph/
12 lines
70 lines
20 lines
SwhPID.java
SwhId.java
30 lines
68 lines
backend/
34 lines
28 lines
test/
java/
org/
softwareheritage/
graph/
70 lines
96 lines
134 lines
16 lines

Diff 6194

View Options

java/server/src/main/java/org/softwareheritage/graph/App.java

Loading...
View Options

java/server/src/main/java/org/softwareheritage/graph/Endpoint.java

Loading...
View Options

java/server/src/main/java/org/softwareheritage/graph/Graph.java

Loading...
View Options

java/server/src/main/java/org/softwareheritage/graph/SwhId.java

Loading...
View Options

java/server/src/main/java/org/softwareheritage/graph/SwhPID.java

Loading...
View Options

java/server/src/main/java/org/softwareheritage/graph/SwhPath.java

Loading...
View Options

java/server/src/main/java/org/softwareheritage/graph/backend/NodeIdMap.java

Loading...
View Options

java/server/src/main/java/org/softwareheritage/graph/backend/Setup.java

Loading...
View Options

java/server/src/test/java/org/softwareheritage/graph/LeavesTest.java

Loading...
View Options

java/server/src/test/java/org/softwareheritage/graph/NeighborsTest.java

Loading...
View Options

java/server/src/test/java/org/softwareheritage/graph/VisitTest.java

Loading...
View Options

java/server/src/test/java/org/softwareheritage/graph/WalkTest.java

Loading...
About · Developer information · Legal