uio-jpt/pt-compiler — Issue #8: felt i required types
Author: svk
Created: 2012-01-20 08:56:35+00:00
State: open

I required classes skal en kunne ha felt, altså f.eks. required class Point { int x, y; }

Feltene skal være tilgjengelig for kode i templaten (dette skjer nesten automatisk).

Feltene skal selvfølgelig "arves" videre i t-hierarkiet (følge RTen), og skal også kunne slås sammen om kolliderende felter har eksakt samme type (ellers feil). Det skal sjekkes at den konkretiserende klassen har de påkrevde feltene.

Required classes med felt kan ikke autokonkretiseres (?).