Assignments to derived properties should not be allowed
The typechecker does not catch assignments (or inputs) to derived properties.
entity Foo{
Submitted on 10 February 2010 at 08:41
title :: String
name :: String := title
function update(x : String) {
this.name := x;
}
}