lib/typecheck/DeclProducer.h

Go to the documentation of this file.

//===-- typecheck/DeclProducer.h ------------------------------ -*- C++ -*-===//
//
// This file is distributed under the MIT license. See LICENSE.txt for details.
//
// Copyright (C) 2009, Stephen Wilson
//
//===----------------------------------------------------------------------===//
//
// The DeclProducer class encapsulates actions needed by the typechecker to
// produce declarations.
//
// One such category of actions is the generation of implicit declarations
// representing the primitive types predefined by Comma.  Unique declaration
// nodes representing types such as Bool and Integer are generated and
// accessable thru this class.
//
// Another category are actions which automatically generate declarations
// implicitly created in support of certain type definitions.  For example,
// enumeration types define equality and comparison functions, and integer types
// define a host of arithmetic functions.  Methods are provided for constructing
// the needed AST's.
//
//===----------------------------------------------------------------------===//

#ifndef COMMA_TYPECHECK_DECLPRODUCER_HDR_GUARD
#define COMMA_TYPECHECK_DECLPRODUCER_HDR_GUARD

#include "comma/ast/AstBase.h"
#include "comma/basic/PrimitiveOps.h"

namespace comma {

class AstResource;

class DeclProducer {

public:
    DeclProducer(AstResource *resource);

    EnumerationDecl *getBoolDecl() const;

    EnumerationType *getBoolType() const;

    IntegerDecl *getIntegerDecl() const;

    TypedefType *getIntegerType() const;

    void createImplicitDecls(EnumerationDecl *enumDecl);

    void createImplicitDecls(IntegerDecl *intDecl);

private:
    AstResource *resource;

    EnumerationDecl *theBoolDecl;

    IntegerDecl *theIntegerDecl;

    void createTheBoolDecl();

    void createTheIntegerDecl();

    enum PredicateKind {
        EQ_pred,
        LT_pred,
        GT_pred,
        LTEQ_pred,
        GTEQ_pred,
    };

    IdentifierInfo *getPredicateName(PredicateKind kind);

    PO::PrimitiveID getPredicatePrimitive(PredicateKind kind);

    FunctionDecl *createPredicate(PredicateKind kind, Type *paramType,
                                  DeclRegion *parent);

    enum ArithKind {
        PLUS_arith,
        MINUS_arith
    };

    IdentifierInfo *getArithName(ArithKind kind);

    PO::PrimitiveID getArithPrimitive(ArithKind kind);

    FunctionDecl *createBinaryArithOp(ArithKind kind, Type *Ty,
                                      DeclRegion *parent);

};

} // end comma namespace.

#endif

---