2008-06-27 16:47:25 -04:00
|
|
|
! Copyright (C) 2008 Bruno Deferrari, Doug Coleman, Slava Pestov.
|
2008-05-27 21:10:14 -04:00
|
|
|
! See http://factorcode.org/license.txt for BSD license.
|
2008-07-09 21:48:17 -04:00
|
|
|
USING: concurrency.mailboxes kernel io.sockets io.encodings.8-bit calendar
|
|
|
|
accessors destructors namespaces io assocs arrays qualified fry
|
2008-07-11 00:16:15 -04:00
|
|
|
continuations threads strings classes combinators splitting hashtables
|
|
|
|
ascii irc.messages irc.messages.private ;
|
2008-07-09 21:48:17 -04:00
|
|
|
RENAME: join sequences => sjoin
|
|
|
|
EXCLUDE: sequences => join ;
|
2008-05-27 21:10:14 -04:00
|
|
|
IN: irc.client
|
|
|
|
|
|
|
|
! ======================================
|
|
|
|
! Setup and running objects
|
|
|
|
! ======================================
|
|
|
|
|
|
|
|
SYMBOL: current-irc-client
|
|
|
|
|
|
|
|
: irc-port 6667 ; ! Default irc port
|
|
|
|
|
|
|
|
TUPLE: irc-profile server port nickname password ;
|
|
|
|
C: <irc-profile> irc-profile
|
|
|
|
|
2008-06-30 11:31:21 -04:00
|
|
|
TUPLE: irc-client profile stream in-messages out-messages join-messages
|
2008-06-08 15:06:19 -04:00
|
|
|
listeners is-running connect reconnect-time ;
|
2008-05-27 21:10:14 -04:00
|
|
|
: <irc-client> ( profile -- irc-client )
|
2008-06-02 00:33:54 -04:00
|
|
|
f <mailbox> <mailbox> <mailbox> H{ } clone f
|
2008-06-08 15:06:19 -04:00
|
|
|
[ <inet> latin1 <client> ] 15 seconds irc-client boa ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
|
|
|
TUPLE: irc-listener in-messages out-messages ;
|
2008-06-07 00:15:42 -04:00
|
|
|
TUPLE: irc-server-listener < irc-listener ;
|
2008-07-11 00:16:15 -04:00
|
|
|
TUPLE: irc-channel-listener < irc-listener name password timeout participants ;
|
2008-06-07 00:15:42 -04:00
|
|
|
TUPLE: irc-nick-listener < irc-listener name ;
|
2008-07-09 21:48:17 -04:00
|
|
|
SYMBOL: +server-listener+
|
2008-06-07 00:15:42 -04:00
|
|
|
|
|
|
|
: <irc-listener> ( -- irc-listener ) <mailbox> <mailbox> irc-listener boa ;
|
|
|
|
|
|
|
|
: <irc-server-listener> ( -- irc-server-listener )
|
|
|
|
<mailbox> <mailbox> irc-server-listener boa ;
|
|
|
|
|
|
|
|
: <irc-channel-listener> ( name -- irc-channel-listener )
|
2008-07-11 00:16:15 -04:00
|
|
|
<mailbox> <mailbox> rot f 60 seconds H{ } clone irc-channel-listener boa ;
|
2008-06-07 00:15:42 -04:00
|
|
|
|
|
|
|
: <irc-nick-listener> ( name -- irc-nick-listener )
|
|
|
|
<mailbox> <mailbox> rot irc-nick-listener boa ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
|
|
|
! ======================================
|
|
|
|
! Message objects
|
|
|
|
! ======================================
|
|
|
|
|
2008-06-08 15:06:19 -04:00
|
|
|
SINGLETON: irc-end ! sent when the client isn't running anymore
|
|
|
|
SINGLETON: irc-disconnected ! sent when connection is lost
|
2008-06-09 19:40:54 -04:00
|
|
|
SINGLETON: irc-connected ! sent when connection is established
|
2008-06-08 15:06:19 -04:00
|
|
|
UNION: irc-broadcasted-message irc-end irc-disconnected irc-connected ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
2008-06-08 15:06:19 -04:00
|
|
|
: terminate-irc ( irc-client -- )
|
|
|
|
[ in-messages>> irc-end swap mailbox-put ]
|
|
|
|
[ f >>is-running drop ]
|
2008-06-09 19:40:54 -04:00
|
|
|
[ stream>> dispose ]
|
2008-06-08 15:06:19 -04:00
|
|
|
tri ;
|
|
|
|
|
2008-05-27 21:10:14 -04:00
|
|
|
<PRIVATE
|
|
|
|
|
|
|
|
! ======================================
|
2008-06-27 15:32:04 -04:00
|
|
|
! Utils
|
2008-05-27 21:10:14 -04:00
|
|
|
! ======================================
|
|
|
|
|
2008-06-08 15:06:19 -04:00
|
|
|
: irc> ( -- irc-client ) current-irc-client get ;
|
|
|
|
: irc-stream> ( -- stream ) irc> stream>> ;
|
2008-05-27 21:10:14 -04:00
|
|
|
: irc-write ( s -- ) irc-stream> stream-write ;
|
|
|
|
: irc-print ( s -- ) irc-stream> [ stream-print ] keep stream-flush ;
|
2008-06-27 15:32:04 -04:00
|
|
|
: listener> ( name -- listener/f ) irc> listeners>> at ;
|
|
|
|
: unregister-listener ( name -- ) irc> listeners>> delete-at ;
|
|
|
|
|
|
|
|
: to-listener ( message name -- )
|
2008-07-09 21:48:17 -04:00
|
|
|
listener> [ +server-listener+ listener> ] unless*
|
2008-06-27 15:32:04 -04:00
|
|
|
[ in-messages>> mailbox-put ] [ drop ] if* ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
2008-07-11 00:16:15 -04:00
|
|
|
: remove-participant ( nick channel -- )
|
|
|
|
listener> [ participants>> delete-at ] [ drop ] if* ;
|
|
|
|
|
|
|
|
: add-participant ( nick mode channel -- )
|
|
|
|
listener> [ participants>> set-at ] [ 2drop ] if* ;
|
|
|
|
|
|
|
|
DEFER: me?
|
|
|
|
|
|
|
|
: maybe-forward-join ( join -- )
|
|
|
|
[ prefix>> parse-name me? ] keep and
|
|
|
|
[ irc> join-messages>> mailbox-put ] when* ;
|
|
|
|
|
2008-05-27 21:10:14 -04:00
|
|
|
! ======================================
|
|
|
|
! IRC client messages
|
|
|
|
! ======================================
|
|
|
|
|
2008-07-09 21:48:17 -04:00
|
|
|
GENERIC: irc-message>string ( irc-message -- string )
|
|
|
|
|
|
|
|
M: irc-message irc-message>string ( irc-message -- string )
|
|
|
|
[ command>> ]
|
|
|
|
[ parameters>> " " sjoin ]
|
|
|
|
[ trailing>> dup [ CHAR: : prefix ] when ]
|
|
|
|
tri 3array " " sjoin ;
|
|
|
|
|
2008-05-27 21:10:14 -04:00
|
|
|
: /NICK ( nick -- )
|
|
|
|
"NICK " irc-write irc-print ;
|
|
|
|
|
|
|
|
: /LOGIN ( nick -- )
|
|
|
|
dup /NICK
|
|
|
|
"USER " irc-write irc-write
|
|
|
|
" hostname servername :irc.factor" irc-print ;
|
|
|
|
|
|
|
|
: /CONNECT ( server port -- stream )
|
2008-06-08 15:06:19 -04:00
|
|
|
irc> connect>> call drop ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
|
|
|
: /JOIN ( channel password -- )
|
|
|
|
"JOIN " irc-write
|
|
|
|
[ " :" swap 3append ] when* irc-print ;
|
|
|
|
|
|
|
|
: /PART ( channel text -- )
|
|
|
|
[ "PART " irc-write irc-write ] dip
|
|
|
|
" :" irc-write irc-print ;
|
|
|
|
|
|
|
|
: /KICK ( channel who -- )
|
|
|
|
[ "KICK " irc-write irc-write ] dip
|
|
|
|
" " irc-write irc-print ;
|
|
|
|
|
|
|
|
: /PRIVMSG ( nick line -- )
|
|
|
|
[ "PRIVMSG " irc-write irc-write ] dip
|
|
|
|
" :" irc-write irc-print ;
|
|
|
|
|
|
|
|
: /ACTION ( nick line -- )
|
|
|
|
[ 1 , "ACTION " % % 1 , ] "" make /PRIVMSG ;
|
|
|
|
|
|
|
|
: /QUIT ( text -- )
|
|
|
|
"QUIT :" irc-write irc-print ;
|
|
|
|
|
|
|
|
: /PONG ( text -- )
|
|
|
|
"PONG " irc-write irc-print ;
|
|
|
|
|
2008-06-01 19:58:53 -04:00
|
|
|
! ======================================
|
|
|
|
! Server message handling
|
|
|
|
! ======================================
|
|
|
|
|
|
|
|
: me? ( string -- ? )
|
2008-06-30 11:31:21 -04:00
|
|
|
irc> profile>> nickname>> = ;
|
2008-06-01 19:58:53 -04:00
|
|
|
|
|
|
|
: irc-message-origin ( irc-message -- name )
|
|
|
|
dup name>> me? [ prefix>> parse-name ] [ name>> ] if ;
|
|
|
|
|
2008-06-07 00:15:42 -04:00
|
|
|
: broadcast-message-to-listeners ( message -- )
|
2008-06-08 15:06:19 -04:00
|
|
|
irc> listeners>> values [ in-messages>> mailbox-put ] with each ;
|
2008-06-07 00:15:42 -04:00
|
|
|
|
2008-06-01 19:58:53 -04:00
|
|
|
GENERIC: handle-incoming-irc ( irc-message -- )
|
|
|
|
|
|
|
|
M: irc-message handle-incoming-irc ( irc-message -- )
|
2008-07-09 21:48:17 -04:00
|
|
|
+server-listener+ listener> [ in-messages>> mailbox-put ] [ drop ] if* ;
|
2008-06-01 19:58:53 -04:00
|
|
|
|
|
|
|
M: logged-in handle-incoming-irc ( logged-in -- )
|
2008-06-30 11:31:21 -04:00
|
|
|
name>> irc> profile>> (>>nickname) ;
|
2008-06-01 19:58:53 -04:00
|
|
|
|
|
|
|
M: ping handle-incoming-irc ( ping -- )
|
|
|
|
trailing>> /PONG ;
|
|
|
|
|
|
|
|
M: nick-in-use handle-incoming-irc ( nick-in-use -- )
|
|
|
|
name>> "_" append /NICK ;
|
|
|
|
|
|
|
|
M: privmsg handle-incoming-irc ( privmsg -- )
|
2008-06-27 15:32:04 -04:00
|
|
|
dup irc-message-origin to-listener ;
|
2008-06-01 19:58:53 -04:00
|
|
|
|
|
|
|
M: join handle-incoming-irc ( join -- )
|
2008-07-11 00:16:15 -04:00
|
|
|
[ maybe-forward-join ]
|
2008-07-09 22:11:39 -04:00
|
|
|
[ dup trailing>> to-listener ]
|
2008-07-11 00:16:15 -04:00
|
|
|
[ [ drop f ] [ prefix>> parse-name ] [ trailing>> ] tri add-participant ]
|
|
|
|
tri ;
|
2008-06-27 15:32:04 -04:00
|
|
|
|
2008-07-08 15:57:53 -04:00
|
|
|
M: part handle-incoming-irc ( part -- )
|
2008-07-11 00:16:15 -04:00
|
|
|
[ dup channel>> to-listener ] keep
|
|
|
|
[ prefix>> parse-name ] [ channel>> ] bi remove-participant ;
|
2008-07-08 15:57:53 -04:00
|
|
|
|
2008-06-27 15:32:04 -04:00
|
|
|
M: kick handle-incoming-irc ( kick -- )
|
2008-07-11 00:16:15 -04:00
|
|
|
[ [ ] [ channel>> ] bi to-listener ]
|
|
|
|
[ [ who>> ] [ channel>> ] bi remove-participant ]
|
|
|
|
[ [ ] [ who>> ] bi me? [ unregister-listener ] [ drop ] if ]
|
|
|
|
tri ;
|
|
|
|
|
|
|
|
: >nick/mode ( string -- nick mode )
|
|
|
|
dup first "+@" member? [ unclip ] [ f ] if ;
|
|
|
|
|
|
|
|
: names-reply>participants ( names-reply -- participants )
|
|
|
|
trailing>> [ blank? ] trim " " split
|
|
|
|
[ >nick/mode 2array ] map >hashtable ;
|
|
|
|
|
|
|
|
M: names-reply handle-incoming-irc ( names-reply -- )
|
|
|
|
[ names-reply>participants ] [ channel>> listener> ] bi (>>participants) ;
|
2008-06-01 19:58:53 -04:00
|
|
|
|
2008-06-07 00:15:42 -04:00
|
|
|
M: irc-broadcasted-message handle-incoming-irc ( irc-broadcasted-message -- )
|
|
|
|
broadcast-message-to-listeners ;
|
2008-06-02 00:33:54 -04:00
|
|
|
|
2008-06-01 19:58:53 -04:00
|
|
|
! ======================================
|
|
|
|
! Client message handling
|
|
|
|
! ======================================
|
|
|
|
|
|
|
|
GENERIC: handle-outgoing-irc ( obj -- )
|
|
|
|
|
2008-07-09 21:48:17 -04:00
|
|
|
! M: irc-message handle-outgoing-irc ( irc-message -- )
|
|
|
|
! irc-message>string irc-print ;
|
|
|
|
|
2008-06-01 19:58:53 -04:00
|
|
|
M: privmsg handle-outgoing-irc ( privmsg -- )
|
2008-07-09 21:48:17 -04:00
|
|
|
[ name>> ] [ trailing>> ] bi /PRIVMSG ;
|
2008-06-01 19:58:53 -04:00
|
|
|
|
2008-07-08 15:57:53 -04:00
|
|
|
M: part handle-outgoing-irc ( privmsg -- )
|
2008-07-09 21:48:17 -04:00
|
|
|
[ channel>> ] [ trailing>> "" or ] bi /PART ;
|
2008-07-08 15:57:53 -04:00
|
|
|
|
2008-05-27 21:10:14 -04:00
|
|
|
! ======================================
|
|
|
|
! Reader/Writer
|
|
|
|
! ======================================
|
|
|
|
|
2008-06-02 00:33:54 -04:00
|
|
|
: irc-mailbox-get ( mailbox quot -- )
|
2008-06-09 19:40:54 -04:00
|
|
|
swap 5 seconds
|
|
|
|
'[ , , , mailbox-get-timeout swap call ]
|
|
|
|
[ drop ] recover ; inline
|
2008-05-27 21:10:14 -04:00
|
|
|
|
|
|
|
: handle-reader-message ( irc-message -- )
|
2008-06-08 15:06:19 -04:00
|
|
|
irc> in-messages>> mailbox-put ;
|
|
|
|
|
|
|
|
DEFER: (connect-irc)
|
2008-06-09 19:40:54 -04:00
|
|
|
|
|
|
|
: (handle-disconnect) ( -- )
|
|
|
|
irc>
|
2008-06-08 15:06:19 -04:00
|
|
|
[ in-messages>> irc-disconnected swap mailbox-put ]
|
2008-06-09 19:40:54 -04:00
|
|
|
[ dup reconnect-time>> sleep (connect-irc) ]
|
2008-06-08 15:06:19 -04:00
|
|
|
[ profile>> nickname>> /LOGIN ]
|
|
|
|
tri ;
|
|
|
|
|
2008-06-09 19:40:54 -04:00
|
|
|
: handle-disconnect ( error -- )
|
|
|
|
drop irc> is-running>> [ (handle-disconnect) ] when ;
|
|
|
|
|
2008-06-08 15:06:19 -04:00
|
|
|
: (reader-loop) ( -- )
|
|
|
|
irc> stream>> [
|
|
|
|
|dispose stream-readln [
|
|
|
|
parse-irc-line handle-reader-message
|
|
|
|
] [
|
|
|
|
irc> terminate-irc
|
|
|
|
] if*
|
|
|
|
] with-destructors ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
|
|
|
: reader-loop ( -- )
|
2008-06-08 15:06:19 -04:00
|
|
|
[ (reader-loop) ] [ handle-disconnect ] recover ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
|
|
|
: writer-loop ( -- )
|
2008-06-08 15:06:19 -04:00
|
|
|
irc> out-messages>> [ handle-outgoing-irc ] irc-mailbox-get ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
|
|
|
! ======================================
|
|
|
|
! Processing loops
|
|
|
|
! ======================================
|
|
|
|
|
|
|
|
: in-multiplexer-loop ( -- )
|
2008-06-08 15:06:19 -04:00
|
|
|
irc> in-messages>> [ handle-incoming-irc ] irc-mailbox-get ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
2008-06-09 19:40:54 -04:00
|
|
|
: strings>privmsg ( name string -- privmsg )
|
|
|
|
privmsg new [ (>>trailing) ] keep [ (>>name) ] keep ;
|
|
|
|
|
2008-06-01 19:58:53 -04:00
|
|
|
: maybe-annotate-with-name ( name obj -- obj )
|
2008-06-09 19:40:54 -04:00
|
|
|
{
|
|
|
|
{ [ dup string? ] [ strings>privmsg ] }
|
|
|
|
{ [ dup privmsg instance? ] [ swap >>name ] }
|
|
|
|
} cond ;
|
2008-05-28 20:59:49 -04:00
|
|
|
|
2008-06-01 19:58:53 -04:00
|
|
|
: listener-loop ( name listener -- )
|
2008-06-09 19:40:54 -04:00
|
|
|
out-messages>> swap
|
|
|
|
'[ , swap maybe-annotate-with-name irc> out-messages>> mailbox-put ]
|
|
|
|
irc-mailbox-get ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
|
|
|
: spawn-irc-loop ( quot name -- )
|
2008-06-09 19:40:54 -04:00
|
|
|
[ '[ irc> is-running>> [ @ ] when irc> is-running>> ] ] dip
|
2008-05-27 21:10:14 -04:00
|
|
|
spawn-server drop ;
|
|
|
|
|
|
|
|
: spawn-irc ( -- )
|
|
|
|
[ reader-loop ] "irc-reader-loop" spawn-irc-loop
|
|
|
|
[ writer-loop ] "irc-writer-loop" spawn-irc-loop
|
|
|
|
[ in-multiplexer-loop ] "in-multiplexer-loop" spawn-irc-loop ;
|
|
|
|
|
|
|
|
! ======================================
|
|
|
|
! Listener join request handling
|
|
|
|
! ======================================
|
|
|
|
|
2008-06-07 00:15:42 -04:00
|
|
|
: set+run-listener ( name irc-listener -- )
|
2008-06-09 14:36:44 -04:00
|
|
|
[ '[ , , listener-loop ] "listener" spawn-irc-loop ]
|
2008-06-08 15:06:19 -04:00
|
|
|
[ swap irc> listeners>> set-at ]
|
2008-06-01 19:58:53 -04:00
|
|
|
2bi ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
2008-06-07 00:15:42 -04:00
|
|
|
GENERIC: (add-listener) ( irc-listener -- )
|
2008-07-08 15:57:53 -04:00
|
|
|
|
2008-06-07 00:15:42 -04:00
|
|
|
M: irc-channel-listener (add-listener) ( irc-channel-listener -- )
|
|
|
|
[ [ name>> ] [ password>> ] bi /JOIN ]
|
2008-06-08 15:06:19 -04:00
|
|
|
[ [ [ drop irc> join-messages>> ]
|
2008-06-07 00:15:42 -04:00
|
|
|
[ timeout>> ]
|
2008-06-09 14:36:44 -04:00
|
|
|
[ name>> '[ trailing>> , = ] ]
|
2008-06-07 00:15:42 -04:00
|
|
|
tri mailbox-get-timeout? trailing>> ] keep set+run-listener
|
|
|
|
] bi ;
|
2008-05-28 20:59:49 -04:00
|
|
|
|
2008-06-07 00:15:42 -04:00
|
|
|
M: irc-nick-listener (add-listener) ( irc-nick-listener -- )
|
2008-06-09 14:36:44 -04:00
|
|
|
[ name>> ] keep set+run-listener ;
|
|
|
|
|
|
|
|
M: irc-server-listener (add-listener) ( irc-server-listener -- )
|
2008-07-09 21:48:17 -04:00
|
|
|
+server-listener+ swap set+run-listener ;
|
2008-05-28 20:59:49 -04:00
|
|
|
|
2008-07-08 15:57:53 -04:00
|
|
|
GENERIC: (remove-listener) ( irc-listener -- )
|
|
|
|
|
|
|
|
M: irc-nick-listener (remove-listener) ( irc-nick-listener -- )
|
|
|
|
name>> unregister-listener ;
|
|
|
|
|
|
|
|
M: irc-channel-listener (remove-listener) ( irc-channel-listener -- )
|
|
|
|
[ [ out-messages>> ] [ name>> ] bi
|
|
|
|
\ part new swap >>channel mailbox-put ] keep
|
|
|
|
name>> unregister-listener ;
|
|
|
|
|
|
|
|
M: irc-server-listener (remove-listener) ( irc-server-listener -- )
|
2008-07-09 21:48:17 -04:00
|
|
|
drop +server-listener+ unregister-listener ;
|
2008-07-08 15:57:53 -04:00
|
|
|
|
2008-05-27 21:10:14 -04:00
|
|
|
: (connect-irc) ( irc-client -- )
|
2008-06-09 19:40:54 -04:00
|
|
|
[ profile>> [ server>> ] [ port>> ] bi /CONNECT ] keep
|
2008-06-08 15:06:19 -04:00
|
|
|
swap >>stream
|
|
|
|
t >>is-running
|
|
|
|
in-messages>> irc-connected swap mailbox-put ;
|
|
|
|
|
2008-07-08 15:57:53 -04:00
|
|
|
: with-irc-client ( irc-client quot -- )
|
|
|
|
>r current-irc-client r> with-variable ; inline
|
|
|
|
|
2008-06-08 15:06:19 -04:00
|
|
|
PRIVATE>
|
2008-05-27 21:10:14 -04:00
|
|
|
|
|
|
|
: connect-irc ( irc-client -- )
|
2008-07-08 15:57:53 -04:00
|
|
|
dup [
|
2008-05-27 21:10:14 -04:00
|
|
|
[ (connect-irc) ] [ profile>> nickname>> /LOGIN ] bi
|
|
|
|
spawn-irc
|
2008-07-08 15:57:53 -04:00
|
|
|
] with-irc-client ;
|
2008-05-27 21:10:14 -04:00
|
|
|
|
2008-06-27 15:32:04 -04:00
|
|
|
: add-listener ( irc-listener irc-client -- )
|
2008-07-08 15:57:53 -04:00
|
|
|
swap '[ , (add-listener) ] with-irc-client ;
|
|
|
|
|
|
|
|
: remove-listener ( irc-listener irc-client -- )
|
|
|
|
swap '[ , (remove-listener) ] with-irc-client ;
|
|
|
|
|
|
|
|
: write-message ( message irc-listener -- ) out-messages>> mailbox-put ;
|
|
|
|
: read-message ( irc-listener -- message ) in-messages>> mailbox-get ;
|