HCoop
/
hcoop
/
zz_old
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make list request instructions correct
[hcoop/zz_old/portal.git]
/
support.sig
diff --git
a/support.sig
b/support.sig
index
2c5e127
..
c94edc1
100644
(file)
--- a/
support.sig
+++ b/
support.sig
@@
-6,7
+6,8
@@
sig
| CLOSED
type category = { id : int, grp : int, name : string, descr : string }
| CLOSED
type category = { id : int, grp : int, name : string, descr : string }
- type issue = { id : int, usr : int, cat : int, title : string, priv : bool, status : status, stamp : Init.C.timestamp }
+ type issue = { id : int, usr : int, cat : int, title : string, priv : bool, status : status,
+ stamp : Init.C.timestamp, pstamp : Init.C.timestamp option, cstamp : Init.C.timestamp option }
type post = { id : int, usr : int, iss : int, body : string, stamp : Init.C.timestamp }
type subscription = { usr : int, cat : int }
type post = { id : int, usr : int, iss : int, body : string, stamp : Init.C.timestamp }
type subscription = { usr : int, cat : int }
@@
-19,12
+20,16
@@
sig
val lookupIssue : int -> issue
val listIssues : unit -> issue list
val lookupIssue : int -> issue
val listIssues : unit -> issue list
+ val listOpenIssues : int -> (string * issue) list
+ val listCategoryIssues : int -> (string * issue) list
+ val listOpenCategoryIssues : int * int -> (string * issue) list
+ val listOpenCategoryIssuesAdmin : int -> (string * issue) list
val addIssue : int * int * string * bool * status -> int
val modIssue : issue -> unit
val deleteIssue : int -> unit
val lookupPost : int -> post
val addIssue : int * int * string * bool * status -> int
val modIssue : issue -> unit
val deleteIssue : int -> unit
val lookupPost : int -> post
- val listPosts : int ->
post
list
+ val listPosts : int ->
(string * post)
list
val addPost : int * int * string -> int
val modPost : post -> unit
val deletePost : int -> unit
val addPost : int * int * string -> int
val modPost : post -> unit
val deletePost : int -> unit
@@
-32,4
+37,12
@@
sig
val subscribed : subscription -> bool
val subscribe : subscription -> unit
val unsubscribe : subscription -> unit
val subscribed : subscription -> bool
val subscribe : subscription -> unit
val unsubscribe : subscription -> unit
+
+ val validTitle : string -> bool
+ val allowedToSee : int -> bool
+ val allowedToEdit : int -> bool
+
+ val notifyCreation : int -> bool
+ val notifyPost : int -> bool
+ val notifyStatus : int * status * status * int -> bool
end
\ No newline at end of file
end
\ No newline at end of file