buffer.h

Go to the documentation of this file.

/*1:*/
#line 55 "buffer.w"
#ifndef BUFFER_H
#define BUFFER_H/*8:*/
#line 218 "buffer.w"
#include <vector>
#include <cstring>/*:8*//*19:*/
#line 476 "buffer.w"
#include <string>
#include "../Atlas.h" 
#include "bitmap.h" 
#include "sl_list.h" /*:19*//*23:*/
#line 583 "buffer.w"
#include <fstream>/*:23*/
#line 58 "buffer.w"



namespace atlas
{namespace interpreter
{/*3:*/
#line 111 "buffer.w"
class String_pool
{public:
static const size_t default_block_size=512;
String_pool(size_t b=default_block_size);
char*store(const char*s,size_t length);
~String_pool();
private:
String_pool(const String_pool&);
String_pool&operator=(const String_pool&);

const size_t block_size;
char*start;
char*point;
size_t chars_left;
const String_pool*prev;

};/*:3*//*7:*/
#line 184 "buffer.w"
class Hash_table
{
public:
typedef unsigned short id_type;
static const id_type empty;
private:
String_pool pool;
id_type mod;
std::vector<id_type>hash_tab;
std::vector<const char* >name_tab;

public:
Hash_table(size_t init=initial_hash_mod
,size_t block_size=String_pool::default_block_size);

id_type nr_entries()const{return name_tab.size();}
const char*name_of(id_type nr)const{return name_tab[nr];}
bool knows(const char*name)const;

id_type match(const char*s,size_t l){return do_match(s,l,true);}
id_type match_literal(const char*s)
{return do_match(s,std::strlen(s),false);}
private:
static const id_type initial_hash_mod=97;
id_type hash(const char*s,size_t l)const;
id_type do_match(const char*s,size_t l,bool copy_string);
size_t max_fill()const{return static_cast<id_type>(mod*3L/4);}

};/*:7*//*15:*/
#line 413 "buffer.w"
#include <iosfwd>/*:15*//*16:*/
#line 427 "buffer.w"
class BufferedInput
{typedef char*(*rl_type)(const char*);

typedef void(*add_hist_type)(const char*);/*24:*/
#line 601 "buffer.w"
struct input_record
{std::ifstream f_stream;
Hash_table::id_type name;
unsigned long line_no;

input_record(BufferedInput&,const char*file_name);
input_record(const input_record&rec)=delete;
input_record&operator=(const input_record&rec)=delete;
};/*:24*//*20:*/
#line 506 "buffer.w"
std::istream&base_stream;
std::string line_buffer;
const char*p;
const char*const prompt,*const prompt2;
const char*def_ext;
std::string temp_prompt;
const rl_type readline;
const add_hist_type add_hist;
unsigned long line_no;
int cur_lines,prompt_length;
containers::mirrored_sl_list<input_record>input_stack;

Hash_table input_files_seen;
BitMap input_files_completed;
std::istream*stream;/*:20*/
#line 434 "buffer.w"


public:
BufferedInput(std::istream&s);

BufferedInput(const char*prompt
,rl_type rl=nullptr,add_hist_type=nullptr
,const char*prompt2="> "
,const char*def_ext=".at");


char shift();
void unshift();
bool eol()const;
bool getline();

bool push_file(const char*file_name,bool skip_seen);

void close_includes();/*26:*/
#line 641 "buffer.w"
Hash_table::id_type current_file()const
{return input_stack.empty()?Hash_table::empty:input_stack.back().name;}
const char*name_of(Hash_table::id_type f)const
{return
f==Hash_table::empty?"<standard input>":input_files_seen.name_of(f);}
const char*cur_fname()const
{return name_of(current_file());}/*:26*//*36:*/
#line 987 "buffer.w"
unsigned int include_depth()const{return input_stack.size();}
const char*point()const{return p==nullptr?line_buffer.c_str():p;}
void set_line_no(unsigned long l)
{line_no=l;}
void locate(const char*p,int&line,int&column)const;/*:36*//*38:*/
#line 1009 "buffer.w"
void show_range
(std::ostream&out,unsigned long l0,int c0,unsigned long l1,int c1)
const;/*:38*//*40:*/
#line 1053 "buffer.w"
void push_prompt(char c);
char top_prompt()const;
void pop_prompt();
void reset();/*:40*/
#line 453 "buffer.w"

private:
void pop_file();
};/*:16*//*21:*/
#line 527 "buffer.w"
inline bool BufferedInput::eol()const{return p==nullptr or*p=='\0';}/*:21*//*35:*/
#line 959 "buffer.w"
inline char BufferedInput::shift()
{if(eol())
if(not getline())
{p=nullptr;return '\0';}
return*p++;
}

inline void BufferedInput::unshift()
{if(p!=nullptr and p>line_buffer.data())
--p;
}/*:35*//*17:*/
#line 463 "buffer.w"
extern BufferedInput*main_input_buffer;/*:17*//*27:*/
#line 657 "buffer.w"
unsigned int input_path_size();
const std::string&input_path_component(unsigned int i);/*:27*/
#line 67 "buffer.w"

}
}
#endif/*:1*/