DISJOINT_TYPE
Content copied to clipboard
The definition's signature and the criterion have ⊥ as their nearest common descendant. Thus, there are no tuples of actual arguments that satisfy both signatures simultaneously. This is a useful distinction from UNRELATED_TYPE, since a successful test against the criterion eliminates the other definition from being considered possible.
Functions
Link copied to clipboard
fun <Element : A_BasicObject> applyEffect( undecidedDefinition: Element, ifPositive: MutableList<Element>, ifUndecided: MutableList<Element>)
Content copied to clipboard
Conditionally augment the supplied lists with the provided undecided Element. The decision of which lists to augment depends on this instance, which is the result of a comparison with the proposed node's type restrictions.