Examples of org.graphstream.stream.file.FileSource

org.graphstream.stream.file.FileSource

Source of graph events coming from a file.

The file input interface is an input with specific methods that deals with files. File inputs are designed to handle graphs stored under the form of a textual or binary file either under the form of a file name or a Java input stream. If the file comes from an URL, convert the URL to an input stream.

The file package is designed under the idea that it provides graph inputs from files that store the graph under a given file format and encoding. The package provides decoders for all these formats.

Do not confuse the file package with the net package that can also read from URLs, but build graph not from encoded description of a graph, but from web services like Flickr or Amazon, or simply networks of web pages tied by web links. The graph construction task is entirely different.

Although not all graph format handle dynamic graphs, all file inputs must provide both the readAll() and begin()/nextEvents()/end() methods. The later must read one graph modification at a time.

   * @throws IOException
   * @see org.graphstream.stream.file.FileSourceFactory
   */
  public static int countStepInFile(String path) throws IOException {
    StepCounter counter = new StepCounter();
    FileSource source = FileSourceFactory.sourceFor(path);


    source.addElementSink(counter);
    source.readAll(path);


    return counter.getStepCount();
  }

    fromViewer.addSink(graph);
    viewer.addDefaultView(true);
    graph.addSink(layout);
    layout.addAttributeSink(graph);


    FileSource dgs = GRAPH.endsWith(".gml") ? new FileSourceGML() : new FileSourceDGS();


    dgs.addSink(graph);
    try {
      dgs.begin(getClass().getResourceAsStream(GRAPH));
      for (int i = 0; i < 5000 && dgs.nextEvents(); i++) {
//        fromViewer.pump();
//        layout.compute();
//        sleep(100);
      }
      dgs.end();
    } catch (IOException e1) {
      e1.printStackTrace();
      System.exit(1);
    }

    input.readAll(filename);
  }


  public void read(String filename) throws IOException, GraphParseException,
      ElementNotFoundException {
    FileSource input = FileSourceFactory.sourceFor(filename);
    if (input != null) {
      input.addSink(this);
      read(input, filename);
      input.removeSink(this);
    } else {
      throw new IOException("No source reader for " + filename);
    }
  }

Examples of org.graphstream.stream.file.FileSource

Related Classes of org.graphstream.stream.file.FileSource