!Promela syntax highlighting patterns !Install with ! nedit -import ! !Peter Saffrey !pzs@dcs.gla.ac.uk !6 March 2000 nedit.languageModes: Promela:.p .pml::::::".,/\\`'!|@#%^&*()-=+{}[]"":;<>?~" nedit.highlightPatterns: Promela:1:0{\n\ storage keyword:"<(bit|byte|bool|short|int|mtype|chan)>\n\ ":::Storage Type::D\n\ comment:"/\\*":"\\*/"::Comment::\n\ string:"""":"""":"\\n":String::\n\ preprocessor line:"^[ ]*#":"$"::Preprocessor::\n\ numerical constant:"<(\\+|-)?(([0-9]+\\.?[0-9]*)|(\\.[0-9]+))((e|E)(\\+|-)?[0-9]+)?>":::Numeric Const::D\n\ keyword:"<(goto|if|fi|else|break|do|od|d_step|atomic|unless)>":::Keyword::D\n\ braces:"[{}]":::Keyword::D\n\ I-O operators:"(!|\\?|-\\>|::)":::other operators::\n\ } nedit.styles: other operators:blue:Plain