Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

[ts] Handle field ref that refer to the method

Aperta
  • Qualcosa non va?
#298 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
3/5
Tempo stimato
1-2 giorni
Idoneità per principianti
45/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
kotlin
Ambito
devtools

Direzione di ricerca

Start in usvm-ts/src/main/kotlin/org/usvm/util/EtsFieldResolver.kt at the field-resolution logic around line 61, then inspect how EtsClass::fields and EtsClass::methods are represented. Confirm that an InstanceFieldRef such as obj.callback = this.doAction resolves when doAction is a method rather than a field.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

We need to handle InstanceFieldRef when "field" is actually a method. For example, obj.callback = this.doAction. Currently, the field resolution fails due to the absence of doAction field among EtsClass::fields, since it is in EtsClass::methods.

Lingua principale
Kotlin
Stelle
33
Fork
27
Merge medio
2g 20h
PR unite (30g)
9

Preparare l'ambiente

Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di UnitTestBot/usvm

Tutte le issue di UnitTestBot/usvm

Issue simili

Altre issue su Kotlin

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.