agg.xt_basis
Class Convert_ImageOf

java.lang.Object
  extended by agg.xt_basis.Convert_ImageOf
All Implemented Interfaces:
com.objectspace.jgl.UnaryFunction, java.io.Serializable

Deprecated. not used anymore

public class Convert_ImageOf
extends java.lang.Object
implements com.objectspace.jgl.UnaryFunction

See Also:
Serialized Form

Field Summary
 
Fields inherited from interface com.objectspace.jgl.UnaryFunction
serialVersionUID
 
Constructor Summary
Convert_ImageOf(Morphism morph)
          Deprecated. Construct myself to be a function which converts graphobjects into its images under the given morphism morph.
 
Method Summary
 java.lang.Object execute(java.lang.Object obj)
          Deprecated. Return the image Object of obj under the morphism morph.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Convert_ImageOf

public Convert_ImageOf(Morphism morph)
Deprecated. 
Construct myself to be a function which converts graphobjects into its images under the given morphism morph.

Method Detail

execute

public final java.lang.Object execute(java.lang.Object obj)
Deprecated. 
Return the image Object of obj under the morphism morph. Return value is of type ALR_GraphObject or null iff obj is not in domain of morph.

Pre: obj instanceof ALR_GraphObject.

Specified by:
execute in interface com.objectspace.jgl.UnaryFunction