18 private,protected,requires,return,sealed,% |
18 private,protected,requires,return,sealed,% |
19 super,this,throw,trait,true,try,% |
19 super,this,throw,trait,true,try,% |
20 type,val,var,while,with,yield},% |
20 type,val,var,while,with,yield},% |
21 otherkeywords={=>,<-,<\%,<:,>:,\#,@},% |
21 otherkeywords={=>,<-,<\%,<:,>:,\#,@},% |
22 sensitive=true,% |
22 sensitive=true,% |
23 directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},% |
23 %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},% |
24 moredelim=*[directive]:,% |
24 %moredelim=*[directive]:,% |
25 morecomment=[l]{//},% |
25 morecomment=[l]{//},% |
26 morecomment=[n]{/*}{*/}, |
26 morecomment=[n]{/*}{*/}, |
27 morestring=[b]", |
27 morestring=[b]", |
28 morestring=[b]', |
28 morestring=[b]', |
29 morestring=[b]""" |
29 morestring=[b]""" |
30 }[keywords,directives,comments,strings] |
30 }[keywords,comments,strings] |
31 |
31 |
32 \lstdefinelanguage{While}{ |
32 \lstdefinelanguage{While}{ |
33 morekeywords={if,then,else,while,do,true,false,write,upto,for,skip}, |
33 morekeywords={if,then,else,while,do,true,false,write,upto,for,skip}, |
34 otherkeywords={=,!=,:=,<,>,;}, |
34 otherkeywords={=,!=,:=,<,>,;}, |
35 sensitive=true, |
35 sensitive=true, |
37 } |
37 } |
38 |
38 |
39 \lstdefinestyle{mystyle} |
39 \lstdefinestyle{mystyle} |
40 {basicstyle=\ttfamily, |
40 {basicstyle=\ttfamily, |
41 keywordstyle=\color{codepurple}\bfseries, |
41 keywordstyle=\color{codepurple}\bfseries, |
42 directivestyle=\color{codeblue}\bfseries, |
42 %directivestyle=\color{codeblue}\bfseries, |
43 stringstyle=\color{codegreen}, |
43 stringstyle=\color{codegreen}, |
44 commentstyle=\color{codegreen}, |
44 commentstyle=\color{codegreen}, |
45 morecomment=[s][\color{codedocblue}]{/**}{*/}, |
45 morecomment=[s][\color{codedocblue}]{/**}{*/}, |
46 numbers=left, |
46 numbers=left, |
47 numberstyle=\tiny\color{black}, |
47 numberstyle=\tiny\color{black}, |