source: src/SynTree/GcTracer.h @ bfc7811

new-envwith_gc
Last change on this file since bfc7811 was bfc7811, checked in by Aaron Moss <a3moss@…>, 5 years ago

Fix some GC bugs

  • Property mode set to 100644
File size: 1.5 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 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// GcTracer.h --
8//
9// Author           : Aaron B. Moss
10// Created On       : Thu Mar 15 14:47:00 2018
11// Last Modified By : Aaron B. Moss
12// Last Modified On : Thu Mar 15 14:47:00 2018
13// Update Count     : 1
14//
15
16#pragma once
17
18#include <list>
19
20#include "BaseSyntaxNode.h"
21#include "Expression.h"
22#include "Type.h"
23
24#include "Common/GC.h"
25#include "Common/PassVisitor.h"
26
27class Expression;
28
29/// Implements `trace` method for syntax nodes
30class GcTracer final : public WithShortCircuiting, public WithVisitorRef<GcTracer> {
31        const GC& gc;
32
33public:
34        GcTracer( const GC& gc ) : gc(gc) {}
35
36        void previsit( BaseSyntaxNode * node ) {
37                // skip tree if already seen
38                // if ( node->mark == gc.mark ) {
39                //      visit_children = false;
40                //      return;
41                // }
42
43                // mark node
44                node->mark = gc.mark;
45        }
46
47        void postvisit( Expression* expr ) {
48                maybeAccept( expr->env, *visitor );
49        }
50
51        void postvisit( PointerType* pty ) {
52                maybeAccept( pty->dimension, *visitor );
53        }
54};
55
56/// Traces entire translation unit recursively
57static inline const GC& operator<< ( const GC& gc, const std::list<Declaration*>& translationUnit ) {
58        PassVisitor<GcTracer> tracer{ gc };
59        acceptAll( const_cast<std::list<Declaration*>&>( translationUnit ), tracer );
60        return gc;
61}
62
63// Local Variables: //
64// tab-width: 4 //
65// mode: c++ //
66// compile-command: "make install" //
67// End: //
Note: See TracBrowser for help on using the repository browser.