generieke functie-oproep

[dodona-edu]

generieke functie-oproep

[ninewise]

'k Weet dat dit al closed is, maar:

Betere ondersteuning voor functies zonder return-waarde.

Ik zou suggereren om in de omgekeerde richting werken: alle functies moeten een return-waarde hebben. Tenslotte heeft elke python-functie een impliciete return None staan en zullen void-methoden in java reflectief iets van klasse Void teruggeven. Constructoren worden dan gewoon functies die een object van eigen type teruggeven.

[niknetniko]

alle functies moeten een return-waarde hebben

In theorie ben ik akkoord om functies zo te zien, maar in de praktijk zijn er toch enkele beperkingen waarom dat (nog) niet lukt.

Zoals je al aangaf is dit geen probleem in Python, waar de functie impliciet een return-waarde heeft. Bij Java ligt dat net iets moeilijker. Stel dat de student een echo-functie moet schrijven, iets als

static void echo(String argument) {
    System.out.print(argument);
}

Om uiteindelijk de testen uit te voeren, genereert de judge aan de hand van templates (gebruikt nu mako templates in Python) de testcode. Voor een functie-oproep wordt dan iets gegenereerd als

evaluator.evaluate(functieoproep(argumenten));

De evaluate-functie beoordeelt dan het resultaat hiervan (bv. door aan de taalspecifieke code te geven die de schrijver van de oefening gegeven heeft, of door het serialiseren zodat de judge zelf de waarde kan vergelijken met een verwachte waarde).

Dit resulteer in een .java-bestand, dat gecompileerd en uitgevoerd wordt. Als nu, zoals in het voorbeeld met echo, de op te roepen functie geen return-waarde heeft, dan zal dit niet compileren in Java, bv.

...
evaluator.evaluate(echo("Hallo")); // Werkt niet
...

Dit is de reden dat er specifieke ondersteuning voor functies zonder return-waarde toegevoegd is aan de code-generatie, zodat voor het voorbeeld dit gegenereerd wordt:

...
echo("Hallo");
...

(Bij het opstellen van het testplan moet uiteraard voor elke functie opgegeven worden wat de verwachte return-waarde is; en daar is het dan uiteraard gewoon een speciale waarde None, indien de functie geen return-waarde heeft)

Over het constructor-gedeelte moet nog nagedacht worden, ook omdat we dat misschien willen uitbreiden tot expressies/statements, aangezien het resultaat van de constructor-call ook ergens opgeslagen kan worden (om er dan bv. in een volgende testcase functies op aan te roepen).

[ninewise]

Als je inderdaad je methoden op die manier wilt aanroepen, heb je gelijk: je zal ofwel een apart type voor procedures moeten hebben, of in het template detecteren dat er geen return-type is.

Ik had de veronderstelling gemaakt dat je de Java-methoden zou aanroepen met behulp van reflectie (zodat het programma toch nog zou compileren als studenten een deel van de methoden nog niet implementeren) en daar is er geen onderscheid tussen procedures en functies, beide zijn gewoon Method. Dat valt misschien wel buiten de scope van deze thesis.