verifier doesn't check that every node has a "kind" (and probably some other semantic validations are missing)


This came up when I added a "named" edge ... the target should have had a "name" kind but the verifier didn't flag that. (Also, the documentation didn't mention this, although that's been fixed)

If there are additional semantic rules, they should also be documented and enforced. (e.g., that an anchor is a childof a file)

[The verifier does check that a node has at most one "kind", although this seems to be a side-effect of checking that there aren't two inconsistent facts for a node]

pludemann created this task.Via WebJun 23 2016, 11:56 AM
pludemann added a subscriber: pludemann.
salguarnieri triaged this task as "Normal" priority.Via WebDec 8 2016, 6:03 PM
salguarnieri added a subscriber: salguarnieri.

Add Comment