cwi.GraphXML.Elements
Class Picture.urlImageFilter

java.lang.Object
  java.awt.image.ImageFilter
      cwi.GraphXML.Elements.Picture.urlImageFilter

All Implemented Interfaces:

java.lang.Cloneable, java.awt.image.ImageConsumer

Enclosing class:

Picture

class Picture.urlImageFilter

extends java.awt.image.ImageFilter

This filter is used to add a 'url' property to an image.

Field Summary

Fields inherited from class java.awt.image.ImageFilter

consumer

Fields inherited from interface java.awt.image.ImageConsumer

COMPLETESCANLINES, IMAGEABORTED, IMAGEERROR, RANDOMPIXELORDER, SINGLEFRAME, SINGLEFRAMEDONE, SINGLEPASS, STATICIMAGEDONE, TOPDOWNLEFTRIGHT

Constructor Summary

(package private)

Picture.urlImageFilter(java.net.URL s)

Method Summary

void	setProperties(java.util.Hashtable props) This is the inherited method from ImageFilter which sets the new property.

Methods inherited from class java.awt.image.ImageFilter

clone, getFilterInstance, imageComplete, resendTopDownLeftRight, setColorModel, setDimensions, setHints, setPixels, setPixels

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Picture.urlImageFilter

Picture.urlImageFilter(java.net.URL s)

Parameters:

s - the url to be stored with the image. The stored property is the string s.toExternalForm().

Method Detail

setProperties

public void setProperties(java.util.Hashtable props)

This is the inherited method from ImageFilter which sets the new property.