return s;
}
-/** get a char
- Only class member who uses text_file::get
- */
char
Data_file::data_get()
{
return c;
}
-/// read line, gobble '\n'
String
Data_file::get_line()
{
return s;
}
-/// gobble stuff before first entry on a line.
void
Data_file::gobble_leading_white()
{
return edge_out_l_arr_;
}
-/**
+/*
Should not copy deps automatically
*/
Directed_graph_node::Directed_graph_node (Directed_graph_node const&)
#include "string-convert.hh"
#include "rational.hh"
-/// indent of each level
+/// amount of indentation for each level.
const int INDTAB = 2;
/*
Text_stream::eof_b;
Text_stream::get_name;
+ /**
+ Get a char.
+ Only class member who uses text_file::get
+ */
char data_get();
void data_unget (char c) {
unget (c);
class File_path : private Array<String>
{
public:
- /// locate a file in the search path
String find (String nm) const;
- /// add to end of path.
Array<String>::push;
String str ()const;
void add (String str);