About highlight.js

highlight.js highlights syntax in code examples on HTML pages. It is used on this website to highlight AADL source code.

I wrote a specific stylesheet for AADL, see the github project page for more details. Please refer to the original project documentation for more details on how to use this stylesheet.


Example

Test AADL (test.aadl) download
package pouet
public
-- sample AADL model
thread foo
features
 a : in event data port;
properties
 Dispatch_Protocol => Periodic;
 Compute_Execution_Time => 5 ms .. 10 ms;
 Source_Text => "plop";
end foo;

end pouet;