Method open

gfanlib/gfanlib_polymakefile.cpp:74–108

void PolymakeFile::open(std::istream &f)
{
  isXml=false;
//  fileName=string(fileName_);

//  FILE *f=fopen(fileName.c_str(),"r");
//  if(!f)//fprintf(Stderr,"Could not open file:\"%s\"\n",fileName_);
//  assert(f);

  int c=f.get();//fgetc(f);
  while(!f.eof())
    {
      if(c=='_')
        {
          readUntil(f,'\n');
        }
      else if(c!='\n')
        {
          f.unget();
          //          ungetc(c,f);
          string name=readUntil(f,'\n');

//          fprintf(Stderr,"Reading:\"%s\"\n",name.c_str());
          stringstream value;
          while(1)
            {
              string l=readUntil(f,'\n');
              if(l.size()==0)break;
              value << l <<endl;
            }
          properties.push_back(PolymakeProperty(name.c_str(),value.str().c_str()));
        }
      c=f.get();//fgetc(f);
    }
}

/*void PolymakeFile::open(const char *fileName_)
{