eu.vaadinonkotlin.vaadin8.jpa

Class JPADataProviderKt

eu.vaadinonkotlin.vaadin8.jpa.JPADataProviderKt

public class JPADataProviderKt

Method Summary

Modifier and Type	Method and Description
static <T> com.vaadin.data.provider.DataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter>	and(com.vaadin.data.provider.DataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver, JPAFilter other) Produces a new data provider which restricts rows returned by the original data provider to given filter.
static <T> com.vaadin.data.provider.DataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter>	and(com.vaadin.data.provider.DataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver, kotlin.jvm.functions.Function1<? super eu.vaadinonkotlin.vaadin8.jpa.JPAWhereBuilder<T>,? extends eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> block) Produces a new data provider which restricts rows returned by the original data provider to given filter. Allows you to write expressions like this: jpaDataProvider().and { Person::age lt 25 } See class JPAWhereBuilder for a complete list of applicable operators.
static JPAFilter	and(java.util.Set<? extends eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver)
static <T> com.vaadin.data.provider.ConfigurableFilterDataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter>	configurableFilter(com.vaadin.data.provider.DataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver) Wraps this data provider in a configurable filter, regardless of whether this data provider is already a configurable filter or not.
static JPAFilter	or(java.util.Set<? extends eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver)
static <T> void	setFilter(com.vaadin.data.provider.ConfigurableFilterDataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver, kotlin.jvm.functions.Function1<? super eu.vaadinonkotlin.vaadin8.jpa.JPAWhereBuilder<T>,? extends eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> block) Removes the original filter and sets the new filter. Allows you to write expressions like this: jpaDataProvider().and { Person::age lt 25 }. See class JPAWhereBuilder for a complete list of applicable operators.

Method Detail

configurableFilter

public static <T> com.vaadin.data.provider.ConfigurableFilterDataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> configurableFilter(com.vaadin.data.provider.DataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver)

Wraps this data provider in a configurable filter, regardless of whether this data provider is already a configurable filter or not.

Returns:

data provider which can be configured to always apply given filter.

and

public static <T> com.vaadin.data.provider.DataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> and(com.vaadin.data.provider.DataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver,
                                                                                                       JPAFilter other)

Produces a new data provider which restricts rows returned by the original data provider to given filter.

Invoking this method multiple times will restrict the rows further.

Parameters:

other - applies this filter

and

public static <T> com.vaadin.data.provider.DataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> and(com.vaadin.data.provider.DataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver,
                                                                                                       kotlin.jvm.functions.Function1<? super eu.vaadinonkotlin.vaadin8.jpa.JPAWhereBuilder<T>,? extends eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> block)

Produces a new data provider which restricts rows returned by the original data provider to given filter. Allows you to write expressions like this: jpaDataProvider().and { Person::age lt 25 } See class JPAWhereBuilder for a complete list of applicable operators.

Invoking this method multiple times will restrict the rows further.

Parameters:

block - the block which allows you to build the where expression.

See Also:

class JPAWhereBuilder

setFilter

public static <T> void setFilter(com.vaadin.data.provider.ConfigurableFilterDataProvider<T,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter,eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver,
                                 kotlin.jvm.functions.Function1<? super eu.vaadinonkotlin.vaadin8.jpa.JPAWhereBuilder<T>,? extends eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> block)

Removes the original filter and sets the new filter. Allows you to write expressions like this: jpaDataProvider().and { Person::age lt 25 }. See class JPAWhereBuilder for a complete list of applicable operators.

Invoking this method multiple times will overwrite the previous filter.

Parameters:

block - the block which allows you to build the where expression.

See Also:

class JPAWhereBuilder

and

public static JPAFilter and(java.util.Set<? extends eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver)

or

public static JPAFilter or(java.util.Set<? extends eu.vaadinonkotlin.vaadin8.jpa.JPAFilter> $receiver)