This is an old revision of the document!
createSheet(ident id, ident sheetId, double maxPoints) { assume exists //exercises/exercise[id]; assume not exists //exercises/exercise[id]/sheets/sheet[sheetId]; assume maxPoints >= 0; insert //exercises/exercise[id]/sheets <sheet id=[sheetId] maxPoints=[maxPoints] />; } # roles: assistant[id]