]>
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 | ** mtLoseReference.h | |
8 | */ | |
9 | ||
10 | # ifndef MTLoseReference_H | |
11 | # define MTLoseReference_H | |
12 | ||
13 | struct s_mtLoseReference { | |
14 | fileloc loc; | |
15 | cstring fromname; | |
16 | mtTransferAction action; | |
17 | } ; | |
18 | ||
19 | extern cstring mtLoseReference_unparse (mtLoseReference p_node) /*@*/ ; | |
20 | ||
21 | extern mtLoseReference | |
22 | mtLoseReference_create (/*@only@*/ mttok p_fromname, | |
23 | /*@only@*/ mtTransferAction p_action) /*@*/ ; | |
24 | ||
25 | extern /*@observer@*/ cstring mtLoseReference_getFrom (mtLoseReference) /*@*/ ; | |
26 | # define mtLoseReference_getFrom(p_trans) ((p_trans)->fromname) | |
27 | ||
28 | extern /*@observer@*/ mtTransferAction mtLoseReference_getAction (mtLoseReference) /*@*/ ; | |
29 | # define mtLoseReference_getAction(p_trans) ((p_trans)->action) | |
30 | ||
31 | extern /*@observer@*/ fileloc mtLoseReference_getLoc (mtLoseReference) /*@*/ ; | |
32 | # define mtLoseReference_getLoc(p_trans) ((p_trans)->loc) | |
33 | ||
34 | extern void mtLoseReference_free (/*@only@*/ mtLoseReference p_transfer) ; | |
35 | ||
36 | # else | |
37 | # error "Multiple include" | |
38 | # endif |