suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adding check of not setting already initied field in beginner

Browse Source 
svn: r3359
This commit is contained in:
Kathy Gray 2006-06-14 17:53:56 +00:00
parent 17cdab0003
commit b4e198bb23
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/profj/check.ss
View File

@ -2613,6 +2613,11 @@
(rtype (type/env-t rtype/env))) (rtype (type/env-t rtype/env)))
(when (access? l-exp) (when (access? l-exp)
(check-final l-exp c-tor? static-init? c-class env)) (check-final l-exp c-tor? static-init? c-class env))
(when (and (eq? level 'beginner) c-tor?
(access? l-exp) (field-access? (access-name l-exp))
(var-access-init? (field-access-access (access-name l-exp))))
(ctor-illegal-assignment (field-access-field (access-name l-exp))
(expr-src l-exp)))
(make-type/env (make-type/env
(case op (case op
((=) ((=)
@ -3366,6 +3371,13 @@
(define (illegal-assignment src) (define (illegal-assignment src)
(raise-error '= "Assignment is only allowed in the constructor" '= src)) (raise-error '= "Assignment is only allowed in the constructor" '= src))
;ctor-illegal-assignment: id src -> void
(define (ctor-illegal-assignment name src)
(raise-error '=
(format "Field ~a has already been initialized and cannot be reassigned."
(id->ext-name name))
'= src))
(define (assignment-error op ltype rtype src) (define (assignment-error op ltype rtype src)
(raise-error op (raise-error op
(format "~a requires that the right hand type be equivalent to or a subtype of ~a: given ~a" (format "~a requires that the right hand type be equivalent to or a subtype of ~a: given ~a"