View interface extensions

public interface UiFrameworkView extends View {

    @Override
    default Component asVaadinComponent() {
		...
    }

    /**
     * Cleans up the related bean store, un-registers this
     * view from the {@link ViewContextKeyRegistry view registry},
     * detaches the from the parent Vaadin component,
     * recursively destroys the child views.
     */
    default void destroy() {
		...
    }

    /**
     * Put an instance into the view's bean storage, making it
     * injectable with {@link ViewComponentProvider}.
     */
    default <T> void bindInstance(Class<T> type, T instance) {
        accessViewBeanStore().put(type, instance);
    }

    /**
     * Create and bind an instance of the view context. The provided argument is typically an interface,
     * whose implementation is auto-generated on the fly.
     *
     * The instance of the view context is the stored in the view's bean storage and share
     * in similar fashion link {@link #bindInstance(Class, Object)} does.
     */
    default <T extends ViewContext> T bindContext(Class<? extends T> contextClass) {
        final T context = new ViewContextProxy().createViewContext(contextClass);
        accessViewBeanStore().put(contextClass, context);
        return context;
    }

    /**
     * Shares datasource definition information with the sub-views and components.
     * Datasource definition provides framework with the hints regarding which
     * implementation to choose for the domain-specific interfaces.
     */
    default void bindDatasourceDefinition(Object definition) {
        accessViewBeanStore().put(DatasourceHolder.class, new DatasourceHolder(definition));
    }

    /**
     * Convenience wrapper around {@link ComponentProvider} capabilities.
     * Creates and instance of a type specified by a passed {@link WithImplementation} instance.
     */
    default <T> T create(WithImplementation<T> definition, Object... args) {
        return getComponentProvider().newInstance(definition.getImplementationClass(), Util.appendToArray(args, definition));
    }

    /**
     * Convenience wrapper around {@link ComponentProvider} capabilities.
     */
    default <T> T create(Class type, Object... args) {
        //noinspection unchecked
        return getComponentProvider().newInstance((Class<T>) type, args);
    }

    default ViewProvider getViewProvider() {
        return new ViewProviderImpl(getCurrentViewReference());
    }

    default ComponentProvider getComponentProvider() {
        return new ViewComponentProvider(getCurrentViewReference());
    }

    default UiContextReference getCurrentViewReference() {
        return ViewContextKeyRegistry.access()
                .lookUp(this)
                .orElseGet(() -> CurrentUiContextReference.get().getUiContextReference());
    }

    default BeanStore accessViewBeanStore() {
        return SessionStore.access().getBeanStore(getCurrentViewReference());
    }
}