Collection of Rules = Generic Function

• Declared with @dispatch.generic()

• @dispatch.generic() def hasPermission(self,user,perm,subject): """Does 'user' have permission 'perm' for 'subject'?"""

• Selects applicable rules

  • i.e., those whose predicate is true

• Determines which rule bodies to execute

  • Usually, the one whose predicate is most specific

Notes: