pygments.rb 0.6.3 → 1.0.0

data/vendor/pygments-main/tests/examplefiles/test.agda

@@ -1,102 +0,0 @@
--- An Agda example file
-
-module test where
-
-open import Coinduction
-open import Data.Bool
-open import {- pointless comment between import and module name -} Data.Char
-open import Data.Nat
-open import Data.Nat.Properties
-open import Data.String
-open import Data.List hiding ([_])
-open import Data.Vec hiding ([_])
-open import Relation.Nullary.Core
-open import Relation.Binary.PropositionalEquality using (_≡_; refl; cong; trans; inspect; [_])
-
-open SemiringSolver
-
-{- this is a {- nested -} comment -}
-
--- Factorial
-_! : ℕ → ℕ
-0 ! = 1
-(suc n) ! = (suc n) * n !
-
--- The binomial coefficient
-_choose_ : ℕ → ℕ → ℕ
-_ choose 0 = 1
-0 choose _ = 0
-(suc n) choose (suc m) = (n choose m) + (n choose (suc m)) -- Pascal's rule
-
-choose-too-many : ∀ n m → n ≤ m → n choose (suc m) ≡ 0
-choose-too-many .0 m z≤n = refl
-choose-too-many (suc n) (suc m) (s≤s le) with n choose (suc m) | choose-too-many n m le | n choose (suc (suc m)) | choose-too-many n (suc m) (≤-step le)
-... | .0 | refl | .0 | refl = refl
-
-_++'_ : ∀ {a n m} {A : Set a} → Vec A n → Vec A m → Vec A (m + n)
-_++'_ {_} {n} {m} v₁ v₂ rewrite solve 2 (λ a b → b :+ a := a :+ b) refl n m = v₁ Data.Vec.++ v₂
-
-++'-test : (1 ∷ 2 ∷ 3 ∷ []) ++' (4 ∷ 5 ∷ []) ≡ (1 ∷ 2 ∷ 3 ∷ 4 ∷ 5 ∷ [])
-++'-test = refl
-
-data Coℕ : Set where
-  co0   : Coℕ
-  cosuc : ∞ Coℕ → Coℕ
-
-nanana : Coℕ
-nanana = let two = ♯ cosuc (♯ (cosuc (♯ co0))) in cosuc two
-
-abstract
-  data VacuumCleaner : Set where
-    Roomba : VacuumCleaner
-
-pointlessLemmaAboutBoolFunctions : (f : Bool → Bool) → f (f (f true)) ≡ f true
-pointlessLemmaAboutBoolFunctions f with f true | inspect f true
-... | true  | [ eq₁ ] = trans (cong f eq₁) eq₁
-... | false | [ eq₁ ] with f false | inspect f false
-... | true  | _       = eq₁
-... | false | [ eq₂ ] = eq₂
-
-mutual
-  isEven : ℕ → Bool
-  isEven 0       = true
-  isEven (suc n) = not (isOdd n)
-
-  isOdd : ℕ → Bool
-  isOdd 0       = false
-  isOdd (suc n) = not (isEven n)
-
-foo : String
-foo = "Hello World!"
-
-nl : Char
-nl = '\n'
-
-private
-  intersperseString : Char → List String → String
-  intersperseString c []       = ""
-  intersperseString c (x ∷ xs) = Data.List.foldl (λ a b → a Data.String.++ Data.String.fromList (c ∷ []) Data.String.++ b) x xs
-
-baz : String
-baz = intersperseString nl (Data.List.replicate 5 foo)
-
-postulate
-  Float : Set
-
-{-# BUILTIN FLOAT Float  #-}
-
-pi : Float
-pi = 3.141593
-
--- Astronomical unit
-au : Float
-au = 1.496e11 -- m
-
-plusFloat : Float → Float → Float
-plusFloat a b = {! !}
-
-record Subset (A : Set) (P : A → Set) : Set where
-  constructor _#_
-  field
-    elem   : A
-    .proof : P elem

data/vendor/pygments-main/tests/examplefiles/test.apl

@@ -1,26 +0,0 @@
-∇ R←M COMBIN N;D;E;F;G;P
-  ⍝ Returns a matrix of every possible
-  ⍝ combination of M elements from the
-  ⍝ vector ⍳N.  That is, returns a
-  ⍝ matrix with M!N rows and N columns.
-  ⍝
-  E←(⍳P←N-R←M-1)-⎕IO
-  D←R+⍳P
-  R←(P,1)⍴D
-  P←P⍴1
- L1:→(⎕IO>1↑D←D-1)⍴0
-  P←+\P
-  G←+\¯1↓0,F←⌽P
-  E←F/E-G
-  R←(F/D),R[E+⍳⍴E;]
-  E←G
-  →L1
-∇
-
-∇ R←M QUICKEXP N
-  ⍝ Matrix exponentiation
-  B ← ⌊ 1 + 2 ⍟ N
-  V ← (B ⍴ 2) ⊤ N
-  L ← ⊂ M
-  R ← ⊃ +.× / V / L ⊣ { L ← (⊂ A +.× A ← ↑L) , L }¨ ⍳ B-1
-∇

data/vendor/pygments-main/tests/examplefiles/test.asy

@@ -1,131 +0,0 @@
-// example file for roundedpath() in roundedpath.asy
-// written by stefan knorr
-
-
-// import needed packages
-import roundedpath;
-
-// function definition
-picture CreateKOOS(real Scale, string legend)               // draw labeled coordinate system as picture
-{
-  picture ReturnPic;
-  real S = 1.2*Scale;
-  draw(ReturnPic, ((-S,0)--(S,0)), bar = EndArrow);         // x axis
-  draw(ReturnPic, ((0,-S)--(0,S)), bar = EndArrow);         // y axis
-  label(ReturnPic, "$\varepsilon$", (S,0), SW);             // x axis label
-  label(ReturnPic, "$\sigma$", (0,S), SW);                  // y axis label
-  label(ReturnPic, legend, (0.7S, -S), NW);                 // add label 'legend' 
-  return ReturnPic;                                         // return picture
-}
-
-
-// some global definitions
-real S = 13mm;                          // universal scale factor for the whole file
-real grad = 0.25;                       // gradient for lines
-real radius = 0.04;                     // radius for the rounded path'
-real lw = 2;                            // linewidth
-pair A = (-1, -1);                      // start point for graphs
-pair E = ( 1,  1);                      // end point for graphs
-path graph;                             // local graph
-pen ActPen;                             // actual pen for each drawing
-picture T[];                            // vector of all four diagrams
-real inc = 2.8;                         // increment-offset for combining pictures
-
-//////////////////////////////////////// 1st diagram
-T[1] = CreateKOOS(S, "$T_1$");                                        // initialise T[1] as empty diagram with label $T_1$                  
-graph = A;                                                            //  # pointwise definition of current path 'graph'                    
-graph = graph -- (A.x + grad*1.6, A.y + 1.6);                         //  #                                                                 
-graph = graph -- (E.x - grad*0.4, E.y - 0.4);                         //  #                                                                 
-graph = graph -- E;                                                   //  #
-
-graph = roundedpath(graph, radius, S);                                // round edges of 'graph' using roundedpath() in roundedpath.asy      
-ActPen =  rgb(0,0,0.6) + linewidth(lw);                               // define pen for drawing in 1st diagram                              
-draw(T[1],                   graph, ActPen);                          // draw 'graph' with 'ActPen' into 'T[1]' (1st hysteresis branch)     
-draw(T[1], rotate(180,(0,0))*graph, ActPen);                          // draw rotated 'graph' (2nd hysteresis branch)                       
-
-graph = (0,0) -- (grad*0.6, 0.6) -- ( (grad*0.6, 0.6) + (0.1, 0) );   // define branch from origin to hysteresis
-graph = roundedpath(graph, radius, S);                                // round this path                        
-draw(T[1], graph, ActPen);                                            // draw this path into 'T[1]'             
-
-
-//////////////////////////////////////// 2nd diagram
-T[2] = CreateKOOS(S, "$T_2$");                                        // initialise T[2] as empty diagram with label $T_2$              
-graph = A;                                                            //  # pointwise definition of current path 'graph'                
-graph = graph -- (A.x + grad*1.3, A.y + 1.3);                         //  #                                                             
-graph = graph -- (E.x - grad*0.7 , E.y - 0.7);                        //  #                                                             
-graph = graph -- E;                                                   //  #
-                                                                                                
-graph = roundedpath(graph, radius, S);                                // round edges of 'graph' using roundedpath() in roundedpath.asy      
-ActPen =  rgb(0.2,0,0.4) + linewidth(lw);                             // define pen for drawing in 2nd diagram                              
-draw(T[2],                   graph, ActPen);                          // draw 'graph' with 'ActPen' into 'T[2]' (1st hysteresis branch)     
-draw(T[2], rotate(180,(0,0))*graph, ActPen);                          // draw rotated 'graph' (2nd hysteresis branch)                       
-
-graph = (0,0) -- (grad*0.3, 0.3) -- ( (grad*0.3, 0.3) + (0.1, 0) );   // define branch from origin to hysteresis
-graph = roundedpath(graph, radius, S);                                // round this path                        
-draw(T[2], graph, ActPen);                                            // draw this path into 'T[2]'             
-
-
-//////////////////////////////////////// 3rd diagram
-T[3] = CreateKOOS(S, "$T_3$");                                        // initialise T[3] as empty diagram with label $T_3$              
-graph = A;                                                            //  # pointwise definition of current path 'graph'                
-graph = graph -- (A.x + grad*0.7, A.y + 0.7);                         //  #                                                             
-graph = graph -- ( - grad*0.3 , - 0.3);                               //  #                                                             
-graph = graph -- (0,0);                                               //  #                                                             
-graph = graph -- (grad*0.6, 0.6);                                     //  #                                                             
-graph = graph -- (E.x - grad*0.4, E.y - 0.4);                         //  #                                                             
-graph = graph -- E;                                                   //  #                                                             
-                                                                                                                                        
-graph = roundedpath(graph, radius, S);                                // round edges of 'graph' using roundedpath() in roundedpath.asy  
-ActPen =  rgb(0.6,0,0.2) + linewidth(lw);                             // define pen for drawing in 3rd diagram                          
-draw(T[3],                   graph, ActPen);                          // draw 'graph' with 'ActPen' into 'T[3]' (1st hysteresis branch) 
-draw(T[3], rotate(180,(0,0))*graph, ActPen);                          // draw rotated 'graph' (2nd hysteresis branch)                   
-
-
-//////////////////////////////////////// 4th diagram
-T[4] = CreateKOOS(S, "$T_4$");                                        // initialise T[4] as empty diagram with label $T_4$              
-graph = A;                                                            //  # pointwise definition of current path 'graph'                
-graph = graph -- (A.x + grad*0.4, A.y + 0.4);                         //  #                                                             
-graph = graph -- ( - grad*0.6 , - 0.6);                               //  #                                                             
-graph = graph -- (0,0);                                               //  #                                                             
-graph = graph -- (grad*0.9, 0.9);                                     //  #                                                             
-graph = graph -- (E.x - grad*0.1, E.y - 0.1);                         //  #                                                             
-graph = graph -- E;                                                   //  #                                                             
-                                                                                                                                        
-graph = roundedpath(graph, radius, S);                                // round edges of 'graph' using roundedpath() in roundedpath.asy  
-ActPen =  rgb(0.6,0,0) + linewidth(lw);                               // define pen for drawing in 4th diagram                          
-draw(T[4],                   graph, ActPen);                          // draw 'graph' with 'ActPen' into 'T[4]' (1st hysteresis branch) 
-draw(T[4], rotate(180,(0,0))*graph, ActPen);                          // draw rotated 'graph' (3nd hysteresis branch)                   
-
-
-// add some labels and black dots to the first two pictures
-pair SWW = (-0.8, -0.6);
-label(T[1], "$\sigma_f$", (0, 0.6S), NE);                             // sigma_f
-draw(T[1], (0, 0.6S), linewidth(3) + black);
-label(T[2], "$\sigma_f$", (0, 0.3S), NE);                             // sigma_f
-draw(T[2], (0, 0.3S), linewidth(3) + black);
-label(T[1], "$\varepsilon_p$", (0.7S, 0), SWW);                       // epsilon_p
-draw(T[1], (0.75S, 0), linewidth(3) + black);
-label(T[2], "$\varepsilon_p$", (0.7S, 0), SWW);                       // epsilon_p
-draw(T[2], (0.75S, 0), linewidth(3) + black);
-
-
-// add all pictures T[1...4] to the current one
-add(T[1],(0,0));
-add(T[2],(1*inc*S,0));
-add(T[3],(2*inc*S,0));
-add(T[4],(3*inc*S,0));
-
-
-// draw line of constant \sigma and all intersection points with the graphs in T[1...4]
-ActPen = linewidth(1) + dashed + gray(0.5);                           // pen definition
-draw((-S, 0.45*S)--((3*inc+1)*S, 0.45*S), ActPen);                    // draw backgoundline
-label("$\sigma_s$", (-S, 0.45S), W);                            // label 'sigma_s'
-
-path mark = scale(2)*unitcircle;                                  // define mark-symbol to be used for intersections
-ActPen = linewidth(1) + gray(0.5);                                    // define pen for intersection mark
-draw(shift(( 1 - grad*0.55 + 0*inc)*S, 0.45*S)*mark, ActPen);         //  # draw all intersections
-draw(shift((-1 + grad*1.45 + 0*inc)*S, 0.45*S)*mark, ActPen);         //  #
-draw(shift(( 1 - grad*0.55 + 1*inc)*S, 0.45*S)*mark, ActPen);         //  #
-draw(shift(( 1 - grad*0.55 + 2*inc)*S, 0.45*S)*mark, ActPen);         //  # 
-draw(shift((     grad*0.45 + 2*inc)*S, 0.45*S)*mark, ActPen);         //  # 
-draw(shift((     grad*0.45 + 3*inc)*S, 0.45*S)*mark, ActPen);         //  #

data/vendor/pygments-main/tests/examplefiles/test.awk

@@ -1,121 +0,0 @@
-#!/bin/awk -f
-
-BEGIN {
-  # It is not possible to define output file names here because
-  # FILENAME is not define in the BEGIN section
-  n = "";
-  printf "Generating data files ...";
-  network_max_bandwidth_in_byte = 10000000;
-  network_max_packet_per_second = 1000000;
-  last3 = 0;
-  last4 = 0;
-  last5 = 0;
-  last6 = 0;
-}
-{
-  if ($1 ~ /Average/)
-    { # Skip the Average values
-      n = "";
-      next;
-    }
-
-  if ($2 ~ /all/)
-    { # This is the cpu info
-      print $3 > FILENAME".cpu.user.dat";
-#	  print $4 > FILENAME".cpu.nice.dat";
-      print $5 > FILENAME".cpu.system.dat";
-#     print $6 > FILENAME".cpu.iowait.dat";
-      print $7 > FILENAME".cpu.idle.dat";
-      print 100-$7 > FILENAME".cpu.busy.dat";
-    }
-  if ($2 ~ /eth0/)
-    { # This is the eth0 network info
-      if ($3 > network_max_packet_per_second)
-	print last3 > FILENAME".net.rxpck.dat"; # Total number of packets received per second.
-      else
-	{
-	  last3 = $3;
-	  print $3 > FILENAME".net.rxpck.dat"; # Total number of packets received per second.
-	}
-      if ($4 > network_max_packet_per_second)
-	print last4 > FILENAME".net.txpck.dat"; # Total number of packets transmitted per second.
-      else
-	{
-	  last4 = $4;
-	  print $4 > FILENAME".net.txpck.dat"; # Total number of packets transmitted per second.
-	}
-      if ($5 > network_max_bandwidth_in_byte)
-	print last5 > FILENAME".net.rxbyt.dat"; # Total number of bytes received per second.
-      else
-	{
-	  last5 = $5;
-	  print $5 > FILENAME".net.rxbyt.dat"; # Total number of bytes received per second.
-	}
-      if ($6 > network_max_bandwidth_in_byte)
-	print last6 > FILENAME".net.txbyt.dat"; # Total number of bytes transmitted per second.
-      else
-	{
-	  last6 = $6;
-	  print $6 > FILENAME".net.txbyt.dat"; # Total number of bytes transmitted per second.
-	}
-#     print $7 > FILENAME".net.rxcmp.dat"; # Number of compressed packets received per second (for cslip etc.).
-#     print $8 > FILENAME".net.txcmp.dat"; # Number of compressed packets transmitted per second.
-#     print $9 > FILENAME".net.rxmcst.dat"; # Number of multicast packets received per second.
-    }
-
-  # Detect which is the next info to be parsed
-  if ($2 ~ /proc|cswch|tps|kbmemfree|totsck/)
-    {
-      n = $2;
-    }
-
-  # Only get lines with numbers (real data !)
-  if ($2 ~ /[0-9]/)
-    {
-      if (n == "proc/s")
-	{ # This is the proc/s info
-	  print $2 > FILENAME".proc.dat";
-#	  n = "";
-	}
-      if (n == "cswch/s")
-	{ # This is the context switches per second info
-	  print $2 > FILENAME".ctxsw.dat";
-#	  n = "";
-	}
-      if (n == "tps")
-	{ # This is the disk info
-	  print $2 > FILENAME".disk.tps.dat"; # total transfers per second
-	  print $3 > FILENAME".disk.rtps.dat"; # read requests per second
-	  print $4 > FILENAME".disk.wtps.dat"; # write requests per second
-	  print $5 > FILENAME".disk.brdps.dat"; # block reads per second
-	  print $6 > FILENAME".disk.bwrps.dat"; # block writes per second
-#	  n = "";
-	}
-      if (n == "kbmemfree")
-	{ # This is the mem info
-	  print $2 > FILENAME".mem.kbmemfree.dat"; # Amount of free memory available in kilobytes.
-	  print $3 > FILENAME".mem.kbmemused.dat"; # Amount of used memory in kilobytes. This does not take into account memory used by the kernel itself.
-	  print $4 > FILENAME".mem.memused.dat"; # Percentage of used memory.
-#         It appears the kbmemshrd has been removed from the sysstat output - ntolia
-#	  print $X > FILENAME".mem.kbmemshrd.dat"; # Amount of memory shared by the system in kilobytes.  Always zero with 2.4 kernels.
-#	  print $5 > FILENAME".mem.kbbuffers.dat"; # Amount of memory used as buffers by the kernel in kilobytes.
-	  print $6 > FILENAME".mem.kbcached.dat"; # Amount of memory used to cache data by the kernel in kilobytes.
-#	  print $7 > FILENAME".mem.kbswpfree.dat"; # Amount of free swap space in kilobytes.
-#	  print $8 > FILENAME".mem.kbswpused.dat"; # Amount of used swap space in kilobytes.
-	  print $9 > FILENAME".mem.swpused.dat"; # Percentage of used swap space.
-#	  n = "";
- 	}
-      if (n == "totsck")
-	{ # This is the socket info
-	  print $2 > FILENAME".sock.totsck.dat"; # Total number of used sockets.
-	  print $3 > FILENAME".sock.tcpsck.dat"; # Number of TCP sockets currently in use.
-#	  print $4 > FILENAME".sock.udpsck.dat"; # Number of UDP sockets currently in use.
-#	  print $5 > FILENAME".sock.rawsck.dat"; # Number of RAW sockets currently in use.
-#	  print $6 > FILENAME".sock.ip-frag.dat"; # Number of IP fragments currently in use.
-#	  n = "";
- 	}
-    }
-}
-END {
-  print " '" FILENAME "' done.";
-}

data/vendor/pygments-main/tests/examplefiles/test.bb

@@ -1,95 +0,0 @@
-
-;foobar!
-
-;Include "blurg/blurg.bb"
-
-Const ca = $10000000 ; Hex
-Const cb = %10101010 ; Binary
-Global ga$ = "blargh"
-Local a = 124, b$ = "abcdef"
-
-Function name_123#(zorp$, ll = False, blah#, waffles% = 100)
-	Return 235.7804 ; comment
-End Function
-Function TestString$()
-End Function
-
-Function hub(blah$, abc = Pi)
-End Function
-Function Blar%()
-	Local aa %, ab # ,ac #, ad# ,ae$,af% ; Intentional mangling
-	Local ba#, bb.TBlarf , bc%,bd#,be. TFooBar,ff = True
-End Function
-
-abc()
-
-Function abc()
-	Print "abc"	; I cannot find a way to parse these as function calls without messing something up
-	Print		; Anyhow, they're generally not used in this way
-	Goto Eww_Goto
-	.Eww_Goto
-End Function
-
-Type TBlarf
-End Type
-
-Type TFooBar
-End Type
-
-Local myinst.MyClass = New MyClass
-TestMethod(myinst)
-
-Type MyClass
-	
-	Field m_foo.MyClass
-	Field m_bar.MyClass
-	
-;	abc
-;	def
-End Type
-
-Function TestMethod(self.MyClass) ; foobar
-	self\m_foo = self
-	self\m_bar = Object.MyClass(Handle self\m_foo)
-	Yell self\m_foo\m_bar\m_foo\m_bar
-End Function
-
-Function Yell(self.MyClass)
-	Print("huzzah!")
-End Function
-
-Function Wakka$(foo$)
-	Return foo + "bar"
-End Function
-
-
-Print("blah " + "blah " + "blah.")
-
-Local i : For i = 0 To 10 Step 1
-	Print("Index: " + i)
-Next
-Local array$[5]
-array[0] = "foo": array[1] = "bar":array[2] = "11":array[3] = "22":array[4] = "33"
-For i = 0 To 4
-	Local value$ = array[i]
-	Print("Value: " + value)
-Next
-
-Local foobar = Not (1 Or (2 And (4 Shl 5 Shr 6)) Sar 7) Mod (8+2)
-Local az = 1234567890
-az = az + 1
-az = az - 2
-az  = az* 3
-az = az/ 4
-az = az And 5
-az = az Or 6
-az= ~ 7
-az  = az Shl 8
-az= az  Shr 9
-az  = az Sar 10
-az = az Mod 11
-az = ((10-5+2/4*2)>(((8^2)) < 2)) And 12 Or 2
-
-
-;~IDEal Editor Parameters:
-;~C#Blitz3D