private static List<String> createAttributes( FeatureType ft ) { List<String> result = new LinkedList<String>(); if ( ft.isAbstract() ) { result.add( GraphvizDot.getFillColorDef( "red" ) ); result.add( GraphvizDot.getShapeDef( "triangle" ) ); } else { result.add( GraphvizDot.getFillColorDef( "cyan" ) ); } return result; }
attList.add( GraphvizDot.getShapeDef( "box" ) ); } else { if ( objectsCoveringEnv != null ) {
defaultRoot = "feature"; attribs.clear(); attribs.add( GraphvizDot.getShapeDef( "diamond" ) ); attribs.add( GraphvizDot.getFillColorDef( "green" ) ); GraphvizDot.writeVertex( "feature", attribs, out );