source: src/CompilationState.h@ 9317419

ADT ast-experimental
Last change on this file since 9317419 was 372b6d3, checked in by Peter A. Buhr <pabuhr@…>, 2 years ago

add -invariant/--invariant flag to enable invariant checking during AST passes

  • Property mode set to 100644
File size: 1018 bytes
RevLine 
[7f38b67a]1//
2// Cforall Version 1.0.0 Copyright (C) 2018 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// CompilationState.h --
8//
9// Author : Rob Schluntz
10// Created On : Mon Ju1 30 10:47:01 2018
[372b6d3]11// Last Modified By : Peter A. Buhr
12// Last Modified On : Mon Apr 10 19:12:53 2023
13// Update Count : 6
[7f38b67a]14//
15
16extern int yydebug; // set for -g flag (Grammar)
[3e96559]17extern int
[7f38b67a]18 astp,
19 bresolvep,
20 bboxp,
21 bcodegenp,
22 ctorinitp,
23 declstatsp,
[00da199]24 exdeclp,
[7f38b67a]25 exprp,
26 expraltp,
27 genericsp,
[372b6d3]28 invariant,
[7f38b67a]29 libcfap,
30 nopreludep,
[62ce290]31 genproto,
[7215000]32 deterministic_output,
[a77257be]33 useNewAST,
[7f38b67a]34 nomainp,
35 resolvep,
[3b3491b6]36 resolvprotop,
[7f38b67a]37 symtabp,
38 treep,
39 tuplep,
40 validp,
41 errorp,
42 codegenp,
43 prettycodegenp,
[1bb9a9a]44 linemarks;
[7f38b67a]45
[05e6eb5]46// is the compiler building prelude or libcfa?
47inline bool buildingLibrary() {
48 return libcfap | treep;
49}
[7f38b67a]50
51// Local Variables: //
52// tab-width: 4 //
53// mode: c++ //
54// compile-command: "make install" //
55// End: //
Note: See TracBrowser for help on using the repository browser.