source: src/CompilationState.h @ 3fdf2b7

Last change on this file since 3fdf2b7 was 372b6d3, checked in by Peter A. Buhr <pabuhr@…>, 19 months 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,
[3b3491b]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.