source: src/SynTree/GcTracer.h @ f229fc2

new-envwith_gc
Last change on this file since f229fc2 was 34dcc474, checked in by Aaron Moss <a3moss@…>, 6 years ago

Fix one GC tracing bug

  • Property mode set to 100644
File size: 1.7 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        // mark node and children
37
38        void previsit( BaseSyntaxNode * node ) {
39                // skip tree if already seen
40                // if ( node->mark == gc.mark ) {
41                //      visit_children = false;
42                //      return;
43                // }
44
45                // mark node
46                node->mark = gc.mark;
47        }
48
49        // add visits left out by PassVisitor
50
51        void postvisit( Expression* expr ) {
52                maybeAccept( expr->env, *visitor );
53        }
54
55        void postvisit( UntypedExpr* expr ) {
56                postvisit( static_cast<Expression*>(expr) );
57                maybeAccept( expr->function, *visitor );
58        }
59
60        void postvisit( PointerType* pty ) {
61                maybeAccept( pty->dimension, *visitor );
62        }
63};
64
65/// Traces entire translation unit recursively
66static inline const GC& operator<< ( const GC& gc, const std::list<Declaration*>& translationUnit ) {
67        PassVisitor<GcTracer> tracer{ gc };
68        acceptAll( const_cast<std::list<Declaration*>&>( translationUnit ), tracer );
69        return gc;
70}
71
72// Local Variables: //
73// tab-width: 4 //
74// mode: c++ //
75// compile-command: "make install" //
76// End: //
Note: See TracBrowser for help on using the repository browser.