ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change
on this file since d9a0e76 was
51b7345,
checked in by Peter A. Buhr <pabuhr@…>, 10 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 | |
---|
16 | namespace GenPoly { |
---|
17 | |
---|
18 | class ScrubTyVars : public Mutator |
---|
19 | { |
---|
20 | public: |
---|
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 | |
---|
31 | private: |
---|
32 | bool doAll; |
---|
33 | const TyVarMap &tyVars; |
---|
34 | }; |
---|
35 | |
---|
36 | /* static class method */ |
---|
37 | template< typename SynTreeClass > |
---|
38 | SynTreeClass * |
---|
39 | ScrubTyVars::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 */ |
---|
46 | template< typename SynTreeClass > |
---|
47 | SynTreeClass * |
---|
48 | ScrubTyVars::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.