]>
Commit | Line | Data |
---|---|---|
28bf4b0b | 1 | /* |
2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. | |
3 | ** See ../LICENSE for license information. | |
4 | ** | |
5 | */ | |
6 | /* | |
7 | ** mtTransferClause.h | |
8 | */ | |
9 | ||
10 | # ifndef MTTRANSFERCLAUSE_H | |
11 | # define MTTRANSFERCLAUSE_H | |
12 | ||
13 | struct s_mtTransferClause { | |
14 | fileloc loc; | |
15 | cstring fromname; | |
16 | cstring toname; | |
17 | mtTransferAction action; | |
18 | } ; | |
19 | ||
20 | extern cstring mtTransferClause_unparse (mtTransferClause p_node) /*@*/ ; | |
21 | ||
22 | extern mtTransferClause | |
23 | mtTransferClause_create (/*@only@*/ mttok p_fromname, /*@only@*/ mttok p_toname, | |
24 | /*@only@*/ mtTransferAction p_action) /*@*/ ; | |
25 | ||
26 | extern /*@observer@*/ cstring mtTransferClause_getFrom (mtTransferClause) /*@*/ ; | |
27 | # define mtTransferClause_getFrom(p_trans) ((p_trans)->fromname) | |
28 | ||
29 | extern /*@observer@*/ cstring mtTransferClause_getTo (mtTransferClause) /*@*/ ; | |
30 | # define mtTransferClause_getTo(p_trans) ((p_trans)->toname) | |
31 | ||
32 | extern /*@observer@*/ mtTransferAction mtTransferClause_getAction (mtTransferClause) /*@*/ ; | |
33 | # define mtTransferClause_getAction(p_trans) ((p_trans)->action) | |
34 | ||
35 | extern /*@observer@*/ fileloc mtTransferClause_getLoc (mtTransferClause) /*@*/ ; | |
36 | # define mtTransferClause_getLoc(p_trans) ((p_trans)->loc) | |
37 | ||
38 | extern void mtTransferClause_free (/*@only@*/ mtTransferClause p_transfer) ; | |
39 | ||
40 | # else | |
41 | # error "Multiple include" | |
42 | # endif |