adamc@1004: open Meta
adamc@1001:
adamc@1001: functor Make(M : sig
adamc@1003: con paper :: {(Type * Type)}
adamc@1003: constraint [Id, Title] ~ paper
adamc@1003: val paper : $(map meta paper)
adamc@1003:
adamc@1001: con review :: {(Type * Type)}
adamc@1003: constraint [Paper, User] ~ review
adamc@1003: val review : $(map meta review)
adamc@1001: end) = struct
adamc@1001:
adamc@1003: table user : {Id : int, Nam : string, Password : string, Chair : bool, OnPc : bool}
adamc@1003: PRIMARY KEY Id,
adamc@1003: CONSTRAINT Nam UNIQUE Nam
adamc@1003: sequence userId
adamc@1003:
adamc@1003: con paper = [Id = int, Title = string] ++ map fst M.paper
adamc@1003: table paper : paper
adamc@1003: PRIMARY KEY Id
adamc@1003: sequence paperId
adamc@1003:
adamc@1003: con review = [Paper = int, User = int] ++ map fst M.review
adamc@1003: table review : review
adamc@1003: PRIMARY KEY (Paper, User),
adamc@1003: CONSTRAINT Paper FOREIGN KEY Paper REFERENCES paper(Id),
adamc@1003: CONSTRAINT User FOREIGN KEY User REFERENCES user(Id)
adamc@1003: sequence reviewId
adamc@1003:
adamc@1003: cookie login : {Id : int, Password : string}
adamc@1003:
adamc@1004: val checkLogin =
adamc@1003: r <- getCookie login;
adamc@1003: case r of
adamc@1003: None => return None
adamc@1003: | Some r =>
adamc@1003: oneOrNoRows1 (SELECT user.Id, user.Nam, user.Chair, user.OnPc
adamc@1003: FROM user
adamc@1003: WHERE user.Id = {[r.Id]}
adamc@1003: AND user.Password = {[r.Password]})
adamc@1003:
adamc@1004: structure Users = BulkEdit.Make(struct
adamc@1004: con keyName = #Id
adamc@1004: val visible = {Nam = string "Name",
adamc@1004: Chair = bool "Chair?",
adamc@1004: OnPc = bool "On PC?"}
adamc@1004:
adamc@1004: val title = "Users"
adamc@1004: val isAllowed =
adamc@1004: me <- checkLogin;
adamc@1004: return (Option.isSome me)
adamc@1004:
adamc@1004: val t = user
adamc@1004: end)
adamc@1004:
adamc@1004:
adamc@1003: fun doRegister r =
adamc@1003: n <- oneRowE1 (SELECT COUNT( * ) AS N
adamc@1003: FROM user
adamc@1003: WHERE user.Nam = {[r.Nam]});
adamc@1003: if n > 0 then
adamc@1003: register (Some "Sorry; that username is taken.")
adamc@1003: else
adamc@1003: id <- nextval userId;
adamc@1003: dml (INSERT INTO user (Id, Nam, Password, Chair, OnPc)
adamc@1003: VALUES ({[id]}, {[r.Nam]}, {[r.Password]}, FALSE, FALSE));
adamc@1003: setCookie login {Id = id, Password = r.Password};
adamc@1003: main ()
adamc@1003:
adamc@1003: and register msg = return
adamc@1003: Registering a New Account
adamc@1003:
adamc@1003: {case msg of
adamc@1003: None =>
adamc@1003: | Some msg => {[msg]}
}
adamc@1003:
adamc@1003:
adamc@1003:
adamc@1003:
adamc@1003: and main () =
adamc@1004: me <- checkLogin;
adamc@1003: return
adamc@1003: {case me of
adamc@1003: None => Register for access
adamc@1004: | Some me =>
adamc@1004: Welcome, {[me.Nam]}!
adamc@1004:
adamc@1004: {if me.Chair then
adamc@1004: Manage users
adamc@1004: else
adamc@1004: }
adamc@1004: }
adamc@1003:
adamc@1001:
adamc@1001: end