Permission;defined in: permission.key Line: 6 Offset :4PermissionOwnerList;defined in: permission.key Line: 7 Offset :4 \unique Object currentThread ; defined in: permission.key Line: 11 Offset :4 PermissionOwnerList emptyPermissionOwnerList ; defined in: permission.key Line: 15 Offset :4 PermissionOwnerList consPermissionOwnerList (Object , PermissionOwnerList ); defined in: permission.key Line: 16 Offset :4 PermissionOwnerList insertPermissionOwner (Object , Object , int , PermissionOwnerList ); defined in: permission.key Line: 19 Offset :4 PermissionOwnerList returnPermissionOwner (Object , PermissionOwnerList ); defined in: permission.key Line: 20 Offset :4 Permission emptyPermission ; defined in: permission.key Line: 25 Offset :4 Permission slice (PermissionOwnerList , Permission ); defined in: permission.key Line: 26 Offset :4 Permission transferPermission (boolean , Object , Object , int , Permission ); defined in: permission.key Line: 29 Offset :4 Permission returnPermission (Object , Object , Permission ); defined in: permission.key Line: 30 Offset :4 Permission initFullPermission ; defined in: permission.key Line: 33 Offset :4 PermissionOwnerList owner1 (Object ); defined in: permission.key Line: 34 Offset :4 PermissionOwnerList owner2 (Object , Object ); defined in: permission.key Line: 35 Offset :4 PermissionOwnerList owner3 (Object , Object , Object ); defined in: permission.key Line: 36 Offset :4 Permission slice1 (PermissionOwnerList ); defined in: permission.key Line: 39 Offset :4 Permission slice2 (PermissionOwnerList , PermissionOwnerList ); defined in: permission.key Line: 40 Offset :4 checkPermissionOwner (Object , int , PermissionOwnerList ); defined in: permission.key Line: 45 Offset :4 readPermissionObject (Object , Permission ); defined in: permission.key Line: 48 Offset :4 writePermissionObject (Object , Permission ); defined in: permission.key Line: 49 Offset :4 readPermission (Permission ); defined in: permission.key Line: 50 Offset :4 writePermission (Permission ); defined in: permission.key Line: 51 Offset :4 readPermissionOwe (Object , Object , Permission ); defined in: permission.key Line: 52 Offset :4 readPermissionOwe2 (Object , Object , Permission ); defined in: permission.key Line: 53 Offset :4 twoPermissions (Object , Object , Permission ); defined in: permission.key Line: 57 Offset :4 nonEmptyPermission (Permission ); defined in: permission.key Line: 58 Offset :4 permissionsFor (Heap , Heap ); defined in: permission.key Line: 60 Offset :4