KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Disjoining example conflicts with textual description

  • Key: KERML-110
  • Status: open  
  • Source: Self ( Jim Ciarcia)
  • Summary:

    Third Paragraph

    disjoining disjoint Person::parents from Person::children {
    	doc /* No Person can be their own parent. */
    }
    

    The documentation does not reflect the actual disjoining being performed.
    The disjoin separates a person's parents set from that person's children set.
    Thus the disjoin is not about the person himself
    Either fix the documentation to say "A person's parents can't also be their children, and visa versa."
    or fix the disjoining
    disjoining disjoint Person::self from Person::parents

  • Reported: KerML 1.0b1 — Sun, 9 Jul 2023 23:11 GMT
  • Updated: Mon, 8 Apr 2024 21:42 GMT