Subversion Repositories tendra.SVN

Rev

Rev 5 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5 Rev 6
Line -... Line 1...
-
 
1
/*
-
 
2
 * Copyright (c) 2002-2006 The TenDRA Project <http://www.tendra.org/>.
-
 
3
 * All rights reserved.
-
 
4
 *
-
 
5
 * Redistribution and use in source and binary forms, with or without
-
 
6
 * modification, are permitted provided that the following conditions are met:
-
 
7
 *
-
 
8
 * 1. Redistributions of source code must retain the above copyright notice,
-
 
9
 *    this list of conditions and the following disclaimer.
-
 
10
 * 2. Redistributions in binary form must reproduce the above copyright notice,
-
 
11
 *    this list of conditions and the following disclaimer in the documentation
-
 
12
 *    and/or other materials provided with the distribution.
-
 
13
 * 3. Neither the name of The TenDRA Project nor the names of its contributors
-
 
14
 *    may be used to endorse or promote products derived from this software
-
 
15
 *    without specific, prior written permission.
-
 
16
 *
-
 
17
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ``AS
-
 
18
 * IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
-
 
19
 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
-
 
20
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR
-
 
21
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
-
 
22
 * EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
-
 
23
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
-
 
24
 * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
-
 
25
 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
-
 
26
 * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
-
 
27
 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
 
28
 *
-
 
29
 * $Id$
-
 
30
 */
1
/*
31
/*
2
    		 Crown Copyright (c) 1997
32
    		 Crown Copyright (c) 1997
3
    
33
 
4
    This TenDRA(r) Computer Program is subject to Copyright
34
    This TenDRA(r) Computer Program is subject to Copyright
5
    owned by the United Kingdom Secretary of State for Defence
35
    owned by the United Kingdom Secretary of State for Defence
6
    acting through the Defence Evaluation and Research Agency
36
    acting through the Defence Evaluation and Research Agency
7
    (DERA).  It is made available to Recipients with a
37
    (DERA).  It is made available to Recipients with a
8
    royalty-free licence for its use, reproduction, transfer
38
    royalty-free licence for its use, reproduction, transfer
9
    to other parties and amendment for any purpose not excluding
39
    to other parties and amendment for any purpose not excluding
10
    product development provided that any such use et cetera
40
    product development provided that any such use et cetera
11
    shall be deemed to be acceptance of the following conditions:-
41
    shall be deemed to be acceptance of the following conditions:-
12
    
42
 
13
        (1) Its Recipients shall ensure that this Notice is
43
        (1) Its Recipients shall ensure that this Notice is
14
        reproduced upon any copies or amended versions of it;
44
        reproduced upon any copies or amended versions of it;
15
    
45
 
16
        (2) Any amended version of it shall be clearly marked to
46
        (2) Any amended version of it shall be clearly marked to
17
        show both the nature of and the organisation responsible
47
        show both the nature of and the organisation responsible
18
        for the relevant amendment or amendments;
48
        for the relevant amendment or amendments;
19
    
49
 
20
        (3) Its onward transfer from a recipient to another
50
        (3) Its onward transfer from a recipient to another
21
        party shall be deemed to be that party's acceptance of
51
        party shall be deemed to be that party's acceptance of
22
        these conditions;
52
        these conditions;
23
    
53
 
24
        (4) DERA gives no warranty or assurance as to its
54
        (4) DERA gives no warranty or assurance as to its
25
        quality or suitability for any purpose and DERA accepts
55
        quality or suitability for any purpose and DERA accepts
26
        no liability whatsoever in relation to any use to which
56
        no liability whatsoever in relation to any use to which
27
        it may be put.
57
        it may be put.
28
*/
58
*/
Line 45... Line 75...
45
#ifndef CONVERT_INCLUDED
75
#ifndef CONVERT_INCLUDED
46
#include "convert.h"
76
#include "convert.h"
47
#endif
77
#endif
48
 
78
 
49
typedef struct {
79
typedef struct {
50
    IDENTIFIER func ;
80
	IDENTIFIER func;
51
    IDENTIFIER base ;
81
	IDENTIFIER base;
52
    int kind ;
82
	int kind;
53
    unsigned rank ;
83
	unsigned rank;
54
    CONVERSION *convs ;
84
	CONVERSION *convs;
55
    EXP cond ;
85
	EXP cond;
56
} CANDIDATE ;
86
} CANDIDATE;
57
 
87
 
58
typedef struct {
88
typedef struct {
59
    CANDIDATE *elem ;
89
	CANDIDATE *elem;
60
    unsigned size ;
90
	unsigned size;
61
    unsigned max_size ;
91
	unsigned max_size;
62
    CONVERSION *convs ;
92
	CONVERSION *convs;
63
    unsigned nconvs ;
93
	unsigned nconvs;
64
} CANDIDATE_LIST ;
94
} CANDIDATE_LIST;
65
 
95
 
66
 
96
 
67
/*
97
/*
68
    FUNCTION OVERLOADING DECLARATIONS
98
    FUNCTION OVERLOADING DECLARATIONS
69
 
99
 
70
    The routines in this module are concerned with function overloading.
100
    The routines in this module are concerned with function overloading.
71
*/
101
*/
72
 
102
 
73
extern void swap_ptypes PROTO_S ( ( IDENTIFIER ) ) ;
103
extern void swap_ptypes(IDENTIFIER);
74
extern IDENTIFIER resolve_call PROTO_S ( ( IDENTIFIER, LIST ( EXP ), QUALIFIER, int ) ) ;
104
extern IDENTIFIER resolve_call(IDENTIFIER, LIST(EXP), QUALIFIER, int);
75
extern EXP resolve_cast PROTO_S ( ( TYPE, EXP, ERROR *, int, int, LIST ( IDENTIFIER ) ) ) ;
105
extern EXP resolve_cast(TYPE, EXP, ERROR *, int, int, LIST(IDENTIFIER));
76
extern void add_candidates PROTO_S ( ( CANDIDATE_LIST *, IDENTIFIER, int, int ) ) ;
106
extern void add_candidates(CANDIDATE_LIST *, IDENTIFIER, int, int);
77
extern IDENTIFIER koenig_candidates PROTO_S ( ( CANDIDATE_LIST *, IDENTIFIER, TYPE, int ) ) ;
107
extern IDENTIFIER koenig_candidates(CANDIDATE_LIST *, IDENTIFIER, TYPE, int);
78
extern void swap_candidates PROTO_S ( ( CANDIDATE_LIST *, unsigned ) ) ;
108
extern void swap_candidates(CANDIDATE_LIST *, unsigned);
79
extern ERROR list_candidates PROTO_S ( ( ERROR, CANDIDATE_LIST *, unsigned ) ) ;
109
extern ERROR list_candidates(ERROR, CANDIDATE_LIST *, unsigned);
80
extern CANDIDATE *resolve_overload PROTO_S ( ( CANDIDATE_LIST *, LIST ( EXP ), TYPE, int ) ) ;
110
extern CANDIDATE *resolve_overload(CANDIDATE_LIST *, LIST(EXP), TYPE, int);
81
extern CANDIDATE *resolve_ambiguous PROTO_S ( ( CANDIDATE_LIST *, LIST ( EXP ), TYPE, int ) ) ;
111
extern CANDIDATE *resolve_ambiguous(CANDIDATE_LIST *, LIST(EXP), TYPE, int);
82
extern IDENTIFIER make_ambig_func PROTO_S ( ( CANDIDATE_LIST *, IDENTIFIER, LIST ( EXP ), QUALIFIER, ERROR * ) ) ;
112
extern IDENTIFIER make_ambig_func(CANDIDATE_LIST *, IDENTIFIER, LIST(EXP),
-
 
113
				  QUALIFIER, ERROR *);
83
extern IDENTIFIER resolve_func PROTO_S ( ( IDENTIFIER, TYPE, int, int, LIST ( IDENTIFIER ), int * ) ) ;
114
extern IDENTIFIER resolve_func(IDENTIFIER, TYPE, int, int, LIST(IDENTIFIER),
-
 
115
			       int *);
84
extern void free_candidates PROTO_S ( ( CANDIDATE_LIST * ) ) ;
116
extern void free_candidates(CANDIDATE_LIST *);
85
extern CANDIDATE_LIST candidates ;
117
extern CANDIDATE_LIST candidates;
86
extern unsigned match_no_viable ;
118
extern unsigned match_no_viable;
87
extern unsigned match_no_args ;
119
extern unsigned match_no_args;
88
extern int resolved_kind ;
120
extern int resolved_kind;
89
extern int match_this ;
121
extern int match_this;
90
 
122
 
91
 
123
 
92
/*
124
/*
93
    RANKING OF CANDIDATES
125
    RANKING OF CANDIDATES
94
 
126
 
Line 97... Line 129...
97
    with the right number of parameters (the plausible candidates), the
129
    with the right number of parameters (the plausible candidates), the
98
    viable candidates, and the best viable candidate.  They are is ascending
130
    viable candidates, and the best viable candidate.  They are is ascending
99
    order.
131
    order.
100
*/
132
*/
101
 
133
 
102
#define RANK_IGNORE		( ( unsigned ) 0 )
134
#define RANK_IGNORE		((unsigned)0)
103
#define RANK_NONE		( ( unsigned ) 1 )
135
#define RANK_NONE		((unsigned)1)
104
#define RANK_ARGS		( ( unsigned ) 2 )
136
#define RANK_ARGS		((unsigned)2)
105
#define RANK_VIABLE		( ( unsigned ) 3 )
137
#define RANK_VIABLE		((unsigned)3)
106
#define RANK_TARGET		( ( unsigned ) 4 )
138
#define RANK_TARGET		((unsigned)4)
107
#define RANK_BEST		( ( unsigned ) 5 )
139
#define RANK_BEST		((unsigned)5)
108
 
140
 
109
 
141
 
110
/*
142
/*
111
    CANDIDATE KINDS
143
    CANDIDATE KINDS
112
 
144