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,				IOdaExtendableElementModel.EXTENSION_ID_PROP );		assert extensionID != null;		if ( !extensionID.equalsIgnoreCase( parentExt ) )			throw new ExtendsException( element, parent,					ExtendsException.DESIGN_EXCEPTION_WRONG_EXTENSION_TYPE );	}