*/
Source_file::Source_file (String filename, String data)
{
- name_string_ = filename;
+ name_ = filename;
istream_ = 0;
contents_str0_ = data.get_copy_str0();
length_ = data.length();
Source_file::Source_file (String filename_string)
{
- name_string_ = filename_string;
+ name_ = filename_string;
istream_ = 0;
contents_str0_ = 0;
str_port_ = scm_mkstrport (SCM_INUM0, str, SCM_OPN | SCM_RDNG,
__FUNCTION__);
scm_set_port_filename_x (str_port_,
- scm_makfrom0str (name_string_.get_str0()));
+ scm_makfrom0str (name_.get_str0()));
}
int
String
Source_file::name_string () const
{
- return name_string_;
+ return name_;
}
Source_file::~Source_file ()