Revisar la implementación de methodExists

[PalumboN]

          Esto estoy 99% seguro que existe en el LSP (tal vez ya se migro a ts?)

Originally posted by @ivojawer in #337 (comment)

Nueva definición

Queremos revisar/mejorar la implementación de methodExists: agregar testeos para agregar estos casos

• envío de mensajes a self para un Singleton: caso en que lo encuentra y en que no
• envío de mensajes a self para una referencia a una class: caso en que lo encuentra y en que no
• envío de mensajes a self para una referencia a un mixin: caso en que lo encuentra y en que no
• envío de mensajes a super en Singleton: solo hay un caso, lo tiene que dar por válido (hay otros tests que validan un Singleton que no hereda y se rompe, es otro error)
• envío de mensajes a super para una referencia a una class: solo hay un caso, lo tiene que dar por válido
• envío de mensajes a super para una referencia a un mixin: solo hay un caso, lo tiene que dar por válido
• ver otros casos

[fdodino]

@PalumboN @ivojawer hay dos métodos

export const existMethodFor = (send: Send): boolean =>
  allAvailableMethods(send.environment).some(method => method.matchesSignature(send.message, send.numArgs))

export const methodExists = (node: Send): boolean => match(node.receiver)(
  when(Self)(selfNode => {
    const allAncestors = selfNode.ancestors.filter(ancestor => ancestor.is(Module))
    return isEmpty(allAncestors) || allAncestors.some(ancestor => (ancestor as Module).lookupMethod(node.message, node.args.length, { allowAbstractMethods: true }))
  }),
  when(Reference)(referenceNode => {
    const receiver = referenceNode.target
    return !receiver?.is(Module) || isBooleanMessage(node) || !!receiver.lookupMethod(node.message, node.args.length, { allowAbstractMethods: true })
  }),
  otherwise(() => true),
)

no estoy muy seguro de si están usándose para el mismo objetivo...

[fdodino]

existMethodFor => no se usa más
methodExists => sí se usa

[PalumboN]

Mmm que raro, porque no hacen no mismo, y de hecho el que se usa intenta hacer magia pero sino devuelve true....

1.sarlompa() => true ???

Yo esperaría que el segundo use el primero como default 🤔

[PalumboN]

Y también tengo mis dudas para la implementación de self

[fdodino]

Ok señor Rasta, tiene razón (no se todavía sobre self), dos cosas

1. faltan tests sobre este método mágico
2. cambiemos entonces el scope de este ticket (ya lo hago)

[PalumboN]

Me recontra va! Podemos

• hacer tests más piolas y corroborar si lo que dice el Rasta del pasado es cierto
• analizar qué herramientas usan estas funciones y cómo afecta si las cambiamos