Class ProMCellViewFactory

  • All Implemented Interfaces:
    java.io.Serializable, org.jgraph.graph.CellViewFactory

    public class ProMCellViewFactory
    extends org.jgraph.graph.DefaultCellViewFactory
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      ProMCellViewFactory​(boolean isPIP, org.processmining.models.graphbased.ViewSpecificAttributeMap viewSpecificAttributes)  
    • Method Summary

      All Methods Instance Methods Concrete Methods Deprecated Methods 
      Modifier and Type Method Description
      protected org.jgraph.graph.EdgeView createEdgeView​(java.lang.Object e)
      Constructs an EdgeView view for the specified object.
      protected org.jgraph.graph.EdgeView createEdgeView​(org.jgraph.graph.Edge e)
      Deprecated.
      protected org.jgraph.graph.PortView createPortView​(java.lang.Object e)
      Constructs a PortView view for the specified object.
      protected org.jgraph.graph.PortView createPortView​(org.jgraph.graph.Port e)
      Deprecated.
      protected org.jgraph.graph.VertexView createVertexView​(java.lang.Object v)
      Constructs a VertexView view for the specified object.
      • Methods inherited from class org.jgraph.graph.DefaultCellViewFactory

        createView
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ProMCellViewFactory

        public ProMCellViewFactory​(boolean isPIP,
                                   org.processmining.models.graphbased.ViewSpecificAttributeMap viewSpecificAttributes)
    • Method Detail

      • createVertexView

        protected org.jgraph.graph.VertexView createVertexView​(java.lang.Object v)
        Description copied from class: org.jgraph.graph.DefaultCellViewFactory
        Constructs a VertexView view for the specified object.
        Overrides:
        createVertexView in class org.jgraph.graph.DefaultCellViewFactory
      • createEdgeView

        @Deprecated
        protected org.jgraph.graph.EdgeView createEdgeView​(org.jgraph.graph.Edge e)
        Deprecated.
        Description copied from class: org.jgraph.graph.DefaultCellViewFactory
        Constructs an EdgeView view for the specified object.
        Overrides:
        createEdgeView in class org.jgraph.graph.DefaultCellViewFactory
      • createEdgeView

        protected org.jgraph.graph.EdgeView createEdgeView​(java.lang.Object e)
        Description copied from class: org.jgraph.graph.DefaultCellViewFactory
        Constructs an EdgeView view for the specified object.
        Overrides:
        createEdgeView in class org.jgraph.graph.DefaultCellViewFactory
      • createPortView

        @Deprecated
        protected org.jgraph.graph.PortView createPortView​(org.jgraph.graph.Port e)
        Deprecated.
        Description copied from class: org.jgraph.graph.DefaultCellViewFactory
        Constructs a PortView view for the specified object.
        Overrides:
        createPortView in class org.jgraph.graph.DefaultCellViewFactory
      • createPortView

        protected org.jgraph.graph.PortView createPortView​(java.lang.Object e)
        Description copied from class: org.jgraph.graph.DefaultCellViewFactory
        Constructs a PortView view for the specified object.
        Overrides:
        createPortView in class org.jgraph.graph.DefaultCellViewFactory