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

TerminalFilter

rdts.filters.FilterDerivation.TerminalFilter
class TerminalFilter[T] extends Filter[T]

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Definition Classes
override def minimizePermissionTree(permissionTree: PermissionTree): PermissionTree

Attributes

Definition Classes
override def validatePermissionTree(permissionTree: PermissionTree): Unit

Checks whether the permission tree is valid.

Checks whether the permission tree is valid.

  • Not DENY & ALLOW on the same level

  • All fields exist

Value parameters

permissionTree

The tree to check

Attributes

Returns

Success(the validated permission tree) or a Failure(with the cause).

Definition Classes
Generated with