Fabrique

A build language for complex systems

 All Classes Namespaces Files Functions Variables Enumerations Enumerator Macros Pages
fabrique::FunctionType Class Reference

A type that represents an ordered sequence. More...

#include <FunctionType.h>

Inheritance diagram for fabrique::FunctionType:
fabrique::Type fabrique::Printable fabrique::Uncopyable

Public Member Functions

const std::string name () const override
 
virtual void PrettyPrint (Bytestream &, size_t indent=0) const override
 Print a human-readable representation to an output stream and return that output stream.
 
const PtrVec< Type > & parameterTypes () const
 
const TypereturnType () const
 
virtual bool isSubtype (const Type &) const override
 
virtual bool isFunction () const override
 
- Public Member Functions inherited from fabrique::Type
 Type (std::weak_ptr< Type > parent)=delete
 
TypeContextcontext () const
 
virtual TypeMap fields () const
 The fields that objects of this type have. More...
 
bool operator== (const Type &) const
 
bool operator!= (const Type &t) const
 
const PtrVec< Type > & typeParameters () const
 
size_t typeParamCount () const
 
const Typeoperator[] (size_t i) const
 
const TypeMap (TypesMapper, const SourceRange &) const
 
virtual bool isSupertype (const Type &) const
 
 operator bool () const
 
virtual bool valid () const
 
virtual bool hasFields () const
 
virtual bool isFile () const
 
virtual bool isString () const
 
virtual bool isOptional () const
 
virtual bool isOrdered () const
 
virtual bool canBeNegated () const
 
virtual const TypeonAddTo (const Type &) const
 
virtual const TypeonPrefixWith (const Type &) const
 
- Public Member Functions inherited from fabrique::Printable
 Printable (const Printable &)
 
Printableoperator= (const Printable &)
 
virtual std::string str () const
 

Friends

class TypeContext
 

Additional Inherited Members

- Public Types inherited from fabrique::Type
typedef std::pair< std::string,
const Type & > 
NamedType
 
typedef std::vector< NamedType > NamedTypeVec
 
typedef StringMap< const Type & > TypeMap
 
typedef std::function< PtrVec
< Type >const PtrVec< Type > &)> 
TypesMapper
 
- Static Public Member Functions inherited from fabrique::Type
static const TypeGetSupertype (const Type &, const Type &)
 
static const TypeListOf (const Type &, const SourceRange &)
 
static std::string UntypedPart (std::string typedName)
 
- Protected Member Functions inherited from fabrique::Type
 Type (const std::string &, const PtrVec< Type > &params, TypeContext &)
 
virtual TypeParameterise (const PtrVec< Type > &, const SourceRange &) const
 

Detailed Description

A type that represents an ordered sequence.

Definition at line 43 of file FunctionType.h.


The documentation for this class was generated from the following files: