source: translator/GenPoly/ScrubTyVars.h@ c8ffe20b

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since c8ffe20b was 51b73452, checked in by Peter A. Buhr <pabuhr@…>, 11 years ago

initial commit
  • Property mode set to 100644
File size: 1.3 KB
Line 
1/*
2 * This file is part of the Cforall project
3 *
4 * $Id: ScrubTyVars.h,v 1.4 2005/08/29 20:14:13 rcbilson Exp $
5 *
6 */
7
8#ifndef GENPOLY_SCRUBTYVARS_H
9#define GENPOLY_SCRUBTYVARS_H
10
11#include "GenPoly.h"
12
13#include "SynTree/SynTree.h"
14#include "SynTree/Mutator.h"
15
16namespace GenPoly {
17
18class ScrubTyVars : public Mutator
19{
20public:
21 ScrubTyVars( bool doAll, const TyVarMap &tyVars ): doAll( doAll ), tyVars( tyVars ) {}
22
23 template< typename SynTreeClass >
24 static SynTreeClass *scrub( SynTreeClass *target, const TyVarMap &tyVars );
25 template< typename SynTreeClass >
26 static SynTreeClass *scrub( SynTreeClass *target );
27
28 virtual Type* mutate( TypeInstType *typeInst );
29 virtual Type* mutate( PointerType *pointer );
30
31private:
32 bool doAll;
33 const TyVarMap &tyVars;
34};
35
36/* static class method */
37template< typename SynTreeClass >
38SynTreeClass *
39ScrubTyVars::scrub( SynTreeClass *target, const TyVarMap &tyVars )
40{
41 ScrubTyVars scrubber( false, tyVars );
42 return static_cast< SynTreeClass* >( target->acceptMutator( scrubber ) );
43}
44
45/* static class method */
46template< typename SynTreeClass >
47SynTreeClass *
48ScrubTyVars::scrub( SynTreeClass *target )
49{
50 TyVarMap tyVars;
51 ScrubTyVars scrubber( true, tyVars );
52 return static_cast< SynTreeClass* >( target->acceptMutator( scrubber ) );
53}
54
55} // namespace GenPoly
56
57#endif /* #ifndef GENPOLY_SCRUBTYVARS_H */
Note: See TracBrowser for help on using the repository browser.