User Tools

Site Tools


excersize:m_r:gnss_datalog

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
excersize:m_r:gnss_datalog [2011/12/20 13:29]
127.0.0.1 external edit
— (current)
Line 1: Line 1:
-====== GNSS Datalog ====== 
-Program for GNSS excersize 
- 
-Trac may be a tool used to control the development. 
-[[http://trac.edgewall.org/|Trac]] 
- 
-SVN from Martin is available. 
-===== Manual ===== 
- 
-===== Download ===== 
-Executable jar file 
- 
-Sourcecode with Doxygen configurationfile 
- 
- 
-===== API Documentation ===== 
-The Sourcecode has been documented with Doxygen. The documentation can be found [[http://localhost/mpt-internal/excersize/GNSS/doc/html/index.html|here]] 
- 
-===== Test ===== 
-<code java> 
-/** 
- * The HelloWorldApp class implements an application that 
- * simply displays "Hello World!" to the standard output. 
- */ 
-class HelloWorldApp { 
-    public static void main(String[] args) { 
-        System.out.println("Hello World!"); //Display the string. 
-    } 
-} 
-</code> 
- 
-===== Test 2 ===== 
-<sxh php; first-line: 70; highlight: [89,92]; title: New title attribute in action> 
-    public function render($mode, &$renderer, $data) { 
-  
-        if($mode != 'xhtml') return false; 
-  
-        if (count($data) == 3) { 
-            list($syntax, $attr, $content) = $data; 
-            if ($syntax == 'sxh') { 
-                // Check if there's a title in the attribute string. It can't be passed along as a normal parameter to SyntaxHighlighter. 
-                if (preg_match("/title:/i", $attr)) { 
-                    // Extract title(s) from attribute string. 
-                    $attr_array = explode(";",$attr); 
-                    $title_array = preg_grep("/title:/i", $attr_array); 
-                    // Extract everything BUT title(s) from attribute string. 
-                    $not_title_array =  preg_grep("/title:/i", $attr_array, PREG_GREP_INVERT); 
-                    $attr = implode(";",$not_title_array); 
-                    // If there are several titles, use the last one. 
-                    $title = array_pop($title_array); 
-                    $title = preg_replace("/.*title:\s{0,}(.*)/i","$1",$title); 
-                    // Add title as an attribute to the <pre /> tag. 
-                    $renderer->doc .= "<pre class=\"brush: ".$attr."\" title=\"".$title."\">".$renderer->_xmlEntities($content)."</pre>"; 
-                } else { 
-                    // No title detected, pass all attributes as parameters to SyntaxHighlighter. 
-                    $renderer->doc .= "<pre class=\"brush: ".$attr."\">".$renderer->_xmlEntities($content)."</pre>"; 
-                } 
-             } else { 
-                $renderer->file($content); 
-            } 
-        } 
-  
-        return true; 
-    } 
-</sxh> 
  
excersize/m_r/gnss_datalog.1324384171.txt.gz · Last modified: 2021/08/14 04:19 (external edit)