agg.xt_basis
Class MappingEvent

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by agg.xt_basis.BadMappingException
                  extended by agg.xt_basis.MappingEvent
All Implemented Interfaces:
java.io.Serializable

public class MappingEvent
extends BadMappingException

This Exception is thrown by methods of the class OrdinaryMorphism, especially by addMapping(), to indicate a violation of some morphism property. A more detailed description of the violation cause will be given in the exception's detail message.

See Also:
OrdinaryMorphism, OrdinaryMorphism.addMapping(java.util.Vector), Serialized Form

Constructor Summary
MappingEvent(java.lang.String n, GraphObject o)
          Construct myself with the specified detail message and mapped/ unmapped object.
MappingEvent(java.lang.String n, GraphObject o, GraphObject i)
          Construct myself with the specified detail message and original and image object of the mapping.
 
Method Summary
 GraphObject getGraphObject()
           
 GraphObject getImageObject()
           
 GraphObject getOriginalObject()
           
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MappingEvent

public MappingEvent(java.lang.String n,
                    GraphObject o)
Construct myself with the specified detail message and mapped/ unmapped object.


MappingEvent

public MappingEvent(java.lang.String n,
                    GraphObject o,
                    GraphObject i)
Construct myself with the specified detail message and original and image object of the mapping.

Method Detail

getGraphObject

public GraphObject getGraphObject()

getOriginalObject

public GraphObject getOriginalObject()

getImageObject

public GraphObject getImageObject()