1 ! Copyright (C) 2009 Slava Pestov.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: accessors assocs continuations definitions init io
4 kernel math math.parser namespaces sequences sorting ;
5 IN: source-files.errors
7 GENERIC: error-file ( error -- file )
8 GENERIC: error-line ( error -- line )
10 M: object error-file drop f ;
11 M: object error-line drop f ;
13 M: condition error-file error>> error-file ;
14 M: condition error-line error>> error-line ;
16 TUPLE: source-file-error error asset file line# ;
18 M: source-file-error error-file [ error>> error-file ] [ file>> ] bi or ;
19 M: source-file-error error-line [ error>> error-line ] [ line#>> ] bi or ;
20 M: source-file-error compute-restarts error>> compute-restarts ;
22 : sort-errors ( errors -- alist )
23 [ [ line#>> 0 or ] sort-with ] { } assoc-map-as sort-keys ;
25 : group-by-source-file ( errors -- assoc )
26 H{ } clone [ [ push-at ] curry [ dup file>> ] prepose each ] keep ;
28 TUPLE: error-type-holder type word plural icon quot forget-quot { fatal? initial: t } ;
30 TUPLE: error-type type word plural icon quot forget-quot { fatal? initial: t } ;
32 GENERIC: error-type ( error -- type )
34 : <definition-error> ( error definition class -- source-file-error )
38 [ where [ first2 [ >>file ] [ >>line# ] bi* ] when* ] bi
43 error-types [ V{ } clone ] initialize
45 : define-error-type ( error-type -- )
46 dup type>> error-types get set-at ;
48 : error-icon-path ( type -- icon )
49 error-types get at icon>> ;
51 : error-counts ( -- alist )
53 [ nip dup quot>> call( -- seq ) length ] assoc-map
54 [ [ fatal?>> ] [ 0 > ] bi* and ] assoc-filter ;
56 : error-summary ( -- )
60 [ " - show " write number>string write bl ]
61 [ plural>> print ] tri*
64 : all-errors ( -- errors )
65 error-types get values
66 [ quot>> call( -- seq ) ] map
69 GENERIC: errors-changed ( observer -- )
71 SYMBOL: error-observers
73 [ V{ } clone error-observers set-global ] "source-files.errors" add-startup-hook
75 : add-error-observer ( observer -- ) error-observers get push ;
77 : remove-error-observer ( observer -- ) error-observers get remove-eq! drop ;
79 : notify-error-observers ( -- ) error-observers get [ errors-changed ] each ;
81 : delete-file-errors ( seq file type -- )
83 [ swap file>> = ] [ swap error-type = ]
86 notify-error-observers ;
88 : delete-definition-errors ( definition -- )
90 second forget-quot>> dup
91 [ call( definition -- ) ] [ 2drop ] if