source: src/CompilationState.h @ ab2b352

ADTast-experimental
Last change on this file since ab2b352 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
Line 
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
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Mon Apr 10 19:12:53 2023
13// Update Count     : 6
14//
15
16extern int yydebug;                   // set for -g flag (Grammar)
17extern int
18        astp,
19        bresolvep,
20        bboxp,
21        bcodegenp,
22        ctorinitp,
23        declstatsp,
24        exdeclp,
25        exprp,
26        expraltp,
27        genericsp,
28        invariant,
29        libcfap,
30        nopreludep,
31        genproto,
32        deterministic_output,
33        useNewAST,
34        nomainp,
35        resolvep,
36        resolvprotop,
37        symtabp,
38        treep,
39        tuplep,
40        validp,
41        errorp,
42        codegenp,
43        prettycodegenp,
44        linemarks;
45
46// is the compiler building prelude or libcfa?
47inline bool buildingLibrary() {
48        return libcfap | treep;
49}
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.