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