throw new ExtendsException( element, parent, ExtendsException.DESIGN_EXCEPTION_WRONG_EXTENSION_TYPE );
throw new WrongTypeException( element, parent, WrongTypeException.DESIGN_EXCEPTION_WRONG_EXTENSION_TYPE );
	public void checkExtends( DesignElement parent ) throws ExtendsException	{		String parentExt = (String) parent.getProperty( null,				IExtendedItemModel.EXTENSION_NAME_PROP );		assert extensionName != null;		if ( !extensionName.equalsIgnoreCase( parentExt ) )			throw new ExtendsException( element, parent,					ExtendsException.DESIGN_EXCEPTION_WRONG_EXTENSION_TYPE );	}