You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
44 lines
1.8 KiB
44 lines
1.8 KiB
! This file is used to provide syntax highlighting for PRISM 2.1
|
|
! in the NEdit editor (www.nedit.org).
|
|
!
|
|
! To use it, close any NEdit programs and restart with:
|
|
!
|
|
! nedit -import prism-2.1.dev.pats
|
|
!
|
|
! Now, select "Save Defaults" from the "Preferences" menu
|
|
! to save these changes to your personal settings.
|
|
!
|
|
! You can view or modify the syntax highlighting settings from:
|
|
!
|
|
! "Preferences | Default Settings | Language Modes"
|
|
! "Preferences | Default Settings | Syntax Highlighting"
|
|
!
|
|
! In theory, the PRISM language mode should be automatically started
|
|
! in NEdit when a file with an associated extension is loaded:
|
|
!
|
|
! .pm .nm .sm .pctl .csl
|
|
!
|
|
! In fact, this is not always the case since these extensions overlap
|
|
! with those for other programs (e.g. .pm for Perl and .nm for NEdit macros).
|
|
! To overide this at any time, select:
|
|
!
|
|
! "Preferences | Language Mode | PRISM"
|
|
!
|
|
! For a more permanent solution, select:
|
|
!
|
|
! "Preferences | Default Settings | Language Modes"
|
|
!
|
|
! and move "PRISM" higher up the list of modes using the "Move ^" button.
|
|
|
|
nedit.highlightPatterns: PRISM:1:0{\n\
|
|
Comment:"//":"$"::PRISM Comment::\n\
|
|
Preprocessor:"#":"#"::PRISM Preprocessor::\n\
|
|
Keyword:"<(bool|C|ceil|const|ctmc|double|dtmc|endinit|endmodule|endrewards|endsystem|F|false|floor|formula|func|G|global|I|init|int|label|max|mdp|min|module|nondeterministic|P|Pmax|Pmin|prob|probabilistic|R|rate|rewards|Rmax|Rmin|S|stochastic|system|true|U|X)>":::Keyword::\n\
|
|
Identifier:"<([A-Za-z_][A-Za-z0-9_]*)>":::PRISM Identifier::\n\
|
|
Numeric:"<((0|([1-9][0-9]*))((\\.[0-9]+)?))>":::PRISM Numeric::\n\
|
|
}
|
|
nedit.languageModes: PRISM:.pm .nm .sm .pctl .csl::::::"!&|->:;,.()[]{}=<+*/'?""":
|
|
nedit.styles: PRISM Comment:darkGreen:Italic\n\
|
|
PRISM Identifier:darkRed:Plain\n\
|
|
PRISM Numeric:Blue:Plain\n\
|
|
PRISM Preprocessor:purple:Plain
|