From 929c04ce9d6bce39208d3083f94d5cacecefbe45 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 21 May 2010 21:10:15 +0000 Subject: [PATCH] Re-arrangment of etc/ and textwrangler syntax highlighting. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1903 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/README | 23 ----- prism/etc/README.txt | 23 +++++ prism/etc/{ => icons}/p128.png | Bin prism/etc/{ => icons}/p16.png | Bin prism/etc/{ => icons}/p24.png | Bin prism/etc/{ => icons}/p32.png | Bin prism/etc/{ => icons}/p48.png | Bin prism/etc/{ => icons}/p64.png | Bin prism/etc/{ => icons}/prism.ico | Bin .../gnome}/Overrides.xml | 0 .../gnome}/prism.lang | 0 .../nedit}/prism.pats | 0 .../textwrangler/prism.plist | 94 ++++++++++++++++++ 13 files changed, 117 insertions(+), 23 deletions(-) delete mode 100644 prism/etc/README create mode 100644 prism/etc/README.txt rename prism/etc/{ => icons}/p128.png (100%) rename prism/etc/{ => icons}/p16.png (100%) rename prism/etc/{ => icons}/p24.png (100%) rename prism/etc/{ => icons}/p32.png (100%) rename prism/etc/{ => icons}/p48.png (100%) rename prism/etc/{ => icons}/p64.png (100%) rename prism/etc/{ => icons}/prism.ico (100%) rename prism/etc/{ => syntax-highlighters/gnome}/Overrides.xml (100%) rename prism/etc/{ => syntax-highlighters/gnome}/prism.lang (100%) rename prism/etc/{ => syntax-highlighters/nedit}/prism.pats (100%) create mode 100644 prism/etc/syntax-highlighters/textwrangler/prism.plist diff --git a/prism/etc/README b/prism/etc/README deleted file mode 100644 index f3fe3d3d..00000000 --- a/prism/etc/README +++ /dev/null @@ -1,23 +0,0 @@ -This directory contains the following. - - * PRISM icons for shortcuts/etc. - p*.png, prism.ico - - * Various useful scripts in scripts/ - - prism2html - converts PRISM models/properties to HTML - - prism2latex - converts PRISM models/properties to LaTex - - prism3to4 - fixes some common problems in old (3.x and earlier) PRISM models - - prism-statra - combines a PRISM .sta and .tra file into one file - (these scripts run on Linux/Unix/OS X and require prism to be in your path) - - * MIME type and syntax highlighting config for PRISM (under Gnome) - Overrides.xml, prism.lang - - * Syntax highlighting pattern for PRISM in NEdit - prism.pats - - * CSS style file for PRISM-generated HTML code - prism.css - - * LaTeX file for PRISM-generated LaTeX code - prism.tex - - * Eclipse Java code formatting definitions - prism-eclipse-formatter.xml - -Where appropriate, comments/instructions are included in the files themselves. - diff --git a/prism/etc/README.txt b/prism/etc/README.txt new file mode 100644 index 00000000..cfb73063 --- /dev/null +++ b/prism/etc/README.txt @@ -0,0 +1,23 @@ +This directory contains the following files. +Where appropriate, comments/instructions are included in the files themselves. + + * icons/ - PRISM icons for shortcuts/etc. + - p*.png - Variously sized PNGs + - prism.ico - Windows icon file + + * scripts/ - Various useful scripts + - prism2html - converts PRISM models/properties to HTML + - prism2latex - converts PRISM models/properties to LaTex + - prism3to4 - fixes some common problems in old (3.x and earlier) PRISM models + - prism-statra - combines a PRISM .sta and .tra file into one file + (these scripts run on Linux/Unix/OS X and require prism to be in your path) + + * syntax-highlighters/ - Syntax highlighting configs for various tools + - gnome/{Overrides.xml,prism.lang} - files for Gnome environment + - nedit/prism.pats - files for NEdit editor + + * prism.css - CSS style file for PRISM-generated HTML code + + * prism.tex - LaTeX file for PRISM-generated LaTeX code + + * prism-eclipse-formatter.xml - Eclipse Java code formatting definitions diff --git a/prism/etc/p128.png b/prism/etc/icons/p128.png similarity index 100% rename from prism/etc/p128.png rename to prism/etc/icons/p128.png diff --git a/prism/etc/p16.png b/prism/etc/icons/p16.png similarity index 100% rename from prism/etc/p16.png rename to prism/etc/icons/p16.png diff --git a/prism/etc/p24.png b/prism/etc/icons/p24.png similarity index 100% rename from prism/etc/p24.png rename to prism/etc/icons/p24.png diff --git a/prism/etc/p32.png b/prism/etc/icons/p32.png similarity index 100% rename from prism/etc/p32.png rename to prism/etc/icons/p32.png diff --git a/prism/etc/p48.png b/prism/etc/icons/p48.png similarity index 100% rename from prism/etc/p48.png rename to prism/etc/icons/p48.png diff --git a/prism/etc/p64.png b/prism/etc/icons/p64.png similarity index 100% rename from prism/etc/p64.png rename to prism/etc/icons/p64.png diff --git a/prism/etc/prism.ico b/prism/etc/icons/prism.ico similarity index 100% rename from prism/etc/prism.ico rename to prism/etc/icons/prism.ico diff --git a/prism/etc/Overrides.xml b/prism/etc/syntax-highlighters/gnome/Overrides.xml similarity index 100% rename from prism/etc/Overrides.xml rename to prism/etc/syntax-highlighters/gnome/Overrides.xml diff --git a/prism/etc/prism.lang b/prism/etc/syntax-highlighters/gnome/prism.lang similarity index 100% rename from prism/etc/prism.lang rename to prism/etc/syntax-highlighters/gnome/prism.lang diff --git a/prism/etc/prism.pats b/prism/etc/syntax-highlighters/nedit/prism.pats similarity index 100% rename from prism/etc/prism.pats rename to prism/etc/syntax-highlighters/nedit/prism.pats diff --git a/prism/etc/syntax-highlighters/textwrangler/prism.plist b/prism/etc/syntax-highlighters/textwrangler/prism.plist new file mode 100644 index 00000000..2a2804fc --- /dev/null +++ b/prism/etc/syntax-highlighters/textwrangler/prism.plist @@ -0,0 +1,94 @@ + + + + + BBEditDocumentType + CodelessLanguageModule + BBLMLanguageDisplayName + PRISM + BBLMLanguageCode + PRIS + BBLMColorsSyntax + + BBLMScansFunctions + + BBLMIsCaseSensitive + + BBLMKeywordList + + 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 + + BBLMSuffixMap + + + BBLMLanguageSuffix + .pm + + + BBLMLanguageSuffix + .nm + + + BBLMLanguageSuffix + .sm + + + BBLMLanguageSuffix + .pctl + + + BBLMLanguageSuffix + .csl + + + Language Features + + Open Line Comments + // + Identifier and Keyword Characters + 0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ_abcdefghijklmnopqrstuvwxyz + + +