org.graphstream.stream.file
Class FileSinkImages.CustomResolution

java.lang.Object
  extended by org.graphstream.stream.file.FileSinkImages.CustomResolution
All Implemented Interfaces:
FileSinkImages.Resolution
Enclosing class:
FileSinkImages

public static class FileSinkImages.CustomResolution
extends Object
implements FileSinkImages.Resolution

User-defined resolution.


Constructor Summary
FileSinkImages.CustomResolution(int width, int height)
           
 
Method Summary
 int getHeight()
           
 int getWidth()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FileSinkImages.CustomResolution

public FileSinkImages.CustomResolution(int width,
                                       int height)
Method Detail

getWidth

public int getWidth()
Specified by:
getWidth in interface FileSinkImages.Resolution

getHeight

public int getHeight()
Specified by:
getHeight in interface FileSinkImages.Resolution

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.