code: public synchronized void setTypeCheckedStatus(boolean checked)
  	{
  		this.isTypeChecked = true;
  		this.isTypeCorrect = checked;
  		this.checkedTime = new Date();
  		if (checked)
  		{
  			fireModelCheckedEvent();
  		}
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.ide.core.ast.IVdmElement#setChecked(boolean)