org.graphstream.stream.file

Class FileSinkImages.CustomResolution

java.lang.Object

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

Constructors

Constructor and Description
FileSinkImages.CustomResolution(int width, int height)

Method Summary

Methods

Modifier and Type	Method and Description
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