WETO tarkistaa palautuksia automaattisesti tulosteita vertailemalla ja tutkimalla luokkien rakennetta ja toiminnallisuutta.

Varmista edelleen tulosteita vertailemalla tarkistettavissa tehtävissä, että ohjelmasi toimii esimerkkien mukaisesti. Huomaa, että rivien alkuun tai loppuun ei tulosteta välilyöntejä ja että kaikki tulostettavat rivit – viimeinen rivi mukaan lukien – päätetään rivinvaihtoon. Tulosteiden vertailusta ja WETOn tekemistä tyylitarkistuksista on kerrottu tarkemmin Lausekielinen ohjelmointi I -kurssin ohjeissa.

Ohjelmien rakenteen ja toiminnallisuuden automaattinen tarkistus on tarkempaa kuin Lausekielinen ohjelmointi II -kurssilla, jonka käytänteitä on kuvattu täällä.

Suurin ero aiempaan kurssiin on se, että tavalliset (vakioimattomat) attribuutit ovat sallittuja ja että muutkin näkyvyysmääreet kuin public ovat mahdollisia.

Täysin uutta on se, että yksityiskohtaisemman tarkistuksen vuoksi luokan rakenne on usein kiinnitetty siten, että attribuuttien nimet on määritelty tehtävänannossa.

Tavalliset attribuutit oletetaan private-määreen avulla kätketyiksi ja attribuutin aksessoreista oletetaan seuraavaa:

• Aksessorit on määritelty julkisiksi public-määreellä.
• Aksessorit on nimetty kuormittaen siten, että sekä luku- että asetusmetodien tunnuksena käytetään attribuutin tunnusta sellaisenaan.
• Lukumetodit ovat parametrittomia ja niiden tyypit ovat samat kuin vastaavien attribuuttien tyypit.
• Asetusmetodit ovat void-tyyppiä ja kullakin niistä on attribuuttinsa tyypin mukainen parametri.

Jos luokassa on esimerkiksi int-tyyppinen paino-attribuutti, WETO olettaa sen aksessoreiden otsikoiden olevan parametrin tunnusta kg lukuunottamatta:

public int paino()
public void paino(int kg)

Näin yllä annettu asettaja voitaisiin määritellä myös esimerkiksi näin:

public void paino(int uusiPaino)

koska asettavien metodien parametrien tunnukset ovat vapaavalintaisia.

Tehtävässä mainitaan, jos attribuutti tai aksessori tulee määritellä oletetusta poikkevalla tavalla.

Tehtävänannossa määritellyn piirteen haku on tyypillinen rakennetesti. Määrittele siksi luokan piirteet täsmälleen tehtävässä pyydetyllä tavalla. Älä käytä esimerkiksi static-määrettä tarpeettomasti.

WETO voi arvioida luokan toimintaa kutsumalla sen metodeja suoraan testiluokan ohi sekä oikeellisilla että virheellisillä syötteillä.