atlas  0.6
Namespaces | Functions | Variables
axis-types.cpp File Reference
#include "axis-types.h"
#include <cstdlib>
#include <algorithm>
#include <stdexcept>
#include <cstring>
#include <cctype>
Include dependency graph for axis-types.cpp:

Namespaces

 atlas
 
 atlas::interpreter
 

Functions

type_ptr atlas::interpreter::acquire (const type_expr *t)
 
type_list atlas::interpreter::empty_tuple ()
 
type_list & atlas::interpreter::prefix (type_expr &&t, type_list &dst)
 
dressed_type_list & atlas::interpreter::prefix (type_expr &&t, dressed_type_list &dst)
 
std::ostream & atlas::interpreter::operator<< (std::ostream &out, const raw_type_list &l)
 
std::ostream & atlas::interpreter::operator<< (std::ostream &out, const func_type &f)
 
std::ostream & atlas::interpreter::operator<< (std::ostream &out, const type_expr &t)
 
bool atlas::interpreter::operator== (const type_expr &x, const type_expr &y)
 
type_ptr atlas::interpreter::mk_prim_type (primitive_tag p)
 
type_ptr atlas::interpreter::mk_row_type (type_ptr &&c)
 
type_ptr atlas::interpreter::mk_tuple_type (type_list &&l)
 
type_ptr atlas::interpreter::mk_function_type (type_expr &&a, type_expr &&r)
 
type_p atlas::interpreter::make_prim_type (unsigned int p)
 
type_p atlas::interpreter::make_row_type (type_p c)
 
type_p atlas::interpreter::make_tuple_type (raw_type_list l)
 
type_p atlas::interpreter::make_function_type (type_p a, type_p r)
 
raw_type_list atlas::interpreter::make_type_singleton (type_p t)
 
raw_type_list atlas::interpreter::make_type_list (raw_type_list l, type_p t)
 
dressed_type_list atlas::interpreter::scan_type_list (const char *&s)
 
type_expr atlas::interpreter::scan_type (const char *&s)
 
type_expr atlas::interpreter::mk_type_expr (const char *s)
 
type_ptr atlas::interpreter::mk_type (const char *s)
 
type_expr atlas::interpreter::unknown_tuple (size_t n)
 
std::ostream & atlas::interpreter::operator<< (std::ostream &out, const value_base &v)
 
void atlas::interpreter::push_tuple_components ()
 
void atlas::interpreter::wrap_tuple (size_t n)
 
void atlas::interpreter::push_expanded (expression_base::level l, const shared_value &v)
 
void atlas::interpreter::coercion (const type_expr &from, const type_expr &to, const char *s, conversion_info::conv_f f)
 
bool atlas::interpreter::coerce (const type_expr &from_type, const type_expr &to_type, expression_ptr &e)
 
expression_ptr atlas::interpreter::conform_types (const type_expr &found, type_expr &required, expression_ptr &&d, const expr &e)
 
const conversion_record * atlas::interpreter::row_coercion (const type_expr &final_type, type_expr &component_type)
 
unsigned int atlas::interpreter::is_close (const type_expr &x, const type_expr &y)
 
bool atlas::interpreter::broader_eq (const type_expr &a, const type_expr &b)
 

Variables

const char * atlas::interpreter::prim_names []
 
const type_expr atlas::interpreter::unknown_type
 
const type_expr atlas::interpreter::void_type (empty_tuple())
 
const type_expr atlas::interpreter::int_type (integral_type)
 
const type_expr atlas::interpreter::bool_type (boolean_type)
 
const type_expr atlas::interpreter::row_of_type (mk_type_expr("[*]"))
 
const type_expr atlas::interpreter::gen_func_type (mk_type_expr("(*->*)"))
 
const type_expr atlas::interpreter::rat_type (rational_type)
 
const type_expr atlas::interpreter::str_type (string_type)
 
const type_expr atlas::interpreter::vec_type (vector_type)
 
const type_expr atlas::interpreter::ratvec_type (rational_vector_type)
 
const type_expr atlas::interpreter::mat_type (matrix_type)
 
const type_expr atlas::interpreter::row_of_int_type (mk_type_expr("[int]"))
 
const type_expr atlas::interpreter::row_of_rat_type (mk_type_expr("[rat]"))
 
const type_expr atlas::interpreter::row_of_vec_type (mk_type_expr("[vec]"))
 
const type_expr atlas::interpreter::row_row_of_int_type (mk_type_expr("[[int]]"))
 
const type_expr atlas::interpreter::pair_type (mk_type_expr("(*,*)"))
 
const type_expr atlas::interpreter::int_int_type (mk_type_expr("(int,int)"))
 
const type_expr atlas::interpreter::Lie_type_type (complex_lie_type_type)
 
const type_expr atlas::interpreter::rd_type (root_datum_type)
 
const type_expr atlas::interpreter::ic_type (inner_class_type)
 
const type_expr atlas::interpreter::rf_type (real_form_type)
 
const type_expr atlas::interpreter::split_type (split_integer_type)
 
const type_expr atlas::interpreter::param_type (module_parameter_type)
 
const type_expr atlas::interpreter::param_pol_type (virtual_module_type)
 
std::vector< shared_value > atlas::interpreter::execution_stack
 
std::vector< conversion_record > atlas::interpreter::coerce_table
 
volatile std::sig_atomic_t atlas::interpreter::interrupt_flag =0