<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Mon, Jun 15, 2015 at 3:56 PM Duncan P. N. Exon Smith <<a href="mailto:dexonsmith@apple.com">dexonsmith@apple.com</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I like this colour:<br>
<br>
    enum class AliasKind /* or AliasCategory? */ {<br>
      Null,<br>
      Unknown,<br>
      Partial,<br>
      Complete<br>
    };<br></blockquote><div><br></div><div>So, the only non-bikeshed-color argument I have (which is also referenced by Philip, but i couldn't reply to both) suggests we *really* want NoAlias,</div><div>MayAlias, and MustAlias, because these are terms of art in the literature (confirmed by DannyB who is a reasonable expert in alias analysis literature). I'm inclined to keep these names as a consequence. The natural extension is PartialAlias.</div><div><br></div><div>That leaves the question of the enumeration name. I think "AliasResult" is my new found favorite. Danny gave me a reason: these are really results of a particular query, not just abstract kinds of aliasing... And its shorter than AliasRelationship. =]</div><div><br></div><div>Thoughts?</div></div></div>