Page MenuHomePhorge
Files F5277020

type-facilities.cpp
No OneTemporary
Actions

Size
3 KB
Referenced Files
None
Subscribers
None

type-facilities.cpp
View Options

/*******************************************************************************
*
* File: type-facilities.cpp
*
* Contents: An example showcasing various type-related support facilities.
*
* Copyright 2017
*
* Author: David Juhasz (david.juhasz@tuwien.ac.at)
*
******************************************************************************/
#include "rosa/config/version.h"
#include "rosa/support/log.h"
#include "rosa/support/terminal_colors.h"
#include "rosa/support/type_token.hpp"
#include <iostream>
using namespace rosa;
using namespace rosa::terminal;
int main(void) {
LOG_INFO_STREAM << library_string() << " -- " << Color::Red
<< "type facilities" << Color::Default << std::endl;
auto &Log = LOG_TRACE_STREAM << std::endl;
Log << "NumberOfBuiltinTypes: " << NumberOfBuiltinTypes << std::endl
<< "TokenBits: " << token::TokenBits << std::endl
<< "RepresentationBits: " << token::RepresentationBits << std::endl
<< "MaxTokenizableListSize: " << token::MaxTokenizableListSize
<< std::endl
<< std::endl;
Log << "Type number information on 'uint8_t':" << std::endl;
constexpr TypeNumber TN = TypeNumberOf<uint8_t>::Value;
Log << " type number: " << PRINTABLE_TN(TN) << std::endl
<< " size: " << TypeForNumber<TN>::Size << std::endl
<< " name: " << TypeForNumber<TN>::Name << std::endl
<< std::endl;
Log << "Type number information of AtomConstants:"
<< std::endl;
using Atom1 = AtomConstant<atom("atom1")>;
using Atom2 = AtomConstant<atom("atom2")>;
Log << " std::is_same<Atom1, Atom2>::value: "
<< std::is_same<Atom1, Atom2>::value << std::endl
<< " TypeNumberOf<Atom1>::Value: "
<< PRINTABLE_TN(TypeNumberOf<Atom1>::Value) << std::endl
<< " TypeNumberOf<Atom2>::Value: "
<< PRINTABLE_TN(TypeNumberOf<Atom2>::Value) << std::endl
<< " name: " << TypeForNumber<TypeNumberOf<Atom1>::Value>::Name
<< std::endl
<< std::endl;
Log << "Type token information on 'TypeList<uint8_t, uint16_t>':"
<< std::endl;
// Token is generated statically.
constexpr Token T = TypeToken<uint8_t, uint16_t>::Value;
STATIC_ASSERT((T == TypeListToken<TypeList<uint8_t, uint16_t>>::Value),
"alias template definition is wrong");
Token T_ = T; // We need a non-const value for dropping head later.
// Iterate over encoded entries in Token.
while (!emptyToken(T_)) {
Log << " token: " << PRINTABLE_TOKEN(T_) << std::endl
<< " valid: " << validToken(T_) << std::endl
<< " empty: " << emptyToken(T_) << std::endl
<< " length: " << lengthOfToken(T_) << std::endl
<< " full size: " << sizeOfValuesOfToken(T_) << std::endl
<< " head type number: " << PRINTABLE_TN(typeNumberOfHeadOfToken(T_))
<< std::endl
<< " size of head: " << sizeOfHeadOfToken(T_) << std::endl
<< " name of head: " << nameOfHeadOfToken(T_) << std::endl
<< " is head uint8_t: " << isHeadOfTokenTheSameType<uint8_t>(T_)
<< std::endl
<< " is head uint16_t: " << isHeadOfTokenTheSameType<uint16_t>(T_)
<< std::endl
<< "Dropping head..." << std::endl;
dropHeadOfToken(T_);
}
// Here when Token became empty.
Log << " token: " << PRINTABLE_TOKEN(T_) << std::endl
<< " empty: " << emptyToken(T_) << std::endl;
return 0;
}

File Metadata

Mime Type
text/x-c
Expires
Sun, Apr 12, 4:34 AM (7 h, 22 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
294773
Default Alt Text
type-facilities.cpp (3 KB)

Event Timeline