From e29975e266b9584a510953e24a4e8c7efee76e9e Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Wed, 11 Nov 2020 03:02:51 +0000
Subject: CTAN sync 202011110302

---
 macros/latex/contrib/vdmlisting/vdmlisting.sty | 61 +++++++++++++++++++++++---
 1 file changed, 55 insertions(+), 6 deletions(-)

(limited to 'macros/latex/contrib/vdmlisting/vdmlisting.sty')

diff --git a/macros/latex/contrib/vdmlisting/vdmlisting.sty b/macros/latex/contrib/vdmlisting/vdmlisting.sty
index 619fb34df2..7bf4a72a73 100644
--- a/macros/latex/contrib/vdmlisting/vdmlisting.sty
+++ b/macros/latex/contrib/vdmlisting/vdmlisting.sty
@@ -9,8 +9,8 @@
 %% (c) 2013 Kenneth Lausdahl
 %%
 %%
-\def\filedate{2013/04/10}
-\def\fileversion{1.0}
+\def\filedate{2020/11/10}
+\def\fileversion{1.1}
 \NeedsTeXFormat{LaTeX2e}
 \AtEndOfPackage{\ProvidesPackage{vdmlisting}
              [\filedate\space\fileversion\space(Kenneth Lausdahl)]}
@@ -53,8 +53,7 @@
 %
 %configure listing style and language
 %
-
-\lstdefinelanguage{VDM_SL}
+\lstdefinelanguage{VDM_SL_10}
   {morekeywords={RESULT, abs, all, always, and, as, be, be st, bool, by, card, cases, char, comp, compose, 
 conc, dcl, def, definitions, dinter, div, dlmodule, do, dom, dunion, elems, else, elseif, end,
  error, errs, exists, exists1, exit, exports, ext, false, floor, for, for all, forall, from, 
@@ -69,8 +68,20 @@ conc, dcl, def, definitions, dinter, div, dlmodule, do, dom, dunion, elems, else
    morestring=[b]",
    morestring=[b]',
   }[keywords,comments,strings]
+  
+\lstdefinelanguage{VDM_SL}
+  {morekeywords={RESULT,\#else,\#endif,\#ifdef,\#ifndef,abs,all,always,and,as,atomic,be,be st,bool,by,card,cases,char,comp,compose,conc,dcl,def,definitions,dinter,div,dlmodule,do,dom,dunion,
+  elems,else,elseif,end,eq,error,errs,exists,exists1,exit,exports,ext,false,floor,for,for all,forall,from,functions,hd,if,imports,in,in set,inds,init,inmap,int,inter,inv,inverse,iota,is,is not yet specified,is\_,lambda,len,let,map,measure,merge,mk\_,mod,module,mu,munion,nat,nat1,nil,not,not in set,of,operations,or,ord,others,post,power,pre,psubset,pure,rat,rd,real,rem,renamed,return,reverse,rng,
+  seq,seq1,set,set1,skip,specified,st,state,struct,subset,then,tixe,tl,to,token,traces,trap,true,types,undefined,
+  union,uselib,values,while,with,wr,yet
+},
+   sensitive,
+   morecomment=[l]--,
+   morestring=[b]",
+   morestring=[b]',
+  }[keywords,comments,strings]
 
-\lstdefinelanguage{VDM_PP}
+\lstdefinelanguage{VDM_PP_10}
   {morekeywords={\#act, \#active, \#fin, \#req, \#waiting, 
  RESULT, abs, all, always, and, async, atomic, be, be st, bool, by, card, cases, char, class, 
  comp, compose, conc, dcl, def, dinter, div, do, dom, dunion, elems, else, elseif, end, error, 
@@ -87,8 +98,23 @@ conc, dcl, def, definitions, dinter, div, dlmodule, do, dom, dunion, elems, else
    morestring=[b]",
    morestring=[b]',
   }[keywords,comments,strings]
+
+\lstdefinelanguage{VDM_PP}
+  {morekeywords={RESULT,\#act,\#active,\#else,\#endif,\#fin,\#ifdef,\#ifndef,\#req,\#waiting,abs,all,always,and,async,atomic,be,be st,bool,by,card,cases,char,class,comp,compose,conc,dcl,def,dinter,div,do,dom,dunion,elems,else,elseif,end,
+  eq,error,errs,exists,exists1,exit,ext,false,floor,for,for all,forall,from,functions,hd,if,in,in set,inds,init,inmap,instance,instance variables,int,inter,inv,inverse,iota,is,is not yet specified,is subclass of,is subclass responsibility,is\_,isofbaseclass,isofclass,lambda,len,let,map,measure,merge,mk\_,mod,mu,munion,mutex,narrow\_,
+  nat,nat1,new,nil,not,not in set,obj\_,of,operations,or,ord,others,per,periodic,post,power,pre,private,protected,psubset,public,pure,rat,rd,real,rem,
+  responsibility,return,reverse,rng,samebaseclass,sameclass,self,seq,seq1,set,set1,skip,specified,sporadic,st,start,
+  startlist,static,stop,stoplist,subclass,subset,sync,then,thread,threadid,tixe,tl,to,token,traces,trap,true,types,undefined,
+  union,values,variables,while,with,wr,yet
+ },
+   sensitive,
+   morecomment=[l]--,
+   morestring=[b]",
+   morestring=[b]',
+  }[keywords,comments,strings]
   
-\lstdefinelanguage{VDM_RT}
+
+\lstdefinelanguage{VDM_RT_10}
   {morekeywords={\#act, \#active, \#fin, \#req, \#waiting, 
 RESULT, abs, all, always, and, async, atomic, be, be st, bool, by, card, cases, 
 char, class, comp, compose, conc, cycles, dcl, def, dinter, div, do, dom, dunion, 
@@ -107,6 +133,20 @@ floor, for, for all, forall, from, functions, hd, if, in, in set, inds, inmap, i
    morestring=[b]',
   }[keywords,comments,strings]
 
+\lstdefinelanguage{VDM_RT}
+  {morekeywords={RESULT,\#act,\#active,\#else,\#endif,\#fin,\#ifdef,\#ifndef,\#req,\#waiting,abs,all,always,and,async,atomic,be,be st,bool,by,card,cases,char,class,comp,compose,conc,cycles,dcl,def,dinter,div,do,dom,dunion,duration,elems,
+  else,elseif,end,eq,error,errs,exists,exists1,exit,ext,false,floor,for,for all,forall,from,functions,hd,if,in,in set,inds,init,inmap,instance,instance variables,int,inter,inv,inverse,iota,is,is not yet specified,is subclass of,is subclass responsibility,is\_,isofbaseclass,isofclass,lambda,len,let,map,measure,merge,mk\_,mod,mu,munion,mutex,narrow\_,
+  nat,nat1,new,nil,not,not in set,obj\_,of,operations,or,ord,others,per,periodic,post,power,pre,private,protected,psubset,public,pure,rat,rd,real,
+  rem,responsibility,return,reverse,rng,samebaseclass,sameclass,self,seq,seq1,set,set1,skip,specified,sporadic,
+  st,start,startlist,static,stop,stoplist,subclass,subset,sync,system,then,thread,threadid,time,tixe,tl,to,token,traces,
+  trap,true,types,undefined,union,values,variables,while,with,wr,yet
+ },
+   sensitive,
+   morecomment=[l]--,
+   morestring=[b]",
+   morestring=[b]',
+  }[keywords,comments,strings]
+
 
 %
 % Define  listing for the VDM language
@@ -142,12 +182,21 @@ floor, for, for all, forall, from, functions, hd, if, in, in set, inds, inmap, i
 \lstnewenvironment{vdmsl}[1][]{\lstset{style=overtureLanguageStyle}\lstset{language=VDM_SL}\lstset{#1}}
 {}
 
+\lstnewenvironment{vdmsl_10}[1][]{\lstset{style=overtureLanguageStyle}\lstset{language=VDM_SL_10}\lstset{#1}}
+{}
+
 \lstnewenvironment{vdmpp}[1][]{\lstset{style=overtureLanguageStyle}\lstset{language=VDM_PP}\lstset{#1}}
 {}
 
+\lstnewenvironment{vdmpp_10}[1][]{\lstset{style=overtureLanguageStyle}\lstset{language=VDM_PP_10}\lstset{#1}}
+{}
+
 \lstnewenvironment{vdmrt}[1][]{\lstset{style=overtureLanguageStyle}\lstset{language=VDM_RT}\lstset{#1}}
 {}
 
+\lstnewenvironment{vdmrt_10}[1][]{\lstset{style=overtureLanguageStyle}\lstset{language=VDM_RT_10}\lstset{#1}}
+{}
+
 % Environment definition for test coverage use by VDM Tools
 \lstnewenvironment{vdmrealtimeinfo}{}
 {}
-- 
cgit v1.2.3

