1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
/*
* Ascend Instance Tree Type Definitions
* by Tom Epperly
* 8/16/89
* Version: $Revision: 1.6 $
* Version control file: $RCSfile: mergeinst.h,v $
* Date last modified: $Date: 1997/09/08 18:08:06 $
* Last modified by: $Author: ballan $
*
* This file is part of the Ascend Language Interpreter.
*
* Copyright (C) 1990, 1993, 1994 Thomas Guthrie Epperly
*
* The Ascend Language Interpreter is free software; you can redistribute
* it and/or modify it under the terms of the GNU General Public License as
* published by the Free Software Foundation; either version 2 of the
* License, or (at your option) any later version.
*
* The Ascend Language Interpreter is distributed in hope that it will be
* useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
/** @file
* Ascend Instance Tree Type Definitions.
*/
#ifndef ASC_MERGEINST_H
#define ASC_MERGEINST_H
#include <ascend/general/platform.h>
#include "instance_enum.h"
/** @addtogroup compiler_inst Compiler Instance Hierarchy
@{
*/
ASC_DLLSPEC struct Instance *MergeInstances(struct Instance *i1, struct Instance *i2);
/**<
* This is the ARE_THE_SAME operator.
* The return value is the merged instance or NULL if can't be done.
* Instances are merged from the bottom up, checking one step ahead
* for type compatibility.
* This operator is MOSTLY BROKEN due to the addition of
* parameterized types. In particular, MoreRefined needs to be
* augmented to check args that are now part of the extended
* type definition.
* This may add to or change the pending instance list.
* If the return is NULL, the state of i1 and i2 in structural
* terms is highly questionable. They may be partially merged.
*
* @bug Merging two vars in a shared relation will mess up all the
* other copies of the relation unless all of their corresponding
* vars are also merged. Fixed for token relations, but not others.
*/
ASC_DLLSPEC void PostMergeCheck(struct Instance *i);
/**<
* Sanity check after a MergeInstances() call.
* This should be performed after a MergeInstances call or a sequence of
* MergeInstances calls. This goes through the merged instance tree and
* make sure the ARE_ALIKE cliques are being enforced.
*/
ASC_DLLSPEC void MergeCliques(struct Instance *i1, struct Instance *i2);
/**<
* Merge the cliques represented by i1 and i2. This does not enforce
* any type consistency between the clicks; it just links them together.
* It doesn't matter if i1 and i2 are already in the same clique.
*/
/* @} */
#endif /* ASC_MERGEINST_H */
|