GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — stepcode/src/express/resolve2.c at develop · stepcode/stepcode

Expand file tree

/

resolve2.c

Copy path
More file actions
More file actions

Latest commit

 

History

History
History
115 lines (102 loc) · 3.53 KB
/

resolve2.c

Copy path

File metadata and controls

115 lines (102 loc) · 3.53 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
/*
* This software was developed by U.S. Government employees as part of
* their official duties and is not subject to copyright.
*/
#include "express/express.h"
#include "express/schema.h"
#include "express/resolve.h"
void SCOPEresolve_subsupers( Scope scope ) {
DictionaryEntry de;
void *x;
char type;
Symbol * sym;
Type t;
if( print_objects_while_running & OBJ_SCOPE_BITS &
OBJget_bits( scope->type ) ) {
fprintf( stderr, "pass %d: %s (%s)\n", EXPRESSpass,
scope->symbol.name, OBJget_type( scope->type ) );
}
DICTdo_init( scope->symbol_table, &de );
while( 0 != ( x = DICTdo( &de ) ) ) {
switch( type = DICT_type ) {
case OBJ_ENTITY:
ENTITYresolve_supertypes( ( Entity )x );
ENTITYresolve_subtypes( ( Entity )x );
break;
case OBJ_FUNCTION:
case OBJ_PROCEDURE:
case OBJ_RULE:
SCOPEresolve_subsupers( ( Scope )x );
break;
case OBJ_TYPE:
t = ( Type )x;
TYPEresolve( &t );
break;
default:
/* ignored everything else */
break;
}
sym = OBJget_symbol( x, type );
if( is_resolve_failed_raw( sym ) ) {
resolve_failed( scope );
}
}
}
void SCOPEresolve_expressions_statements( Scope s ) {
DictionaryEntry de;
void *x;
Variable v;
if( print_objects_while_running & OBJ_SCOPE_BITS &
OBJget_bits( s->type ) ) {
fprintf( stderr, "pass %d: %s (%s)\n", EXPRESSpass,
s->symbol.name, OBJget_type( s->type ) );
}
DICTdo_init( s->symbol_table, &de );
while( 0 != ( x = DICTdo( &de ) ) ) {
switch( DICT_type ) {
case OBJ_SCHEMA:
if( is_not_resolvable( ( Schema )x ) ) {
break;
}
SCOPEresolve_expressions_statements( ( Scope )x );
break;
case OBJ_ENTITY:
ENTITYresolve_expressions( ( Entity )x );
break;
case OBJ_FUNCTION:
ALGresolve_expressions_statements( ( Scope )x, ( ( Scope )x )->u.func->body );
break;
case OBJ_PROCEDURE:
ALGresolve_expressions_statements( ( Scope )x, ( ( Scope )x )->u.proc->body );
break;
case OBJ_RULE:
ALGresolve_expressions_statements( ( Scope )x, ( ( Scope )x )->u.rule->body );
WHEREresolve( RULEget_where( ( Scope )x ), ( Scope )x, 0 );
break;
case OBJ_VARIABLE:
v = ( Variable )x;
TYPEresolve_expressions( v->type, s );
if( v->initializer ) {
EXPresolve( v->initializer, s, v->type );
}
break;
case OBJ_TYPE:
TYPEresolve_expressions( ( Type )x, s );
break;
default:
/* ignored everything else */
break;
}
}
}
void ALGresolve_expressions_statements( Scope s, Linked_List statements ) {
int status = 0;
if( print_objects_while_running & OBJ_ALGORITHM_BITS &
OBJget_bits( s->type ) ) {
fprintf( stderr, "pass %d: %s (%s)\n", EXPRESSpass,
s->symbol.name, OBJget_type( s->type ) );
}
SCOPEresolve_expressions_statements( s );
STMTlist_resolve( statements, s );
s->symbol.resolved = status;
}
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.