From 2b134243c5413242b0c1e9fc2120e0a8d48c1fae Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 20 Apr 2007 09:11:47 +0000
Subject: [PATCH] Added Gnome/gedit syntax highlighting file.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@279 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/prism.lang | 68 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 68 insertions(+)
 create mode 100644 prism/etc/prism.lang

diff --git a/prism/etc/prism.lang b/prism/etc/prism.lang
new file mode 100644
index 00000000..8b0c985e
--- /dev/null
+++ b/prism/etc/prism.lang
@@ -0,0 +1,68 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE language SYSTEM "language.dtd">
+
+<!-- Syntax highlighting patterns for Gnome editors such as gedit -->
+<!-- Save this file in ~/.gnome2/gtksourceview-1.0/language-specs/ -->
+<!-- After a restart of Gnome, "PRISM" should appear as a highlight mode under "Others" -->
+
+<language _name="PRISM" version="1.0" _section="Others" mimetypes="text/x-prism">
+
+	<line-comment _name = "Line Comment" style= "Comment">
+		<start-regex>//</start-regex>
+	</line-comment>
+
+	<pattern-item _name = "Numeric" style = "Decimal">
+		<regex>(\b([1-9][0-9]*|0)\b)|(\b([0-9]+[Ee][+-]?[0-9]+|([0-9]*\.[0-9]+|[0-9]+\.)([Ee][-]?[0-9]+)?)[fFlL]?)</regex>
+	</pattern-item>
+	
+	<pattern-item _name = "Identifiers" style = "Data Type">
+		<regex>[a-zA-Z_][a-zA-Z0-9_]*</regex>
+	</pattern-item>
+	
+	<keyword-list _name = "Keywords" style = "Keyword" case-sensitive="TRUE">
+		<keyword>bool</keyword>
+		<keyword>C</keyword>
+		<keyword>ceil</keyword>
+		<keyword>const</keyword>
+		<keyword>ctmc</keyword>
+		<keyword>double</keyword>
+		<keyword>dtmc</keyword>
+		<keyword>endinit</keyword>
+		<keyword>endmodule</keyword>
+		<keyword>endrewards</keyword>
+		<keyword>endsystem</keyword>
+		<keyword>F</keyword>
+		<keyword>false</keyword>
+		<keyword>floor</keyword>
+		<keyword>formula</keyword>
+		<keyword>func</keyword>
+		<keyword>G</keyword>
+		<keyword>global</keyword>
+		<keyword>I</keyword>
+		<keyword>init</keyword>
+		<keyword>int</keyword>
+		<keyword>label</keyword>
+		<keyword>max</keyword>
+		<keyword>mdp</keyword>
+		<keyword>min</keyword>
+		<keyword>module</keyword>
+		<keyword>nondeterministic</keyword>
+		<keyword>P</keyword>
+		<keyword>Pmax</keyword>
+		<keyword>Pmin</keyword>
+		<keyword>prob</keyword>
+		<keyword>probabilistic</keyword>
+		<keyword>R</keyword>
+		<keyword>rate</keyword>
+		<keyword>rewards</keyword>
+		<keyword>Rmax</keyword>
+		<keyword>Rmin</keyword>
+		<keyword>S</keyword>
+		<keyword>stochastic</keyword>
+		<keyword>system</keyword>
+		<keyword>true</keyword>
+		<keyword>U</keyword>
+		<keyword>X</keyword>
+	</keyword-list>
+
+</language>