rouge 3.28.0 → 3.29.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a74c520254d1312e4a5343103e3d83b48c967025a77a01701c42820a5eb3c708
-  data.tar.gz: 2fb290b030a0d60910973c53398c0dd4b127d17c1b489c88105f0bddb3689f6e
+  metadata.gz: 15e78361e4f2dde8ae802ffcd36cc0b1e8e9124c2bbe0d3182a767244047a9e0
+  data.tar.gz: 661838ffd5b8c6ff8ac894312293aa6c46b36abed76ccc8f0932358e6478c8b1
 SHA512:
-  metadata.gz: f499d28b76cd95fa2182d64809c4b6828c735a95c05c1b9af858ac6c1d0d17755fdafa90ae93f9d7fd27bd826fb4055cb8d3985d94b17172018ef408a397d8cf
-  data.tar.gz: 7fcd54cac21c2fb1b1cdc0825691ce812f42bc5d18cace205b281aaf87e7d8a75ee2dca544e92b9b193084605811f74151b00c51237850952cb22d4e4dde5db9
+  metadata.gz: 21f210c421a0a0137d57f2c7fd3b3d931a1b481a276e6fe6eb296a5e1572ccb7ffd3912a8455e98c362b863ab52773b27c7d9135e2cddaa7b75b5fa324f4036e
+  data.tar.gz: 9bb3d495c856a8e790cc38736afb4e187b5b34fa8d1f0c1b99ff60af63cec60a9312ee4a69a642e31938dd4586647e224f311afdde6d343bcafa35b64110f2a3

data/Gemfile

@@ -11,7 +11,8 @@ gem 'minitest-power_assert'
 gem 'power_assert', '~> 1.2'
 
 gem 'parallel', '~> 1.13.0' if RUBY_VERSION < '2.2.0'
-gem 'rubocop', '~> 0.49.1'
+gem 'rubocop', '~> 1.0', '<= 1.11'
+gem 'rubocop-performance'
 
 # don't try to install redcarpet under jruby
 gem 'redcarpet', :platforms => :ruby

data/lib/rouge/demos/brainfuck

@@ -2,4 +2,4 @@
 	This is a sample
 	comment.
 ]
-.[>+<-]>,
+.[>+<-]>,

data/lib/rouge/demos/brightscript

@@ -3,4 +3,4 @@ function main(args as dynamic) as void
     'Create a scene and load /components/helloworld.xml'
     scene = screen.CreateScene("HelloWorld")
     screen.show()
-end function
+end function

data/lib/rouge/demos/bsl

@@ -4,4 +4,4 @@
     Сообщить("Привет мир");
 КонецПроцедуры
 
-#КонецОбласти
+#КонецОбласти

data/lib/rouge/demos/cfscript

@@ -15,4 +15,4 @@ component accessors="true" {
 
     return foo;
   }
-}
+}

data/lib/rouge/demos/coq

@@ -10,4 +10,4 @@ Section with_T.
     end.
 End with_T.
 
-Definition a_string := "hello \" world".
+Definition a_string := "hello \" world".

data/lib/rouge/demos/csvs

@@ -5,4 +5,4 @@ Transaction_Date: xDate
 Transaction_ID: notEmpty
 Originator_Name: notEmpty
 Originator_Address: any("yes","no")
-Originator_Country: notEmpty
+Originator_Country: notEmpty

data/lib/rouge/demos/datastudio

@@ -18,4 +18,3 @@ select * from TABLE1 where COL1 like %VAR1%; //utiliser la variable VAR1 dans un
 
 select * from TEST_TABLE; //exécution d'une requête Select pour ramener des valeurs
 Affect_LastColumns("TEST1"); //création du paramètre TEST1
-

data/lib/rouge/demos/ecl

@@ -15,4 +15,3 @@ somePeople := allPeople(LastName = 'Smith');
 
 //  Outputs  ---
 somePeople;
-

data/lib/rouge/demos/erlang

@@ -4,4 +4,4 @@
 
 %% Compute rectangle and circle area.
 area({rectangle, Width, Ht}) -> Width * Ht;
-area({circle, R})            -> 3.14159 * R * R.
+area({circle, R})            -> 3.14159 * R * R.

data/lib/rouge/demos/fsharp

@@ -9,4 +9,4 @@ let rec existsLeaf test tree =
       || existsLeaf test right
 
 let hasEvenLeaf tree =
-  existsLeaf (fun n -> n % 2 = 0) tree
+  existsLeaf (fun n -> n % 2 = 0) tree

data/lib/rouge/demos/glsl

@@ -11,4 +11,4 @@ void main()
 {
     vertexColor = color;
     gl_Position = vec4(position, 0.0, 1.0);
-}
+}

data/lib/rouge/demos/haxe

@@ -2,4 +2,3 @@
 public static function hello(arg : String) {
     return 'Hello $arg';
 }
-

data/lib/rouge/demos/idris

@@ -0,0 +1,13 @@
+import Data.Vect
+
+insert : Ord elem =>
+         (x : elem) -> (xsSorted : Vect len elem) -> Vect (S len) elem
+insert x [] = [x]
+insert x (y :: xs) = case x < y of
+                          True => x :: y :: xs
+                          False => y :: insert x xs
+
+insSort : Ord elem => Vect n elem -> Vect n elem
+insSort [] = []
+insSort (x :: xs) = let xsSorted = insSort xs in
+                        insert x xsSorted

data/lib/rouge/demos/lean

@@ -0,0 +1,8 @@
+open nat
+
+def add : nat → nat → nat
+| m zero := m
+| m (succ n) := succ (add m n)
+
+-- encode definition as an axiom
+axiom add_zero (n : nat) : n + 0 = n

data/lib/rouge/demos/nesasm

@@ -8,4 +8,4 @@ Reset:
 	lda #$3f	; $3F -> A register
         ldy #$00	; $00 -> Y register
         sta PPU_ADDR	; write #HIGH byte first
-        sty PPU_ADDR    ; $3F00 -> PPU address
+        sty PPU_ADDR    ; $3F00 -> PPU address

data/lib/rouge/demos/opentype_feature_file

@@ -3,4 +3,3 @@ languagesystem DFLT dflt;
 feature liga {
     sub f i by f_i;
 } liga;
-

data/lib/rouge/demos/plsql

@@ -0,0 +1,2 @@
+SELECT q'{a quoted string}' AS s, TO_CHAR(SYSDATE,'MM/DD/YYYY') AS "Current Date" FROM DUAL
+WHERE 1=1;

data/lib/rouge/demos/smarty

@@ -9,4 +9,3 @@
 </ul>
 
 <div class="{if $foo}class1{else}class2{/if}">{$foo.bar.baz}</div>
-

data/lib/rouge/demos/syzlang

@@ -0,0 +1,15 @@
+include <linux/test.h>
+
+resource fd_test[fd]
+
+openat$test(fd const[AT_FDCWD], file ptr[in, string["/dev/test"]], flags flags[open_flags], mode const[0]) fd_test
+
+ioctl$TEST(fd fd_test, cmd const[TEST], arg ptr[in, test])
+
+test {
+	number	int32
+	size	len[data, int32]
+	data	array[int8]
+}
+
+_ = TEST

data/lib/rouge/demos/syzprog

@@ -0,0 +1,8 @@
+# Source: https://github.com/google/syzkaller/blob/master/sys/linux/test/vusb_hid
+
+r0 = syz_usb_connect$hid(0x0, 0x36, &(0x7f0000000040)=ANY=[@ANYBLOB="12010000000018105e04da07000000000001090224000100000000090400000903000000092100000001222200090581030800000000"], 0x0)
+syz_usb_control_io$hid(r0, 0x0, 0x0)
+syz_usb_control_io$hid(r0, &(0x7f00000001c0)={0x24, 0x0, 0x0, &(0x7f0000000000)={0x0, 0x22, 0x22, {[@global=@item_012={0x2, 0x1, 0x9, "2313"}, @global=@item_012={0x2, 0x1, 0x0, "e53f"}, @global=@item_4={0x3, 0x1, 0x0, '\f\x00'}, @local=@item_012={0x2, 0x2, 0x2, "9000"}, @global=@item_4={0x3, 0x1, 0x0, "0900be00"}, @main=@item_4={0x3, 0x0, 0x8, '\x00'}, @local=@item_4={0x3, 0x2, 0x0, "09007a15"}, @local=@item_4={0x3, 0x2, 0x0, "5d8c3dda"}]}}, 0x0}, 0x0)
+syz_usb_ep_write(r0, 0x81, 0x7, &(0x7f0000000000)='BBBBBBB')
+syz_usb_ep_write(r0, 0x81, 0x7, &(0x7f0000000000)='BBBBBBB')
+syz_usb_ep_write(r0, 0x81, 0x7, &(0x7f0000000000)='BBBBBBB')

data/lib/rouge/formatters/html_inline.rb

@@ -28,4 +28,3 @@ module Rouge
     end
   end
 end
-

data/lib/rouge/lexer.rb

@@ -293,8 +293,8 @@ module Rouge
 
       # @private
       def assert_utf8!(str)
-        encoding = str.encoding.name
-        return if encoding == 'US-ASCII' || encoding == 'UTF-8' || encoding == 'ASCII-8BIT'
+        encoding = str.encoding
+        return if encoding == Encoding::US_ASCII || encoding == Encoding::UTF_8 || encoding == Encoding::BINARY
 
         raise EncodingError.new(
           "Bad encoding: #{str.encoding.names.join(',')}. " +

data/lib/rouge/lexers/apache/keywords.rb

@@ -21,4 +21,4 @@ module Rouge
       end
     end
   end
-end
+end

data/lib/rouge/lexers/docker.rb

@@ -20,6 +20,10 @@ module Rouge
       state :root do
         rule %r/\s+/, Text
 
+        rule %r/^(FROM)(\s+)(.*)(\s+)(AS)(\s+)(.*)/io do
+          groups Keyword, Text::Whitespace, Str, Text::Whitespace, Keyword, Text::Whitespace, Str
+        end
+
         rule %r/^(ONBUILD)(\s+)(#{KEYWORDS})(.*)/io do
           groups Keyword, Text::Whitespace, Keyword, Str
         end

data/lib/rouge/lexers/eiffel.rb

@@ -63,4 +63,3 @@ module Rouge
     end
   end
 end
-

data/lib/rouge/lexers/gherkin/keywords.rb

@@ -16,4 +16,4 @@ module Rouge
       end
     end
   end
-end
+end

data/lib/rouge/lexers/handlebars.rb

@@ -88,4 +88,4 @@ module Rouge
       end
     end
   end
-end
+end

data/lib/rouge/lexers/hylang.rb

@@ -91,4 +91,3 @@ module Rouge
     end
   end
 end
-

data/lib/rouge/lexers/idris.rb

@@ -0,0 +1,210 @@
+# -*- coding: utf-8 -*- #
+# frozen_string_literal: true
+
+module Rouge
+  module Lexers
+    class Idris < RegexLexer
+      title "Idris"
+      desc "The Idris programming language (idris-lang.org)"
+
+      tag 'idris'
+      aliases 'idr'
+      filenames '*.idr'
+      mimetypes 'text/x-idris'
+
+      def self.reserved_keywords
+        @reserved_keywords ||= %w(
+          _ data class instance namespace
+          infix[lr]? let where of with type
+          do if then else case in
+        )
+      end
+
+      def self.ascii
+        @ascii ||= %w(
+          NUL SOH [SE]TX EOT ENQ ACK BEL BS HT LF VT FF CR S[OI] DLE
+          DC[1-4] NAK SYN ETB CAN EM SUB ESC [FGRU]S SP DEL
+        )
+      end
+
+      def self.prelude_functions
+        @prelude_functions ||= %w(
+          abs acos all and any asin atan atan2 break ceiling compare concat
+          concatMap const cos cosh curry cycle div drop dropWhile elem
+          encodeFloat enumFrom enumFromThen enumFromThenTo enumFromTo exp
+          fail filter flip floor foldl foldl1 foldr foldr1 fromInteger fst
+          gcd getChar getLine head id init iterate last lcm length lines log
+          lookup map max maxBound maximum maybe min minBound minimum mod
+          negate not null or pi pred print product putChar putStr putStrLn
+          readFile recip repeat replicate return reverse scanl scanl1 sequence
+          sequence_ show sin sinh snd span splitAt sqrt succ sum tail take
+          takeWhile tan tanh uncurry unlines unwords unzip unzip3 words
+          writeFile zip zip3 zipWith zipWith3
+        )
+      end
+
+      state :basic do
+        rule %r/\s+/m, Text
+        rule %r/{-#/, Comment::Preproc, :comment_preproc
+        rule %r/{-/, Comment::Multiline, :comment
+        rule %r/^\|\|\|.*$/, Comment::Doc
+        rule %r/--(?![!#\$\%&*+.\/<=>?@\^\|_~]).*?$/, Comment::Single
+      end
+
+      # nested commenting
+      state :comment do
+        rule %r/-}/, Comment::Multiline, :pop!
+        rule %r/{-/, Comment::Multiline, :comment
+        rule %r/[^-{}]+/, Comment::Multiline
+        rule %r/[-{}]/, Comment::Multiline
+      end
+      state :comment_preproc do
+        rule %r/-}/, Comment::Preproc, :pop!
+        rule %r/{-/, Comment::Preproc, :comment
+        rule %r/[^-{}]+/, Comment::Preproc
+        rule %r/[-{}]/, Comment::Preproc
+      end
+
+      state :directive do
+        rule %r/\%(default)\s+(total|partial)/, Keyword  # totality
+        rule %r/\%(access)\s+(public|abstract|private|export)/, Keyword  # export
+        rule %r/\%(language)\s+(.*)/, Keyword  # language
+        rule %r/\%(provide)\s+.*\s+(with)\s+/, Keyword  # type
+      end
+
+      state :prelude do
+        rule %r/\b(Type|Exists|World|IO|IntTy|FTy|File|Mode|Dec|Bool|Ordering|Either|IsJust|List|Maybe|Nat|Stream|StrM|Not|Lazy|Inf)\s/, Keyword::Type
+        rule %r/\b(Eq|Ord|Num|MinBound|MaxBound|Integral|Applicative|Alternative|Cast|Foldable|Functor|Monad|Traversable|Uninhabited|Semigroup|Monoid)\s/, Name::Class
+        rule %r/\b(?:#{Idris.prelude_functions.join('|')})[ ]+(?![=:-])/, Name::Builtin
+      end
+
+      state :root do
+        mixin :basic
+        mixin :directive
+
+        rule %r/\bimport\b/, Keyword::Reserved, :import
+        rule %r/\bmodule\b/, Keyword::Reserved, :module
+        rule %r/\b(?:#{Idris.reserved_keywords.join('|')})\b/, Keyword::Reserved
+        rule %r/\b(Just|Nothing|Left|Right|True|False|LT|LTE|EQ|GT|GTE)\b/, Keyword::Constant
+        # function signature
+        rule %r/^[\w']+\s*:/, Name::Function
+        # should be below as you can override names defined in Prelude
+        mixin :prelude
+        rule %r/[_a-z][\w']*/, Name
+        rule %r/[A-Z][\w']*/, Keyword::Type
+
+        # lambda operator
+        rule %r(\\(?![:!#\$\%&*+.\\/<=>?@^\|~-]+)), Name::Function
+        # special operators
+        rule %r((<-|::|->|=>|=)(?![:!#\$\%&*+.\\/<=>?@^\|~-]+)), Operator
+        # constructor/type operators
+        rule %r(:[:!#\$\%&*+.\\/<=>?@^\|~-]*), Operator
+        # other operators
+        rule %r([:!#\$\%&*+.\\/<=>?@^\|~-]+), Operator
+
+        rule %r/\d+(\.\d+)?(e[+-]?\d+)?/i, Num::Float
+        rule %r/0o[0-7]+/i, Num::Oct
+        rule %r/0x[\da-f]+/i, Num::Hex
+        rule %r/\d+/, Num::Integer
+
+        rule %r/'/, Str::Char, :character
+        rule %r/"/, Str, :string
+
+        rule %r/\[\s*\]/, Keyword::Type
+        rule %r/\(\s*\)/, Name::Builtin
+        
+        # Quasiquotations
+        rule %r/(\[)([_a-z][\w']*)(\|)/ do |m|
+          token Operator, m[1]
+          token Name, m[2]
+          token Operator, m[3]
+          push :quasiquotation
+        end
+
+        rule %r/[\[\](),;`{}]/, Punctuation
+      end
+
+      state :import do
+        rule %r/\s+/, Text
+        rule %r/"/, Str, :string
+        # import X as Y
+        rule %r/([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][a-zA-Z0-9_.]*)/ do
+          groups(
+            Name::Namespace, # X
+            Text, Keyword, # as
+            Text, Name # Y
+          )
+          pop!
+        end
+
+        # import X (functions)
+        rule %r/([A-Z][\w.]*)(\s+)(\()/ do
+          groups(
+            Name::Namespace, # X
+            Text,
+            Punctuation # (
+          )
+          goto :funclist
+        end
+
+        rule %r/[\w.]+/, Name::Namespace, :pop!
+      end
+
+      state :module do
+        rule %r/\s+/, Text
+        # module X
+        rule %r/([A-Z][\w.]*)/, Name::Namespace, :pop!
+      end
+
+      state :funclist do
+        mixin :basic
+        rule %r/[A-Z]\w*/, Keyword::Type
+        rule %r/(_[\w\']+|[a-z][\w\']*)/, Name::Function
+        rule %r/,/, Punctuation
+        rule %r/[:!#\$\%&*+.\\\/<=>?@^\|~-]+/, Operator
+        rule %r/\(/, Punctuation, :funclist
+        rule %r/\)/, Punctuation, :pop!
+      end
+
+      state :character do
+        rule %r/\\/ do
+          token Str::Escape
+          goto :character_end
+          push :escape
+        end
+
+        rule %r/./ do
+          token Str::Char
+          goto :character_end
+        end
+      end
+
+      state :character_end do
+        rule %r/'/, Str::Char, :pop!
+        rule %r/./, Error, :pop!
+      end
+
+      state :quasiquotation do
+        rule %r/\|\]/, Operator, :pop!
+        rule %r/[^\|]+/m, Text
+        rule %r/\|/, Text
+      end
+
+      state :string do
+        rule %r/"/, Str, :pop!
+        rule %r/\\/, Str::Escape, :escape
+        rule %r/[^\\"]+/, Str
+      end
+
+      state :escape do
+        rule %r/[abfnrtv"'&\\]/, Str::Escape, :pop!
+        rule %r/\^[\]\[A-Z@\^_]/, Str::Escape, :pop!
+        rule %r/#{Idris.ascii.join('|')}/, Str::Escape, :pop!
+        rule %r/o[0-7]+/i, Str::Escape, :pop!
+        rule %r/x[\da-fA-F]+/i, Str::Escape, :pop!
+        rule %r/\d+/, Str::Escape, :pop!
+        rule %r/\s+\\/, Str::Escape, :pop!
+      end
+    end
+  end
+end

data/lib/rouge/lexers/jsx.rb

@@ -89,4 +89,3 @@ module Rouge
     end
   end
 end
-

data/lib/rouge/lexers/lasso/keywords.rb

@@ -17,4 +17,4 @@ module Rouge
       end
     end
   end
-end
+end

data/lib/rouge/lexers/lean.rb

@@ -0,0 +1,164 @@
+# -*- coding: utf-8 -*- #
+# frozen_string_literal: true
+
+# NOTE: This is for Lean 3 (community fork).
+module Rouge
+  module Lexers
+    class Lean < RegexLexer
+      title 'Lean'
+      desc 'The Lean programming language (leanprover.github.io)'
+      tag 'lean'
+      aliases 'lean'
+      filenames '*.lean'
+
+      def self.keywords
+        @keywords ||= Set.new %w(
+          abbreviation
+          add_rewrite
+          alias
+          assume
+          axiom
+          begin
+          by
+          calc
+          calc_refl
+          calc_subst
+          calc_trans
+          #check
+          coercion
+          conjecture
+          constant
+          constants
+          context
+          corollary
+          def
+          definition
+          end
+          #eval
+          example
+          export
+          expose
+          exposing
+          exit
+          extends
+          from
+          fun
+          have
+          help
+          hiding
+          hott
+          hypothesis
+          import
+          include
+          including
+          inductive
+          infix
+          infixl
+          infixr
+          inline
+          instance
+          irreducible
+          lemma
+          match
+          namespace
+          notation
+          opaque
+          opaque_hint
+          open
+          options
+          parameter
+          parameters
+          postfix
+          precedence
+          prefix
+          #print
+          private
+          protected
+          #reduce
+          reducible
+          renaming
+          repeat
+          section
+          set_option
+          show
+          tactic_hint
+          theorem
+          universe
+          universes
+          using
+          variable
+          variables
+          with
+        )
+      end
+
+      def self.types
+        @types ||= %w(
+          Sort
+          Prop
+          Type
+        )
+      end
+
+      def self.operators
+        @operators ||= %w(
+          != # & && \* \+ - / @ ! ` -\. ->
+          \. \.\. \.\.\. :: :> ; ;; <
+          <- = == > _ \| \|\| ~ => <= >=
+          /\ \/ ∀ Π λ ↔ ∧ ∨ ≠ ≤ ≥ ⊎
+          ¬ ⁻¹ ⬝ ▸ → ∃ ℕ ℤ ≈ × ⌞ ⌟ ≡ ⟨ ⟩
+        )
+      end
+
+      state :root do
+        # comments starting after some space
+        rule %r/\s*--+\s+.*?$/, Comment::Doc
+
+        rule %r/"/, Str, :string
+        rule %r/\d+/, Num::Integer
+
+        # special commands or keywords
+        rule(/#?\w+/) do |m|
+          match = m[0]
+          if self.class.keywords.include?(match)
+            token Keyword
+          elsif self.class.types.include?(match)
+            token Keyword::Type
+          else
+            token Name
+          end
+        end
+
+        # special unicode keywords
+        rule %r/[λ]/, Keyword
+
+        # ----------------
+        # operators rules
+        # ----------------
+
+        rule %r/\:=?/, Text
+        rule %r/\.[0-9]*/, Operator
+
+        rule %r(#{Lean.operators.join('|')}), Operator
+
+        # unmatched symbols
+        rule %r/[\s\(\),\[\]αβ‹›]+/, Text
+
+        # show missing matches
+        rule %r/./, Error
+
+      end
+
+      state :string do
+        rule %r/"/, Str, :pop!
+        rule %r/\\/, Str::Escape, :escape
+        rule %r/[^\\"]+/, Str
+      end
+
+      state :escape do
+        rule %r/[nrt"'\\]/, Str::Escape, :pop!
+        rule %r/x[\da-f]+/i, Str::Escape, :pop!
+      end
+    end
+  end
+end

data/lib/rouge/lexers/llvm/keywords.rb

@@ -22,4 +22,4 @@ module Rouge
 
     end
   end
-end
+end

data/lib/rouge/lexers/lua/keywords.rb

@@ -25,4 +25,4 @@ module Rouge
       end
     end
   end
-end
+end

data/lib/rouge/lexers/mathematica/keywords.rb

@@ -14,4 +14,4 @@ module Rouge
       end
     end
   end
-end
+end