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

I don’t know. But it's not like we'd be writing more code, we'd just be choosing a more future-proof name.

 

I don't have the context to know if it matters – just wanted to throw it out in case anyone cared.

 

Sent from my Windows 10 phone

 

From: Michael Fanning
Sent: Monday, April 2, 2018 7:18 PM
To: Larry Golding (Comcast); 
Subject: 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