rdts
API
Generated with
rdts/rdts/rdts.filters/FilterDerivation/ProductTypeFilter

ProductTypeFilter

rdts.filters.FilterDerivation.ProductTypeFilter
class ProductTypeFilter[T](pm: ProductOf[T], productBottom: Bottom[T], factorLabels: Map[String, Int], factorBottoms: IArray[Bottom[Any]], factorFilters: IArray[Filter[Any]])

Attributes

Graph
Supertypes
trait Filter[T]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def filter(delta: T, permissionTree: PermissionTree): T

Attributes

Definition Classes

Inherited methods

override def minimizePermissionTree(permissionTree: PermissionTree): PermissionTree

Attributes

Definition Classes
AlgebraicFilter -> Filter
Inherited from:
AlgebraicFilter (hidden)
override def validatePermissionTree(permissionTree: PermissionTree): Unit

Checks whether all children labels are the field/type names of this product and validates the filters for the children.

Checks whether all children labels are the field/type names of this product and validates the filters for the children.

Value parameters

permissionTree

The tree to check

Attributes

Definition Classes
AlgebraicFilter -> Filter
Inherited from:
AlgebraicFilter (hidden)
Generated with