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
|
#define DESTRUCTIVE_RECORD_UPDATES 1
#define ADD_ARGUMENTS_TO_HIGHER_ORDER_FUNCTIONS
#define IsLazyState(state) ((state).state_type==SimpleState && (state).state_kind>StrictOnA)
#define IsLazyStateKind(statekind) ((statekind)>StrictOnA)
extern StateS BasicSymbolStates[],LazyState,StrictState;
extern int FirstStateIsStricter (StateS offered_state,StateS demanded_state);
extern int FieldArgumentNodeStatesAreStricter (ArgS *offered_args,ArgS *field_args,States record_states);
extern void ConvertAnnotationToState (Annotation annot, States state);
extern void SetUnaryState (States state, StateKind kind, ObjectKind object);
extern Bool HasExternalAnnot (Node node);
extern void GenerateStatesForRecords (Symbol symbs);
extern void InitStatesGen (void);
extern void GenerateStates (ImpRules rules);
extern void DetermineSharedAndAnnotatedNodes (ImpRules rules,SymbolP *im_symbols_h);
extern void DetermineStateOfArrayElem (Symbol elemtype, States state);
extern void ExamineTypesAndLhsOfSymbols (Symbol symbs);
extern void ImportSymbols (Symbol symbols);
extern void import_not_yet_imported_record_r_labels (Symbol symbols);
extern void DetermineStatesOfRootNodeAndDefs (Node root_node,NodeDefs *rootdef,StateS demstate,int local_scope);
extern unsigned next_def_number;
extern void ExamineTypesAndLhsOfSymbolDefinition (SymbDef def);
extern void ExamineTypesAndLhsOfImpRuleSymbolDefinitionAgain (SymbDef def);
extern void GenerateStatesForRule (ImpRuleS *rule);
extern void reset_states_and_ref_count_copies (ImpRuleS *rule);
extern void DetermineNodeState (Node node);
extern void ConvertTypeToState (TypeNode type,States state,StateKind kind);
extern int optimise_strict_tuple_result_functions;
extern PolyList UserDefinedArrayFunctions;
extern SymbDefP special_types[];
|
