<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_2817sm5lnq365dj7uav6787une, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

lib 1007171

import org.jgraph.JGraph;
import org.jgraph.graph.DefaultGraphCell;
import org.jgraph.graph.GraphConstants;

import org.jgrapht.ListenableGraph;
import org.jgrapht.ext.JGraphModelAdapter;
import org.jgrapht.graph.ListenableDirectedGraph;
import org.jgrapht.graph.DefaultEdge;

/**
 * A demo that shows how to use JGraph to visualize JGraphT graphs.
 *
 * @author Barak Naveh / adapted by Stefan Reich
 */
 
static final Color     DEFAULT_BG_COLOR = Color.decode( "#FAFBFF" );
static final Dimension DEFAULT_SIZE = new Dimension( 530, 320 );

static JGraphModelAdapter m_jgAdapter;

p-substance {
  // create a JGraphT graph
  ListenableGraph g = new ListenableDirectedGraph( DefaultEdge.class );

  // create a visualization using JGraph, via an adapter
  m_jgAdapter = new JGraphModelAdapter( g );

  JGraph jgraph = new JGraph( m_jgAdapter );

  adjustDisplaySettings( jgraph );
  showFrame( jgraph );
  setInnerFrameSize(DEFAULT_SIZE);

  // add some sample data (graph manipulated via JGraphT)
  g.addVertex( "v1" );
  g.addVertex( "v2" );
  g.addVertex( "v3" );
  g.addVertex( "v4" );

  g.addEdge( "v1", "v2" );
  g.addEdge( "v2", "v3" );
  g.addEdge( "v3", "v1" );
  g.addEdge( "v4", "v3" );

  // position vertices nicely within JGraph component
  positionVertexAt( "v1", 130, 40 );
  positionVertexAt( "v2", 60, 200 );
  positionVertexAt( "v3", 310, 230 );
  positionVertexAt( "v4", 380, 70 );

  // that's all there is to it!...
  }

static void adjustDisplaySettings( JGraph jg ) {
  jg.setPreferredSize( DEFAULT_SIZE );

  Color  c        = DEFAULT_BG_COLOR;
  String colorStr = null;

  try {
      colorStr = getParameter( "bgcolor" );
  }
   catch( Exception e ) {}

  if( colorStr != null ) {
      c = Color.decode( colorStr );
  }

  jg.setBackground( c );
}

static void positionVertexAt( Object vertex, int x, int y ) {
  DefaultGraphCell cell = m_jgAdapter.getVertexCell( vertex );
  Map              attr = cell.getAttributes(  );
  Rectangle        b    = GraphConstants.getBounds( attr );

  GraphConstants.setBounds( attr, new Rectangle( x, y, b.width, b.height ) );

  Map cellAttr = new HashMap(  );
  cellAttr.put( cell, attr );
  m_jgAdapter.edit( cellAttr, null, null, null, null );
}