Esempio n. 1
0
function getFragments($fragments, $parentName, &$subfragments)
{
    foreach ($fragments as $fragment) {
        $index = '';
        if (array_key_exists('index', $fragment)) {
            $index .= "/{$fragment['index']}";
        }
        if (empty($parentName)) {
            $fragmentName = "{$fragment['classifier']}/{$fragment['name']}{$index}";
        } else {
            $fragmentName = "{$parentName}/{$fragment['classifier']}/{$fragment['name']}{$index}";
        }
        if (array_key_exists('startLine', $fragment) && array_key_exists('endLine', $fragment)) {
            $lineRange = array('startLine' => $fragment['startLine'], 'endLine' => $fragment['endLine']);
            $subfragments[$fragmentName] = $lineRange;
        }
        if (array_key_exists('fragments', $fragment)) {
            getFragments($fragment['fragments'], $fragmentName, $subfragments);
        }
    }
}
Esempio n. 2
0
                }
            },
            plotOptions: {
                column: {
                    stacking: 'normal',
                    dataLabels: {
                        enabled: true,
                        color: (Highcharts.theme && Highcharts.theme.dataLabelsColor) || 'white',
                        style: {
                            textShadow: '0 0 3px black, 0 0 3px black'
                        }
                    }
                }
            },
            series: [<?php 
echo getFragments($mem);
?>
],
            credits: {
                enabled: false
            },
            legend : {
                enabled: false
            }
        });
    });
</script>
<div class="col-md-3" style="padding-left: 0px">
    <div id="frag_container" style="width: 250px;height: 100%"></div>
</div>
<div class="col-md-9" style="padding-left: 0px">