A type that represents an ordered sequence. More...
#include <FileType.h>
Public Member Functions | |
| virtual TypeMap | fields () const override |
| The fields that objects of this type have. More... | |
| FileType & | WithArguments (const TypeMap &) const |
| virtual bool | hasFields () const override |
| virtual bool | isSubtype (const Type &) const override |
| virtual bool | isFile () const override |
| virtual bool | isInputFile () const |
| virtual bool | isOutputFile () const |
| virtual const Type & | onAddTo (const Type &) const override |
| virtual const Type & | onPrefixWith (const Type &) const override |
 Public Member Functions inherited from fabrique::Type | |
| Type (std::weak_ptr< Type > parent)=delete | |
| TypeContext & | context () const |
| virtual const std::string | name () const |
| virtual void | PrettyPrint (Bytestream &, size_t indent=0) const override |
| Print a human-readable representation to an output stream and return that output stream. | |
| bool | operator== (const Type &) const |
| bool | operator!= (const Type &t) const |
| const PtrVec< Type > & | typeParameters () const |
| size_t | typeParamCount () const |
| const Type & | operator[] (size_t i) const |
| const Type & | Map (TypesMapper, const SourceRange &) const |
| virtual bool | isSupertype (const Type &) const |
| operator bool () const | |
| virtual bool | valid () const |
| virtual bool | isFunction () const |
| virtual bool | isString () const |
| virtual bool | isOptional () const |
| virtual bool | isOrdered () const |
| virtual bool | canBeNegated () const |
| Public Member Functions inherited from fabrique::Printable | |
| Printable (const Printable &) | |
| Printable & | operator= (const Printable &) |
| virtual std::string | str () const |
Static Public Member Functions | |
| static bool | isInput (const Type &) |
| static bool | isOutput (const Type &) |
| static bool | isFileOrFiles (const Type &) |
| static void | CheckFileTags (const Type &, SourceRange) |
| Static Public Member Functions inherited from fabrique::Type | |
| static const Type & | GetSupertype (const Type &, const Type &) |
| static const Type & | ListOf (const Type &, const SourceRange &) |
| static std::string | UntypedPart (std::string typedName) |
Protected Member Functions | |
| virtual Type * | Parameterise (const PtrVec< Type > &, const SourceRange &) const override |
| Protected Member Functions inherited from fabrique::Type | |
| Type (const std::string &, const PtrVec< Type > ¶ms, TypeContext &) | |
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 |
A type that represents an ordered sequence.
Definition at line 45 of file FileType.h.
|
overridevirtual |
The fields that objects of this type have.
This can be empty even if hasFields() is true: objects like this one might not happen to have fields while still being the kind of objects that, in general, do (e.g., a struct like args with no members).
Reimplemented from fabrique::Type.
Definition at line 95 of file FileType.cc.
References fabrique::TypeContext::booleanType(), fabrique::TypeContext::fileType(), and fabrique::TypeContext::stringType().
We can add strings to files, creating files with longer names.
We can also concatenate filenames together.
Reimplemented from fabrique::Type.
Definition at line 162 of file FileType.cc.
References fabrique::TypeContext::nilType().
! We can also prefix files with strings. This modifies the filename, but not the subdir or {src|build}root directories.
Reimplemented from fabrique::Type.
Definition at line 176 of file FileType.cc.
References fabrique::TypeContext::nilType().
