source: translator/GenPoly/GenPoly.h @ 51587aa

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since 51587aa was 51587aa, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago

licencing: fourth groups of files

  • Property mode set to 100644
File size: 1.4 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// XXX.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By :
12// Last Modified On :
13// Update Count     : 0
14//
15/*
16 * This file is part of the Cforall project
17 *
18 * $Id: GenPoly.h,v 1.4 2005/08/29 20:14:13 rcbilson Exp $
19 *
20 */
21
22#ifndef GENPOLY_H
23#define GENPOLY_H
24
25#include <map>
26#include <string>
27#include <iostream>
28#include "SynTree/Declaration.h"
29
30namespace GenPoly {
31
32typedef std::map< std::string, TypeDecl::Kind > TyVarMap;
33
34// considerAllTyVars allows ignoring the contents of the TyVarMap parameter, for the situations where
35// it is important only that a TypeInstType node exists.
36
37bool needsAdapter( FunctionType *adaptee, const TyVarMap &tyVarr );
38bool needsAdapter( FunctionType *adaptee, const TyVarMap &tyVars, bool considerAllTyVars );
39bool isPolyFun( FunctionType *fun, const TyVarMap &tyVars );
40bool isPolyVal( Type *type, const TyVarMap &tyVars );
41bool isPolyVal( Type *type, const TyVarMap &tyVars, bool considerAllTyVars );
42void printTyVarMap( std::ostream &os, const TyVarMap &tyVarMap );
43
44} // namespace GenPoly
45
46#endif
47// Local Variables: //
48// tab-width: 4 //
49// mode: c++ //
50// compile-command: "make install" //
51// End: //
Note: See TracBrowser for help on using the repository browser.