wdoc_graphviz.php File Reference

Go to the source code of this file.

Namespaces
namespace	FDL

Variables
	$style
	$dbaccess = $appl->GetParam("FREEDOM_DB")
if($dbaccess=="")	$docid = GetHttpVars("docid", 0)
	$type = GetHttpVars("type")
	$orient = GetHttpVars("orient", "LR")
	$isize = GetHttpVars("size", "10")
	$ratio = GetHttpVars("ratio", "auto")
	$label = ($type == "complet")
	$doc = new_doc($dbaccess, $docid)
	$rankdir = $orient
	$fontsize = 13
	else
	$conditionfontsize = intval($fontsize * 10 / 13)
	$labelfontsize = intval($fontsize * 11 / 13)
	$tact = array()
foreach($doc->cycle as $k=> $v)	$line [] = '"' . str_replace(" ", "\\n", _($doc->firstState)) . '" [shape = doublecircle,style=filled, width=1.5, fixedsize=true,fontname=sans];'
if($label)	$states = $doc->getStates()
foreach($states as $k=> $v)	$ft = str_replace(" ", '\n', _($doc->firstState))
	$dot

Variable Documentation

$conditionfontsize = intval($fontsize * 10 / 13)

Definition at line 75 of file wdoc_graphviz.php.

$dbaccess = $appl->GetParam("FREEDOM_DB")

Definition at line 40 of file wdoc_graphviz.php.

$doc = new_doc($dbaccess, $docid)

Definition at line 52 of file wdoc_graphviz.php.

if ($dbaccess=="") $docid = GetHttpVars("docid", 0)

Definition at line 46 of file wdoc_graphviz.php.

print $dot

Initial value:

= "digraph \"" . $doc->title . "\" {
        ratio=\"$ratio\";
        rankdir=$rankdir;
        $size
        bgcolor=\"transparent\";
        {rank=1; \"$ft\";}
        splines=true;
        node [shape = circle, style=filled, fixedsize=true,width=1.5,   fontname=sans];\n"

Definition at line 257 of file wdoc_graphviz.php.

$fontsize = 13

Definition at line 56 of file wdoc_graphviz.php.

foreach ($states as $k=> $v) $ft = str_replace(" ", '\n', _($doc->firstState))

Definition at line 255 of file wdoc_graphviz.php.

$isize = GetHttpVars("size", "10")

Definition at line 49 of file wdoc_graphviz.php.

$label = ($type == "complet")

Definition at line 51 of file wdoc_graphviz.php.

$labelfontsize = intval($fontsize * 11 / 13)

Definition at line 76 of file wdoc_graphviz.php.

foreach ($doc->cycle as $k=> $v) $line[] = '"' . str_replace(" ", "\\n", _($doc->firstState)) . '" [shape = doublecircle,style=filled, width=1.5, fixedsize=true,fontname=sans];'

Definition at line 199 of file wdoc_graphviz.php.

$orient = GetHttpVars("orient", "LR")

Definition at line 48 of file wdoc_graphviz.php.

$rankdir = $orient

Definition at line 54 of file wdoc_graphviz.php.

$ratio = GetHttpVars("ratio", "auto")

Definition at line 50 of file wdoc_graphviz.php.

if ($label) $states = $doc->getStates()

Definition at line 241 of file wdoc_graphviz.php.

$style

Initial value:

= array(
    'autonext-color' => '#006400', 
    'arrow-label-font-color' => '#555555', 
    'arrow-color' => '#00008b', 
    'condition-color' => '#ffff00', 
    'action-color' => '#ffa500', 
    'mail-color' => '#a264d2', 
    'timer-color' => '#64a2d2', 
    'start-color' => '#0000ff', 
    
)

id Http var : document id to affect type Http var : type of graph format Http var : file format pnh or svg orient Http var :orientation TB (TopBottom) or LR (LeftRight) size Http var : global size of graph

Definition at line 28 of file wdoc_graphviz.php.

$tact = array()

Definition at line 81 of file wdoc_graphviz.php.

$type = GetHttpVars("type")

Definition at line 47 of file wdoc_graphviz.php.

else

Initial value:

{
    if ($isize == "A4") {
        $size = "size=\"7.6,11!\";"; 
        
    } else {
        if (preg_match("/([0-9\.]+),([0-9\.]+)/", $isize, $reg)) {
            
            $fontsize = intval(min($reg[1], $reg[2]) / 2);
            $size = sprintf("size=\"%.2f,%.2f!\";", floatval($reg[1]) / 2.55, floatval($reg[2]) / 2.55);
        } else {
            $isize = sprintf("%.2f", floatval($isize) / 2.55);
            $size = "size=\"$isize,$isize!\";";
        }
    }
}

$statefontsize = $fontsize

Definition at line 58 of file wdoc_graphviz.php.