Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
G
grew
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 5
    • Issues 5
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • Operations
    • Operations
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
  • grew
  • grew
  • Issues
  • #5

Closed
Open
Opened Jul 13, 2018 by POGODALLA Sylvain@pogodall

keep node names/node identifiers in grew grep

The output of grew grep (at least for graphs declared using the grew format) refers to node with internal identifiers, not with the ones that are given in the grew file.

Example: with example.gr being:

graph {
Noeud1 [vocable="toto"];
Noeud2 [vocable="titi"];
Noeud1 -[forme]-> Noeud2;
}

and pattern-example being:

pattern {N -[forme]-> M}

then grew grep -pattern pattern-example -i example.gr returns:

[ { "sent_id": "example.gr", "matching": { "N": "0", "M": "1" } } ]

It would be more useful to have something like:

[ { "sent_id": "example.gr", "matching": { "N": "Noeud1", "M": "Noeud2" } } ]
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None
Reference: grew/grew#5