cwi.GraphXML.Elements
Class Picture.urlImageFilter

java.lang.Object
  extended by java.awt.image.ImageFilter
      extended by cwi.GraphXML.Elements.Picture.urlImageFilter
All Implemented Interfaces:
java.awt.image.ImageConsumer, java.lang.Cloneable
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
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.

Specified by:
setProperties in interface java.awt.image.ImageConsumer
Overrides:
setProperties in class java.awt.image.ImageFilter