RE: [sarif] Should we call them "directedGraph" and "directedEdge"?

YAGNI is a concern here. 

 

What static analysis problem do we foresee that might require an undirected graph?

From:  <>
On Behalf Of Larry Golding (Comcast)

Sent: Monday, April 2, 2018 2:17 PM

To: 

Subject: [sarif] Should we call them "directedGraph" and "directedEdge"?

Importance: High

 

… in case we ever want to introduced undirected graphs?

 

Larry