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 /smlnj-lib/trunk/RegExp/BackEnd/engine-sig.sml
ViewVC logotype

Annotation of /smlnj-lib/trunk/RegExp/BackEnd/engine-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 104 - (view) (download)
Original Path: sml/trunk/src/smlnj-lib/RegExp/BackEnd/engine-sig.sml

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

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