Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/smlnj-lib/RegExp/Glue/regexp-sig.sml
ViewVC logotype

Annotation of /sml/trunk/src/smlnj-lib/RegExp/Glue/regexp-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 104 - (view) (download)

1 : monnier 104 (* regexp-sig.sml
2 :     *
3 :     * COPYRIGHT (c) 1998 Bell Labs, Lucent Technologies.
4 :     *
5 :     * Main signature for regular expressions.
6 :     *)
7 :    
8 :     signature REGEXP =
9 :     sig
10 :    
11 :     type regexp
12 :     (* the type of a compiled regular expression
13 :     *)
14 :    
15 :     val compile : (char,'a) StringCvt.reader -> (regexp, 'a) StringCvt.reader
16 :     (* read an external representation of a regular expression from a stream
17 :     *)
18 :    
19 :     val compileString : string -> regexp
20 :     (* read an external representation of a regular expression from a string
21 :     *)
22 :    
23 :     val find : regexp ->
24 :     (char,'a) StringCvt.reader ->
25 :     ({pos : 'a, len : int} option MatchTree.match_tree,'a) StringCvt.reader
26 :     (* scan the stream for the first occurence of the regular expression
27 :     *)
28 :    
29 :     val prefix : regexp ->
30 :     (char,'a) StringCvt.reader ->
31 :     ({pos : 'a, len : int} option MatchTree.match_tree,'a) StringCvt.reader
32 :     (* attempt to match the stream at the current position with the
33 :     * regular expression
34 :     *)
35 :    
36 :     val match : (string * ({pos: 'a, len:int} option MatchTree.match_tree -> 'b)) list ->
37 :     (char,'a) StringCvt.reader -> ('b, 'a) StringCvt.reader
38 :     (* attempt to match the stream at the current position with one
39 :     * of the external representations of regular expressions and trigger
40 :     * the corresponding action
41 :     *)
42 :    
43 :     end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0