(pattern: Pattern)
| 20 | |
| 21 | // Helper to extract nodes from a Pattern |
| 22 | function getNodes(pattern: Pattern): NodePattern[] { |
| 23 | return pattern.elements.filter((e): e is NodePattern => e.type === "NodePattern"); |
| 24 | } |
| 25 | |
| 26 | // Helper to extract edges from a Pattern |
| 27 | function getEdges(pattern: Pattern): EdgePattern[] { |
no test coverage detected