Merged in MadcapJake/pygments-main (pull request #499)

18 files changed, 1775 insertions, 49 deletions

diff --git a/tests/examplefiles/batchfile.bat b/tests/examplefiles/batchfile.bat
deleted file mode 100644
index 5cdc625c..00000000
--- a/tests/examplefiles/batchfile.bat
+++ /dev/null
@@ -1,49 +0,0 @@
-rem this is a demo file.
-@rem
-@echo off
-
-call c:\temp.bat somearg
-call :lab somearg
-rem This next one is wrong in the vim lexer!
-call c:temp.bat
-
-echo "Hi!"
-echo hi
-echo on
-echo off
-echo.
-@echo off
-if exist *.log echo The log file has arrived.
-rem These are all escapes, also done incorrectly by the vim lexer
-echo ^^ ^> ^< ^|
-
-x=beginning
-setlocal
-x = new text
-endlocal
-
-echo testrem x
-echo test rem x
-
-for %%var in (*.jpg) do echo %%var
-for /D %%var in (a b c) do echo %%var
-for /R C:\temp %%var in (*.jpg) do iexplore.exe %%var
-rem Vim has this one wrong too.
-for /L %%var in (10,-1,1) do echo %%var
-for /F %%var in ("hi!") do echo %%var
-for /F "eol=c,skip=1,usebackq" %%var in (`command`) do echo %%var %~l %~fl %~dl %~pl %~nl %~xl %~sl %~al %~tl %~zl %~$PATH:l %~dpl %~dp$PATH:l %~ftzal
-
-echo some file ?! > somefile.txt
-
-set PATH=%PATH%;c:\windows
-
-goto answer%errorlevel%
-    :answer0
-    echo Hi it's zero
-    :answer1
-    echo New
-
-if exist a del a
-else echo A is missing!
-
-
diff --git a/tests/examplefiles/es6.js b/tests/examplefiles/es6.js
new file mode 100644
index 00000000..79bfd3e6
--- /dev/null
+++ b/tests/examplefiles/es6.js
@@ -0,0 +1,46 @@
+// Most examples from https://github.com/rse/es6-features under MIT license
+const PI = 3.141593;
+
+let callbacks = [];
+
+odds  = evens.map(v => v + 1);
+
+nums.forEach(v => {
+   if (v % 5 === 0)
+       fives.push(v);
+})
+
+function f (x, y, ...a) {
+    return (x + y) * a.length;
+}
+
+var params = [ "hello", true, 7 ];
+var other = [ 1, 2, ...params ]; // [ 1, 2, "hello", true, 7 ]
+f(1, 2, ...params) === 9;
+
+var str = "foo";
+var chars = [ ...str ]; // [ "f", "o", "o" ]
+
+var customer = { name: "Foo" };
+var card = { amount: 7, product: "Bar", unitprice: 42 };
+message = `Hello ${customer.name},
+want to buy ${card.amount} ${card.product} for
+a total of ${card.amount * card.unitprice} bucks?`;
+
+0b111110111 === 503;
+0o767 === 503;
+
+for (let codepoint of "𠮷") console.log(codepoint);
+
+function* ();
+*function();
+yield;
+
+export class Node {
+}
+
+isFinite();
+isNaN();
+isSafeInteger();
+x = new Promise(...a);
+x = new Proxy(...a);
diff --git a/tests/examplefiles/example.bat b/tests/examplefiles/example.bat
new file mode 100644
index 00000000..bf27673c
--- /dev/null
+++ b/tests/examplefiles/example.bat
@@ -0,0 +1,205 @@
+@ @@ echo off

+::This is an example of the Windows batch language.

+

+setlocal EnableDelayedExpansion

+(cls)

+set/a^

+_te^

+sts^

+=0,^

+_"pa"^

+ssed=0^

+0

+set,/a title= Batch test

+title=%,/a title%

+echo^ %~nx0,^ the>,con comprehensive testing suite

+ver

+echo(

+

+if cmdextversion 2 goto =)

+goto :fail

+

+     :)

+echo Starting tests at:

+date/t & time/t

+echo(

+

+if '%*'=='--help' (

+  echo Usage: %~nx0 [--help]

+  echo   --help: Display this help message and quit.

+  shift

+  goto :exit comment) else rem

+

+(call :comments)

+call ::io+x

+call:control:x

+call::internal x

+

+:exit

+if /i !_tests!==!_passed! (

+  color 02

+) else if !*==* (

+  color c

+  if not defined _exit^

+Code set _exit^

+Code=1

+)

+set _percentage=NaN

+if defined _tests (

+  if !_tests! neq 0 (set/a_percentage=100*_passed/_tests)

+)

+echo(

+if !_percentage!==NaN ( echo(There were no tests^^! & color e

+) else ( echo Tests passed: %_passed%/%_tests% (%_percentage%%%^) )

+pause

+color

+title

+endlocal

+exit /b %_exitCode%

+

+x:fail

+rem This should never happen.

+echo Internal error 1>& 269105>>&2

+set /a _exitCode=0x69+(0105*1000)

+break

+goto :exit

+

+:comments

+(rem )/?

+)

+rem "comment^

+(rem.) & set /a _tests+=1

+(rem) & goto :fail

+(rem. ) & (rem. comment ) & echo Test %_tests%: Comments

+rem )

+)

+)|comment

+)(

+:: comment

+goto :comments^^1:comment

+:comments^^1 comment

+if(1==1) goto :comments^

+^1

+rem^ /?

+rem ^

+^

+goto :comments^

+2+comment

+goto :fail

+:comments2

+rem >^

+if 1==1 (goto :comments3)

+:comments3)

+goto :fail

+:comments3

+rem comment^

+goto:fail

+rem.comment comment^

+goto fail

+rem "comment comment"^

+goto fail

+rem comment comment^

+set /a _passed+=1

+GOTO :EOF

+goto :fail

+

+:IO

+SET /A _tests+=1 & Echo Test !_tests:*!==^!: I/O

+verify on

+pushd .

+if exist temp echo  temp already exists. & goto :eof

+md temp

+cd temp

+mkdir 2>nul temp

+chdir temp

+>cd  echo Checking drive...

+>>cd echo must be C or else this won't work

+for /f "tokens=* usebackq" %%G in ("cd

+) do (<nul set /p="%%G ")

+echo(

+DEL cd

+if not "%cd:~0,3%"=="C:\" (

+  call call echo  Wrong drive (should be C^):

+  vol

+  goto :test)

+>test0^

+.bat echo rem Machine-generated; do not edit

+call echo set /a _passed+=1 >>test0.bat

+type test0.bat >"test 1.bat

+ren "test 1.bat" test2.bat

+rename test2.bat test.bat

+caLL ^

+C:test

+del test.bat 2>nul

+2>NUL erase test0.bat

+popd

+rd temp\temp

+rmdir temp

+VERIFY OFF

+goto:eof

+

+:control

+set /a _tests+=1

+echo Test %_tests%: Control statements

+set "_iterations=0">nul

+for %%G in (,+,,-,

+) do @(

+  for /l %%H in (,-1;;-1	-3,) do (

+    for /f tokens^=1-2^,5 %%I in ("2 %%H _ _ 10") do (

+      for /f "tokens=1 usebackq" %%L in ( `echo %%G%%J ``` `

+`  `    ) do ( for /f "tokens=2" %%M in ('echo ' %%L0 '

+'  '      ) do ( set /a _iterations+=(%%M%%M^)

+        )

+      )

+    )

+  )

+)

+if exist %~nx0 if not exist %~nx0 goto :fail

+if exist %~nx0 (

+  if not exist %~nx0 goto :fail

+) else (

+  if exist %~nx0 goto :fail

+)

+if /i %_iterations% gtr -2 (

+  if /i %_iterations% geq -1 (

+    if /i %_iterations% lss 1 (

+      if /i %_iterations% leq 0 (

+        if /i %_iterations% equ 0 (

+          if 1 equ 01 (

+            if 1 neq "01" (

+              if "1" neq 01 (

+                set /a _passed+=1))))))))

+) comment

+goto :eof

+

+:internal

+set /a _tests+=1

+echo Test %_tests%: Internal commands

+keys on

+mklink 2>nul

+>nul path %path%

+>nul dpath %dpath%

+if not defined prompt prompt $P$G

+prompt !prompt:~!rem/ $H?

+echo on

+rem/?

+@echo off

+rem(/?>nul

+rem )/? >nul

+(rem (/?) >nul

+rem /?>nul

+rem^/?>nul

+if/?>nul || if^/^?>nul || if /?>nul || if x/? >nul

+for/?>nul && for^/^?>nul && for /?>nul && for x/? >nul && for /?x >nul

+goto/?>nul && goto^/? && goto^ /? && goto /^

+? && goto /?>nul && goto:/? >nul && goto ) /? ) >nul && (goto /? )>nul

+=set+;/p extension'),=.bat

+for /f "tokens=2 delims==" %%G in ( 'assoc %+;/p extension'),%'

+ ) do (

+  assoc 2>nul %+;/p extension'),:*.=.%=%%G

+  ftype 1>nul %%G

+) &>nul ver

+if errorlevel 0 if not errorlevel 1 set /a _passed+=1

+goto :eof

+:/?

+goto :fail

diff --git a/tests/examplefiles/example.ezt b/tests/examplefiles/example.ezt
new file mode 100644
index 00000000..fec2aa4c
--- /dev/null
+++ b/tests/examplefiles/example.ezt
@@ -0,0 +1,32 @@
+* Easytrieve Plus example programm.
+
+* Environtment section.
+PARM DEBUG(FLOW FLDCHK)
+
+* Library Section.
+FILE PERSNL FB(150 1800)
+  NAME  17 8 A
+  EMP#   9 5 N * Note: '#' is a valid character for names.
+  DEPT  98 3 N. GROSS 94 4 P 2
+  *           ^ 2 field definitions in 1 line.
+
+* Call macro in example.mac.
+FILE EXAMPLE FB(80 200)
+%EXAMPLE SOMEFILE SOME
+
+* Activity Section.
+JOB INPUT PERSNL NAME FIRST-PROGRAM START AT-START FINISH AT_FINISH
+  PRINT PAY-RPT
+REPORT PAY-RPT LINESIZE 80
+  TITLE 01 'PERSONNEL REPORT EXAMPLE-1'
+  LINE 01 DEPT NAME EMP# GROSS
+
+* Procedure declarations.
+AT-START. PROC
+  DISPLAY 'PROCESSING...'
+END-PROC
+
+AT-FINISH
+PROC
+  DISPLAY 'DONE.'
+END-PROC
diff --git a/tests/examplefiles/example.fish b/tests/examplefiles/example.fish
new file mode 100644
index 00000000..2cfd2c8b
--- /dev/null
+++ b/tests/examplefiles/example.fish
@@ -0,0 +1,580 @@
+# -----------------------------------------------------------------------------
+# Fishshell Samples
+#  |- Theme / bobthefish
+#  |- Function / funced
+#  |- Configuration / config.fish
+# -----------------------------------------------------------------------------
+
+# name: bobthefish
+#
+# bobthefish is a Powerline-style, Git-aware fish theme optimized for awesome.
+#
+# You will probably need a Powerline-patched font for this to work:
+#
+#     https://powerline.readthedocs.org/en/latest/fontpatching.html
+#
+# I recommend picking one of these:
+#
+#     https://github.com/Lokaltog/powerline-fonts
+#
+# You can override some default options in your config.fish:
+#
+#     set -g theme_display_user yes
+#     set -g default_user your_normal_user
+
+set -g __bobthefish_current_bg NONE
+
+# Powerline glyphs
+set __bobthefish_branch_glyph            \uE0A0
+set __bobthefish_ln_glyph                \uE0A1
+set __bobthefish_padlock_glyph           \uE0A2
+set __bobthefish_right_black_arrow_glyph \uE0B0
+set __bobthefish_right_arrow_glyph       \uE0B1
+set __bobthefish_left_black_arrow_glyph  \uE0B2
+set __bobthefish_left_arrow_glyph        \uE0B3
+
+# Additional glyphs
+set __bobthefish_detached_glyph          \u27A6
+set __bobthefish_nonzero_exit_glyph      '! '
+set __bobthefish_superuser_glyph         '$ '
+set __bobthefish_bg_job_glyph            '% '
+set __bobthefish_hg_glyph                \u263F
+
+# Python glyphs
+set __bobthefish_superscript_glyph       \u00B9 \u00B2 \u00B3
+set __bobthefish_virtualenv_glyph        \u25F0
+set __bobthefish_pypy_glyph              \u1D56
+
+# Colors
+set __bobthefish_lt_green   addc10
+set __bobthefish_med_green  189303
+set __bobthefish_dk_green   0c4801
+
+set __bobthefish_lt_red     C99
+set __bobthefish_med_red    ce000f
+set __bobthefish_dk_red     600
+
+set __bobthefish_slate_blue 255e87
+
+set __bobthefish_lt_orange  f6b117
+set __bobthefish_dk_orange  3a2a03
+
+set __bobthefish_dk_grey    333
+set __bobthefish_med_grey   999
+set __bobthefish_lt_grey    ccc
+
+set __bobthefish_dk_brown   4d2600
+set __bobthefish_med_brown  803F00
+set __bobthefish_lt_brown   BF5E00
+
+set __bobthefish_dk_blue    1E2933
+set __bobthefish_med_blue   275379
+set __bobthefish_lt_blue    326D9E
+
+# ===========================
+# Helper methods
+# ===========================
+
+function __bobthefish_in_git -d 'Check whether pwd is inside a git repo'
+  command which git > /dev/null 2>&1; and command git rev-parse --is-inside-work-tree >/dev/null 2>&1
+end
+
+function __bobthefish_in_hg -d 'Check whether pwd is inside a hg repo'
+  command which hg > /dev/null 2>&1; and command hg stat > /dev/null 2>&1
+end
+
+function __bobthefish_git_branch -d 'Get the current git branch (or commitish)'
+  set -l ref (command git symbolic-ref HEAD 2> /dev/null)
+  if [ $status -gt 0 ]
+    set -l branch (command git show-ref --head -s --abbrev |head -n1 2> /dev/null)
+    set ref "$__bobthefish_detached_glyph $branch"
+  end
+  echo $ref | sed  "s-refs/heads/-$__bobthefish_branch_glyph -"
+end
+
+function __bobthefish_hg_branch -d 'Get the current hg branch'
+  set -l branch (hg branch ^/dev/null)
+  set -l book " @ "(hg book | grep \* | cut -d\  -f3)
+  echo "$__bobthefish_branch_glyph $branch$book"
+end
+
+function __bobthefish_pretty_parent -d 'Print a parent directory, shortened to fit the prompt'
+  echo -n (dirname $argv[1]) | sed -e 's|/private||' -e "s|^$HOME|~|" -e 's-/\(\.\{0,1\}[^/]\)\([^/]*\)-/\1-g' -e 's|/$||'
+end
+
+function __bobthefish_git_project_dir -d 'Print the current git project base directory'
+  command git rev-parse --show-toplevel 2>/dev/null
+end
+
+function __bobthefish_hg_project_dir -d 'Print the current hg project base directory'
+  command hg root 2>/dev/null
+end
+
+function __bobthefish_project_pwd -d 'Print the working directory relative to project root'
+  echo "$PWD" | sed -e "s*$argv[1]**g" -e 's*^/**'
+end
+
+
+# ===========================
+# Segment functions
+# ===========================
+
+function __bobthefish_start_segment -d 'Start a prompt segment'
+  set_color -b $argv[1]
+  set_color $argv[2]
+  if [ "$__bobthefish_current_bg" = 'NONE' ]
+    # If there's no background, just start one
+    echo -n ' '
+  else
+    # If there's already a background...
+    if [ "$argv[1]" = "$__bobthefish_current_bg" ]
+      # and it's the same color, draw a separator
+      echo -n "$__bobthefish_right_arrow_glyph "
+    else
+      # otherwise, draw the end of the previous segment and the start of the next
+      set_color $__bobthefish_current_bg
+      echo -n "$__bobthefish_right_black_arrow_glyph "
+      set_color $argv[2]
+    end
+  end
+  set __bobthefish_current_bg $argv[1]
+end
+
+function __bobthefish_path_segment -d 'Display a shortened form of a directory'
+  if test -w "$argv[1]"
+    __bobthefish_start_segment $__bobthefish_dk_grey $__bobthefish_med_grey
+  else
+    __bobthefish_start_segment $__bobthefish_dk_red $__bobthefish_lt_red
+  end
+
+  set -l directory
+  set -l parent
+
+  switch "$argv[1]"
+    case /
+      set directory '/'
+    case "$HOME"
+      set directory '~'
+    case '*'
+      set parent    (__bobthefish_pretty_parent "$argv[1]")
+      set parent    "$parent/"
+      set directory (basename "$argv[1]")
+  end
+
+  test "$parent"; and echo -n -s "$parent"
+  set_color fff --bold
+  echo -n "$directory "
+  set_color normal
+end
+
+function __bobthefish_finish_segments -d 'Close open prompt segments'
+  if [ -n $__bobthefish_current_bg -a $__bobthefish_current_bg != 'NONE' ]
+    set_color -b normal
+    set_color $__bobthefish_current_bg
+    echo -n "$__bobthefish_right_black_arrow_glyph "
+    set_color normal
+  end
+  set -g __bobthefish_current_bg NONE
+end
+
+
+# ===========================
+# Theme components
+# ===========================
+
+function __bobthefish_prompt_status -d 'Display symbols for a non zero exit status, root and background jobs'
+  set -l nonzero
+  set -l superuser
+  set -l bg_jobs
+
+  # Last exit was nonzero
+  if [ $status -ne 0 ]
+    set nonzero $__bobthefish_nonzero_exit_glyph
+  end
+
+  # if superuser (uid == 0)
+  set -l uid (id -u $USER)
+  if [ $uid -eq 0 ]
+    set superuser $__bobthefish_superuser_glyph
+  end
+
+  # Jobs display
+  if [ (jobs -l | wc -l) -gt 0 ]
+    set bg_jobs $__bobthefish_bg_job_glyph
+  end
+
+  set -l status_flags "$nonzero$superuser$bg_jobs"
+
+  if test "$nonzero" -o "$superuser" -o "$bg_jobs"
+    __bobthefish_start_segment fff 000
+    if [ "$nonzero" ]
+      set_color $__bobthefish_med_red --bold
+      echo -n $__bobthefish_nonzero_exit_glyph
+    end
+
+    if [ "$superuser" ]
+      set_color $__bobthefish_med_green --bold
+      echo -n $__bobthefish_superuser_glyph
+    end
+
+    if [ "$bg_jobs" ]
+      set_color $__bobthefish_slate_blue --bold
+      echo -n $__bobthefish_bg_job_glyph
+    end
+
+    set_color normal
+  end
+end
+
+function __bobthefish_prompt_user -d 'Display actual user if different from $default_user'
+  if [ "$theme_display_user" = 'yes' ]
+    if [ "$USER" != "$default_user" -o -n "$SSH_CLIENT" ]
+      __bobthefish_start_segment $__bobthefish_lt_grey $__bobthefish_slate_blue
+      echo -n -s (whoami) '@' (hostname | cut -d . -f 1) ' '
+    end
+  end
+end
+
+function __bobthefish_prompt_hg -d 'Display the actual hg state'
+  set -l dirty   (command hg stat; or echo -n '*')
+
+  set -l flags "$dirty"
+  test "$flags"; and set flags ""
+
+  set -l flag_bg $__bobthefish_lt_green
+  set -l flag_fg $__bobthefish_dk_green
+  if test "$dirty"
+    set flag_bg $__bobthefish_med_red
+    set flag_fg fff
+  end
+
+  __bobthefish_path_segment (__bobthefish_hg_project_dir)
+
+  __bobthefish_start_segment $flag_bg $flag_fg
+  echo -n -s $__bobthefish_hg_glyph ' '
+
+  __bobthefish_start_segment $flag_bg $flag_fg
+  set_color $flag_fg --bold
+  echo -n -s (__bobthefish_hg_branch) $flags ' '
+  set_color normal
+
+  set -l project_pwd  (__bobthefish_project_pwd (__bobthefish_hg_project_dir))
+  if test "$project_pwd"
+    if test -w "$PWD"
+      __bobthefish_start_segment 333 999
+    else
+      __bobthefish_start_segment $__bobthefish_med_red $__bobthefish_lt_red
+    end
+
+    echo -n -s $project_pwd ' '
+  end
+end
+
+# TODO: clean up the fugly $ahead business
+function __bobthefish_prompt_git -d 'Display the actual git state'
+  set -l dirty   (command git diff --no-ext-diff --quiet --exit-code; or echo -n '*')
+  set -l staged  (command git diff --cached --no-ext-diff --quiet --exit-code; or echo -n '~')
+  set -l stashed (command git rev-parse --verify refs/stash > /dev/null 2>&1; and echo -n '$')
+  set -l ahead   (command git branch -v 2> /dev/null | grep -Eo '^\* [^ ]* *[^ ]* *\[[^]]*\]' | grep -Eo '\[[^]]*\]$' | awk 'ORS="";/ahead/ {print "+"} /behind/ {print "-"}' | sed -e 's/+-/±/')
+
+  set -l new (command git ls-files --other --exclude-standard);
+  test "$new"; and set new '…'
+
+  set -l flags   "$dirty$staged$stashed$ahead$new"
+  test "$flags"; and set flags " $flags"
+
+  set -l flag_bg $__bobthefish_lt_green
+  set -l flag_fg $__bobthefish_dk_green
+  if test "$dirty" -o "$staged"
+    set flag_bg $__bobthefish_med_red
+    set flag_fg fff
+  else
+    if test "$stashed"
+      set flag_bg $__bobthefish_lt_orange
+      set flag_fg $__bobthefish_dk_orange
+    end
+  end
+
+  __bobthefish_path_segment (__bobthefish_git_project_dir)
+
+  __bobthefish_start_segment $flag_bg $flag_fg
+  set_color $flag_fg --bold
+  echo -n -s (__bobthefish_git_branch) $flags ' '
+  set_color normal
+
+  set -l project_pwd  (__bobthefish_project_pwd (__bobthefish_git_project_dir))
+  if test "$project_pwd"
+    if test -w "$PWD"
+      __bobthefish_start_segment 333 999
+    else
+      __bobthefish_start_segment $__bobthefish_med_red $__bobthefish_lt_red
+    end
+
+    echo -n -s $project_pwd ' '
+  end
+end
+
+function __bobthefish_prompt_dir -d 'Display a shortened form of the current directory'
+  __bobthefish_path_segment "$PWD"
+end
+
+function __bobthefish_in_virtualfish_virtualenv
+  set -q VIRTUAL_ENV
+end
+
+function __bobthefish_virtualenv_python_version -d 'Get current python version'
+  switch (readlink (which python))
+    case python2
+      echo $__bobthefish_superscript_glyph[2]
+    case python3
+      echo $__bobthefish_superscript_glyph[3]
+    case pypy
+      echo $__bobthefish_pypy_glyph
+    end
+end
+
+function __bobthefish_virtualenv -d 'Get the current virtualenv'
+  echo $__bobthefish_virtualenv_glyph(__bobthefish_virtualenv_python_version) (basename "$VIRTUAL_ENV")
+end
+
+function __bobthefish_prompt_virtualfish -d "Display activated virtual environment (only for virtualfish, virtualenv's activate.fish changes prompt by itself)"
+  set flag_bg $__bobthefish_lt_blue
+  set flag_fg $__bobthefish_dk_blue
+  __bobthefish_start_segment $flag_bg $flag_fg
+  set_color $flag_fg --bold
+  echo -n -s (__bobthefish_virtualenv) $flags ' '
+  set_color normal
+end
+
+
+# ===========================
+# Apply theme
+# ===========================
+
+function fish_prompt -d 'bobthefish, a fish theme optimized for awesome'
+  __bobthefish_prompt_status
+  __bobthefish_prompt_user
+  if __bobthefish_in_virtualfish_virtualenv
+    __bobthefish_prompt_virtualfish
+  end
+  if __bobthefish_in_git       # TODO: do this right.
+    __bobthefish_prompt_git    # if something is in both git and hg, check the length of
+  else if __bobthefish_in_hg   # __bobthefish_git_project_dir vs __bobthefish_hg_project_dir
+    __bobthefish_prompt_hg     # and pick the longer of the two.
+  else
+    __bobthefish_prompt_dir
+  end
+  __bobthefish_finish_segments
+end
+
+# -----------------------------------------------------------------------------
+# funced - edit a function interactively
+#
+# Synopsis
+#
+#   funced [OPTIONS] NAME
+#
+# Description
+#
+#   funced provides an interface to edit the definition of the function NAME.
+# -----------------------------------------------------------------------------
+
+function funced --description 'Edit function definition'
+    set -l editor $EDITOR
+    set -l interactive
+    set -l funcname
+    while set -q argv[1]
+        switch $argv[1]
+            case -h --help
+                __fish_print_help funced
+                return 0
+
+            case -e --editor
+                set editor $argv[2]
+                set -e argv[2]
+
+            case -i --interactive
+                set interactive 1
+
+            case --
+                set funcname $funcname $argv[2]
+                set -e argv[2]
+
+            case '-*'
+                set_color red
+                printf (_ "%s: Unknown option %s\n") funced $argv[1]
+                set_color normal
+                return 1
+
+            case '*' '.*'
+                set funcname $funcname $argv[1]
+        end
+        set -e argv[1]
+    end
+
+    if begin; set -q funcname[2]; or not test "$funcname[1]"; end
+        set_color red
+        _ "funced: You must specify one function name
+"
+        set_color normal
+        return 1
+    end
+
+    set -l init
+    switch $funcname
+        case '-*'
+        set init function -- $funcname\n\nend
+        case '*'
+        set init function $funcname\n\nend
+    end
+
+    # Break editor up to get its first command (i.e. discard flags)
+    if test -n "$editor"
+        set -l editor_cmd
+        eval set editor_cmd $editor
+        if not type -f "$editor_cmd[1]" >/dev/null
+            _ "funced: The value for \$EDITOR '$editor' could not be used because the command '$editor_cmd[1]' could not be found
+    "
+            set editor fish
+        end
+    end
+
+    # If no editor is specified, use fish
+    if test -z "$editor"
+        set editor fish
+    end
+
+    if begin; set -q interactive[1]; or test "$editor" = fish; end
+        set -l IFS
+        if functions -q -- $funcname
+            # Shadow IFS here to avoid array splitting in command substitution
+            set init (functions -- $funcname | fish_indent --no-indent)
+        end
+
+        set -l prompt 'printf "%s%s%s> " (set_color green) '$funcname' (set_color normal)'
+        # Unshadow IFS since the fish_title breaks otherwise
+        set -e IFS
+        if read -p $prompt -c "$init" -s cmd
+            # Shadow IFS _again_ to avoid array splitting in command substitution
+            set -l IFS
+            eval (echo -n $cmd | fish_indent)
+        end
+        return 0
+    end
+
+    set -q TMPDIR; or set -l TMPDIR /tmp
+    set -l tmpname (printf "$TMPDIR/fish_funced_%d_%d.fish" %self (random))
+    while test -f $tmpname
+        set tmpname (printf "$TMPDIR/fish_funced_%d_%d.fish" %self (random))
+    end
+
+    if functions -q -- $funcname
+        functions -- $funcname > $tmpname
+    else
+        echo $init > $tmpname
+    end
+    if eval $editor $tmpname
+        . $tmpname
+    end
+    set -l stat $status
+    rm -f $tmpname >/dev/null
+    return $stat
+end
+
+# -----------------------------------------------------------------------------
+# Main file for fish command completions. This file contains various
+# common helper functions for the command completions. All actual
+# completions are located in the completions subdirectory.
+## -----------------------------------------------------------------------------
+
+#
+# Set default field separators
+#
+
+set -g IFS \n\ \t
+
+#
+# Set default search paths for completions and shellscript functions
+# unless they already exist
+#
+
+set -l configdir ~/.config
+
+if set -q XDG_CONFIG_HOME
+  set configdir $XDG_CONFIG_HOME
+end
+
+# __fish_datadir, __fish_sysconfdir, __fish_help_dir, __fish_bin_dir
+# are expected to have been set up by read_init from fish.cpp
+
+# Set up function and completion paths. Make sure that the fish
+# default functions/completions are included in the respective path.
+
+if not set -q fish_function_path
+  set fish_function_path $configdir/fish/functions    $__fish_sysconfdir/functions    $__fish_datadir/functions
+end
+
+if not contains $__fish_datadir/functions $fish_function_path
+  set fish_function_path[-1] $__fish_datadir/functions
+end
+
+if not set -q fish_complete_path
+  set fish_complete_path $configdir/fish/completions  $__fish_sysconfdir/completions  $__fish_datadir/completions
+end
+
+if not contains $__fish_datadir/completions $fish_complete_path
+  set fish_complete_path[-1] $__fish_datadir/completions
+end
+
+#
+# This is a Solaris-specific test to modify the PATH so that
+# Posix-conformant tools are used by default. It is separate from the
+# other PATH code because this directory needs to be prepended, not
+# appended, since it contains POSIX-compliant replacements for various
+# system utilities.
+#
+
+if test -d /usr/xpg4/bin
+  if not contains /usr/xpg4/bin $PATH
+    set PATH /usr/xpg4/bin $PATH
+  end
+end
+
+#
+# Add a few common directories to path, if they exists. Note that pure
+# console programs like makedep sometimes live in /usr/X11R6/bin, so we
+# want this even for text-only terminals.
+#
+
+set -l path_list /bin /usr/bin /usr/X11R6/bin /usr/local/bin $__fish_bin_dir
+
+# Root should also have the sbin directories in the path
+switch $USER
+  case root
+  set path_list $path_list /sbin /usr/sbin /usr/local/sbin
+end
+
+for i in $path_list
+  if not contains $i $PATH
+    if test -d $i
+      set PATH $PATH $i
+    end
+  end
+end
+
+#
+# Launch debugger on SIGTRAP
+#
+function fish_sigtrap_handler --on-signal TRAP --no-scope-shadowing --description "Signal handler for the TRAP signal. Lanches a debug prompt."
+  breakpoint
+end
+
+#
+# Whenever a prompt is displayed, make sure that interactive
+# mode-specific initializations have been performed.
+# This handler removes itself after it is first called.
+#
+function __fish_on_interactive --on-event fish_prompt
+  __fish_config_interactive
+  functions -e __fish_on_interactive
+end
diff --git a/tests/examplefiles/example.jcl b/tests/examplefiles/example.jcl
new file mode 100644
index 00000000..18d4ae37
--- /dev/null
+++ b/tests/examplefiles/example.jcl
@@ -0,0 +1,31 @@
+//IS198CPY JOB (PYGM-TEST-001),'PYGMENTS TEST JOB',
+//  CLASS=L,MSGCLASS=X,TIME=(00,10)
+//* Copy 'OLDFILE' to 'NEWFILE'.
+//COPY01   EXEC PGM=IEBGENER
+//SYSPRINT DD SYSOUT=*
+//SYSUT1   DD DSN=OLDFILE,DISP=SHR
+//SYSUT2   DD DSN=NEWFILE,
+//            DISP=(NEW,CATLG,DELETE),
+//            SPACE=(CYL,(40,5),RLSE),      Some comment
+//            DCB=(LRECL=115,BLKSIZE=1150)
+//SYSIN    DD DUMMY
+/*
+//* Test line continuation in strings.
+//CONT01   EXEC PGM=IEFBR14,PARM='THIS IS A LONG PARAMETER WITHIN APOST
+//           ROPHES, CONTINUED IN COLUMN 15 OF THE NEXT RECORD'
+//* Sort a couple of lines and show the result in the job log.
+//SORT01   EXEC PGM=IEFBR14
+//SORTIN   DD *
+spam
+eggs
+ham
+/*
+//SORTOUT  DD SYSOUT=*
+/*
+//* Test line continuation with comment at end of line continued by a
+//* character at column 72 (in this case 'X').
+//STP4     EXEC PROC=BILLING,COND.PAID=((20,LT),EVEN),
+//         COND.LATE=(60,GT,FIND),
+//         COND.BILL=((20,GE),(30,LT,CHGE))  THIS STATEMENT CALLS THE X
+//         BILLING PROCEDURE AND SPECIFIES RETURN CODE TESTS FOR THREEX
+//         PROCEDURE STEPS.
diff --git a/tests/examplefiles/example.mac b/tests/examplefiles/example.mac
new file mode 100644
index 00000000..1c3831d1
--- /dev/null
+++ b/tests/examplefiles/example.mac
@@ -0,0 +1,6 @@
+* Example Easytrieve macro declaration. For an example on calling this
+* macro, see example.ezt.
+MACRO FILENAME PREFIX
+&FILENAME.
+&PREFIX.-LINE 1 80 A
+&PREFIX.-KEY  1  8 A
diff --git a/tests/examplefiles/example.scd b/tests/examplefiles/example.scd
new file mode 100644
index 00000000..a27247e9
--- /dev/null
+++ b/tests/examplefiles/example.scd
@@ -0,0 +1,76 @@
+Instr("cs.fm.BasicFM", {
+  arg freq = 440,
+    amp = 0.9,
+    gate = 0,
+    carrierFreqRatio = 1.0,
+    modulatorFreqRatio = 1.0,
+    // not sure if having these defaults here actually does anything.
+    modEnvShape = Env.adsr(
+      attackTime: 0.05,
+      decayTime: 0.1,
+      sustainLevel: 0.5 * amp,
+      releaseTime: 0.1,
+      peakLevel: amp,
+      curve: [4, -4, -2]
+    ),
+    carrierEnvShape = Env.adsr(
+      attackTime: 0.05,
+      decayTime: 0.1,
+      sustainLevel: 0.5 * amp,
+      releaseTime: 0.1,
+      peakLevel: amp,
+      curve: [4, -4, -2]
+    );
+
+  var carrier,
+    modulator,
+    carrierEnv,
+    modEnv,
+    out;
+
+  modEnv = EnvGen.kr(
+    envelope: modEnvShape,
+    gate: gate
+  );
+  
+  modulator = modEnv * SinOsc.ar(freq * modulatorFreqRatio);
+  
+  // carrier sustains until noteoff
+  carrierEnvShape.releaseNode = 2;
+
+  carrierEnv = EnvGen.kr(
+    envelope: carrierEnvShape,
+    gate: gate
+  );
+
+  carrier = carrierEnv * SinOsc.ar(
+    (freq * carrierFreqRatio) + (modulator * freq)
+  );
+
+  // free synth when both carrier and modulator envelopes are done
+  FreeSelf.kr(Done.kr(carrierEnv) + Done.kr(modEnv) - 1);
+
+  out = amp * carrier;
+}, [
+  \freq.asSpec(),
+  \amp.asSpec(),
+  \nil,
+  ControlSpec(0.1, 10),
+  ControlSpec(0.1, 10),
+  EnvSpec(Env.adsr(
+    attackTime: 0.05,
+    decayTime: 0.1,
+    sustainLevel: 0.8,
+    releaseTime: 0.1,
+    peakLevel: 1.0,
+    curve: [4, -4, -2]
+  )),
+  EnvSpec(Env.adsr(
+    attackTime: 0.05,
+    decayTime: 0.1,
+    sustainLevel: 0.8,
+    releaseTime: 0.1,
+    peakLevel: 1.0,
+    curve: [4, -4, -2]
+  ))
+]);
diff --git a/tests/examplefiles/example.tap b/tests/examplefiles/example.tap
new file mode 100644
index 00000000..a70a239d
--- /dev/null
+++ b/tests/examplefiles/example.tap
@@ -0,0 +1,37 @@
+TAP version 13
+1..42
+1..13 A plan only supports directives so this text is wrong.
+ok 1 A normal test line includes a number.
+ok But a test line may also omit a number.
+
+A random line that does not look like a test or diagnostic should be ignored.
+      No matter how it is spaced out.
+
+Or if it is a totally blank line.
+
+not ok 3 This is a failing test line.
+
+# Diagnostics are any lines...
+# ... beginning with a hash character.
+
+not ok 4 There are a couple of directives. # TODO is one of those directives.
+not ok 5 # TODO: is invalid because the directive must be followed by a space.
+ok 6 - Another directive line # toDO is not case sensitive.
+
+ok 7 A line that is a # SKIP
+ok 8 Tests can be # skipped as long as the directive has the "skip" stem.
+ok 9 The TODO directive must be followed by a space, but # skip: is valid.
+1..0 # Skipped directives can show on a plan line too.
+
+Bail out! is a special phrase emitted when a TAP file aborted.
+
+not ok 10 Having TAP version 13 in the middle of a line is not a TAP version.
+not ok 11 Having Bail out! in the middle of a line is not a bail out.
+
+ok 12 Here is an empty directive. #
+
+# The most basic valid test lines.
+ok
+not ok
+
+ok 15 Only the test number should look different. Not another 42, for example.
diff --git a/tests/examplefiles/example.tf b/tests/examplefiles/example.tf
new file mode 100644
index 00000000..d3f02779
--- /dev/null
+++ b/tests/examplefiles/example.tf
@@ -0,0 +1,162 @@
+variable "key_name" {
+    description = "Name of the SSH keypair to use in AWS."
+}
+
+variable "key_path" {
+    description = "Path to the private portion of the SSH key specified."
+}
+
+variable "aws_region" {
+    description = "AWS region to launch servers."
+    default = "us-west-2"
+    somevar = true
+}
+
+# Ubuntu Precise 12.04 LTS (x64)
+variable "aws_amis" {
+    default = {
+        eu-west-1 = "ami-b1cf19c6"
+        us-east-1 = "ami-de7ab6b6"
+        us-west-1 = "ami-3f75767a"
+        us-west-2 = "ami-21f78e11"
+    }
+}
+
+
+
+
+
+
+provider "aws" {
+    access_key = "${myvar}" 
+    secret_key = "your aws secret key"
+    region = "us-east-1"
+}
+/* multiline
+
+  comment
+
+*/
+
+
+# Single line comment
+resource "aws_instance" "example" {
+    ami = "ami-408c7f28"
+    instance_type = "t1.micro"
+    key_name      = "your-aws-key-name"
+}
+
+# Create our Heroku application. Heroku will
+# automatically assign a name.
+resource "heroku_app" "web" {}
+
+# Create our DNSimple record to point to the
+# heroku application.
+resource "dnsimple_record" "web" {
+  domain = "${var.dnsimple_domain}"
+
+
+  # heroku_hostname is a computed attribute on the heroku
+  # application we can use to determine the hostname
+  value = "${heroku_app.web.heroku_hostname}"
+
+  type = "CNAME"
+  ttl = 3600
+}
+
+# The Heroku domain, which will be created and added
+# to the heroku application after we have assigned the domain
+# in DNSimple
+resource "heroku_domain" "foobar" {
+    app = "${heroku_app.web.name}"
+    hostname = "${dnsimple_record.web.hostname}" 
+}
+
+
+# Specify the provider and access details
+provider "aws" {
+    region = "${var.aws_region}" 
+    value = ${file("path.txt")} 
+}
+
+# Our default security group to access
+# the instances over SSH and HTTP
+resource "aws_security_group" "default" {
+    name = "terraform_example"
+    description = "Used in the terraform"
+
+    # SSH access from anywhere
+    ingress {
+        from_port = 22
+        to_port = 22
+        protocol = "tcp"
+        cidr_blocks = ["0.0.0.0/0"]
+    }
+
+    # HTTP access from anywhere
+    ingress {
+        from_port = 80
+        to_port = 80
+        protocol = "tcp"
+        cidr_blocks = ["0.0.0.0/0"]
+    }
+}
+
+
+resource "aws_elb" "web" {
+  name = "terraform-example-elb"
+
+  # The same availability zone as our instance
+  availability_zones = ["${aws_instance.web.availability_zone}"]
+
+  listener {
+    instance_port = 80
+    instance_protocol = "http"
+    lb_port = 80
+    lb_protocol = "http"
+  }
+
+  # The instance is registered automatically
+  instances = ["${aws_instance.web.id}"]
+}
+
+
+resource "aws_instance" "web" {
+  # The connection block tells our provisioner how to
+  # communicate with the resource (instance)
+  connection {
+    # The default username for our AMI
+    user = "ubuntu"
+
+    # The path to your keyfile
+    key_file = "${var.key_path}"
+  }
+
+  instance_type = "m1.small"
+
+  # Lookup the correct AMI based on the region
+  # we specified
+  ami = "${lookup(var.aws_amis, var.aws_region)}"
+
+  # The name of our SSH keypair you've created and downloaded
+  # from the AWS console.
+  #
+  # https://console.aws.amazon.com/ec2/v2/home?region=us-west-2#KeyPairs:
+  #
+  key_name = "${var.key_name}"
+
+  # Our Security group to allow HTTP and SSH access
+  security_groups = ["${aws_security_group.default.name}"]
+
+  # We run a remote provisioner on the instance after creating it.
+  # In this case, we just install nginx and start it. By default,
+  # this should be on port 80
+  provisioner "remote-exec" {
+    inline = [
+        "sudo apt-get -y update",
+        "sudo apt-get -y install nginx",
+        "sudo service nginx start"
+    ]
+  }
+}
+
diff --git a/tests/examplefiles/example.ttl b/tests/examplefiles/example.ttl
new file mode 100644
index 00000000..e524d86c
--- /dev/null
+++ b/tests/examplefiles/example.ttl
@@ -0,0 +1,43 @@
+@base  <http://example.com> .
+@prefix dcterms: <http://purl.org/dc/terms/>. @prefix xs: <http://www.w3.org/2001/XMLSchema> .
+@prefix mads: <http://www.loc.gov/mads/rdf/v1#> .
+@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
+@PREFIX dc: <http://purl.org/dc/elements/1.1/>  # SPARQL-like syntax is OK
+@prefix : <http://xmlns.com/foaf/0.1/> .  # empty prefix is OK
+
+<http://example.org/#spiderman> <http://www.perceive.net/schemas/relationship/enemyOf> <http://example.org/#green-goblin> .
+
+<#doc1> a <#document>
+	dc:creator "Smith", "Jones"; 
+	:knows <http://getopenid.com/jsmith>
+	dcterms:hasPart [ # A comment
+		dc:title "Some title", "Some other title";
+		dc:creator "برشت، برتولد"@ar;
+		dc:date "2009"^^xs:date
+	];
+	dc:title "A sample title", 23.0;
+	dcterms:isPartOf [
+		dc:title "another", "title"
+	] ;
+	:exists true .
+
+<http://data.ub.uio.no/realfagstermer/006839> a mads:Topic,
+    skos:Concept ;
+    dcterms:created "2014-08-25"^^xsd:date ;
+    dcterms:modified "2014-11-12"^^xsd:date ;
+    dcterms:identifier "REAL006839" ;
+    skos:prefLabel "Flerbørstemarker"@nb,
+        "Polychaeta"@la ;
+    skos:altLabel "Flerbørsteormer"@nb,
+        "Mangebørstemark"@nb,
+        "Mangebørsteormer"@nb,
+        "Havbørsteormer"@nb,
+        "Havbørstemarker"@nb,
+        "Polycheter"@nb.
+    skos:inScheme <http://data.ub.uio.no/realfagstermer/> ;
+    skos:narrower <http://data.ub.uio.no/realfagstermer/018529>,
+        <http://data.ub.uio.no/realfagstermer/024538>,
+        <http://data.ub.uio.no/realfagstermer/026723> ;
+    skos:exactMatch <http://ntnu.no/ub/data/tekord#NTUB17114>,
+        <http://dewey.info/class/592.62/e23/>,
+        <http://aims.fao.org/aos/agrovoc/c_29110> .
diff --git a/tests/examplefiles/example.inf b/tests/examplefiles/inform6_example
index 73cdd087..73cdd087 100644
--- a/tests/examplefiles/example.inf
+++ b/tests/examplefiles/inform6_example
diff --git a/tests/examplefiles/roboconf.graph b/tests/examplefiles/roboconf.graph
new file mode 100644
index 00000000..e5fdedff
--- /dev/null
+++ b/tests/examplefiles/roboconf.graph
@@ -0,0 +1,40 @@
+##################
+# A sample graph
+##################
+
+import some-definition.graph;
+import another-definition.graph;
+
+VM {
+	installer : target;
+	children: deployable;
+}
+
+facet deployable {
+	# nothing
+}
+
+# Sample deployables
+mysql {
+	insTaller: puppet;
+	facets: deployable;
+	exports: ip, port = 3306;
+}
+
+tomcat {
+	installer: bash;
+	facets: deployable;
+	exports: ip;
+	children: web-application;
+}
+
+facet web-application {
+	exports: full-path = undefined;
+}
+
+my-war-1 {
+	facets: web-application;
+	installer: file;
+	exports: full-path = apps/my-war-1;	# the relative path
+	imports: mysql.*;
+}
diff --git a/tests/examplefiles/roboconf.instances b/tests/examplefiles/roboconf.instances
new file mode 100644
index 00000000..c69a2ab0
--- /dev/null
+++ b/tests/examplefiles/roboconf.instances
@@ -0,0 +1,24 @@
+
+# Deal with imports
+import others.instances;
+
+instance of VM {
+	name: VM-mysql;
+	instance of mysql {
+		name: MySQL;
+	}
+}
+
+instance of VM {
+	name: VM ;
+	count: 5;
+	
+	INSTANCE of tomcat {
+		name: Tomcat;
+		
+		instance of my-war-1 {
+			name: my-war-1;
+			full-path: apps/my-war;
+		}
+	}
+}
diff --git a/tests/examplefiles/test.bpl b/tests/examplefiles/test.bpl
new file mode 100644
index 00000000..add25e1a
--- /dev/null
+++ b/tests/examplefiles/test.bpl
@@ -0,0 +1,140 @@
+/*
+ * Test Boogie rendering
+*/
+
+const N: int;
+axiom 0 <= N;
+
+procedure foo() {
+    break;
+}
+// array to sort as global array, because partition & quicksort have to 
+var a: [int] int;
+var original: [int] int;
+var perm: [int] int;
+
+// Is array a of length N sorted?
+function is_sorted(a: [int] int, l: int, r: int): bool
+{
+    (forall j, k: int :: l <= j && j < k && k <= r ==> a[j] <= a[k])
+}
+
+// is range a[l:r] unchanged?
+function is_unchanged(a: [int] int, b: [int] int, l: int, r: int): bool {
+    (forall i: int :: l <= i && i <= r ==> a[i] == b[i]) 
+}
+
+function is_permutation(a: [int] int, original: [int] int, perm: [int] int, N: int): bool
+{
+    (forall k: int :: 0 <= k && k < N ==> 0 <= perm[k] && perm[k] < N) &&
+    (forall k, j: int :: 0 <= k && k < j && j < N ==> perm[k] != perm[j]) &&
+    (forall k: int :: 0 <= k && k < N ==> a[k] == original[perm[k]])
+}
+
+function count(a: [int] int, x: int, N: int) returns (int)
+{ if N == 0 then 0 else if a[N-1] == x then count(a, x, N - 1) + 1 else count(a, x, N-1) }
+
+
+/*
+function count(a: [int] int, x: int, N: int) returns (int)
+{ if N == 0 then 0 else if a[N-1] == x then count(a, x, N - 1) + 1 else count(a, x, N-1) }
+
+function is_permutation(a: [int] int, b: [int] int, l: int, r: int): bool {
+  (forall i: int :: l <= i && i <= r ==> count(a, a[i], r+1) == count(b, a[i], r+1))
+}
+*/
+
+procedure partition(l: int, r: int, N: int) returns (p: int)
+    modifies a, perm;
+    requires N > 0;
+    requires l >= 0 && l < r && r < N;
+    requires ((r+1) < N) ==> (forall k: int :: (k >= l && k <= r) ==> a[k] <= a[r+1]);
+    requires ((l-1) >= 0) ==> (forall k: int :: (k >= l && k <= r) ==> a[k] > a[l-1]);
+
+    /* a is a permutation of the original array original */
+    requires is_permutation(a, original, perm, N);
+
+    ensures (forall k: int :: (k >= l &&  k <= p ) ==> a[k] <= a[p]);
+    ensures (forall k: int :: (k > p &&  k <= r ) ==> a[k] > a[p]);
+    ensures p >= l && p <= r;
+    ensures is_unchanged(a, old(a), 0, l-1);
+    ensures is_unchanged(a, old(a), r+1, N);
+    ensures ((r+1) < N) ==> (forall k: int :: (k >= l && k <= r) ==> a[k] <= a[r+1]);
+    ensures ((l-1) >= 0) ==> (forall k: int :: (k >= l && k <= r) ==> a[k] > a[l-1]);
+
+    /* a is a permutation of the original array original */
+    ensures is_permutation(a, original, perm, N);
+{
+    var i: int;
+    var sv: int;
+    var pivot: int;
+    var tmp: int;
+
+    i := l;
+    sv := l;
+    pivot := a[r];
+
+    while (i < r)
+        invariant i <= r && i >= l;
+        invariant sv <= i && sv >= l;
+        invariant pivot == a[r];
+        invariant (forall k: int :: (k >= l &&  k < sv) ==> a[k] <= old(a[r]));
+        invariant (forall k: int :: (k >= sv &&  k < i) ==> a[k] > old(a[r]));
+
+        /* a is a permutation of the original array original */
+        invariant is_permutation(a, original, perm, N);
+
+        invariant is_unchanged(a, old(a), 0, l-1);
+        invariant is_unchanged(a, old(a), r+1, N);
+        invariant ((r+1) < N) ==> (forall k: int :: (k >= l && k <= r) ==> a[k] <= a[r+1]);
+        invariant ((l-1) >= 0) ==> (forall k: int :: (k >= l && k <= r) ==> a[k] > a[l-1]);
+    {
+        if ( a[i] <= pivot) {
+            tmp := a[i]; a[i] := a[sv]; a[sv] := tmp;
+            tmp := perm[i];  perm[i] := perm[sv];  perm[sv] := tmp;
+            sv := sv +1;
+        }
+        i := i + 1;
+    }
+
+    //swap
+    tmp := a[i]; a[i] := a[sv]; a[sv] := tmp;
+    tmp := perm[i];  perm[i] := perm[sv];  perm[sv] := tmp;
+
+    p := sv;
+}
+
+
+procedure quicksort(l: int, r: int, N: int)
+    modifies a, perm;
+
+    requires N > 0;
+    requires l >= 0 && l < r && r < N;
+    requires ((r+1) < N) ==> (forall k: int :: (k >= l && k <= r) ==> a[k] <= a[r+1]);
+    requires ((l-1) >= 0) ==> (forall k: int :: (k >= l && k <= r) ==> a[k] > a[l-1]);
+
+    /* a is a permutation of the original array original */
+    requires is_permutation(a, original, perm, N);
+
+    ensures ((r+1) < N) ==> (forall k: int :: (k >= l && k <= r) ==> a[k] <= a[r+1]);
+    ensures ((l-1) >= 0) ==> (forall k: int :: (k >= l && k <= r) ==> a[k] > a[l-1]);
+
+    ensures is_unchanged(a, old(a), 0, l-1);
+    ensures is_unchanged(a, old(a), r+1, N);
+    ensures is_sorted(a, l, r);
+
+    /* a is a permutation of the original array original */
+    ensures is_permutation(a, original, perm, N);
+{
+    var p: int;
+
+    call p := partition(l, r, N);
+
+    if ((p-1) > l) {
+        call quicksort(l, p-1, N);
+    }
+
+    if ((p+1) < r) {
+        call quicksort(p+1, r, N);
+    }
+}
diff --git a/tests/examplefiles/test.psl b/tests/examplefiles/test.psl
new file mode 100644
index 00000000..3ac99498
--- /dev/null
+++ b/tests/examplefiles/test.psl
@@ -0,0 +1,182 @@
+//  This is a comment
+
+//  1. Basics
+
+//  Functions
+func Add(X : Univ_Integer; Y : Univ_Integer) -> Univ_Integer is
+   return X + Y;
+end func Add;
+//  End of line semi-colons are optional
+//  +, +=, -, -=, *, *=, /, /=
+//  all do what you'd expect (/ is integer division)
+
+//  If you find Univ_Integer to be too verbose you can import Short_Names
+//  which defines aliases like Int for Univ_Integer and String for Univ_String
+import PSL::Short_Names::*, *
+
+func Greetings() is
+   const S : String := "Hello, World!"
+   Println(S)
+end func Greetings
+//  All declarations are 'const', 'var', or 'ref'
+//  Assignment is :=, equality checks are ==, and != is not equals
+
+func Boolean_Examples(B : Bool) is
+   const And := B and #true           //  Parallel execution of operands
+   const And_Then := B and then #true //  Short-Circuit
+   const Or := B or #false            //  Parallel execution of operands
+   const Or_Else := B or else #false  //  Short-Cirtuit
+   const Xor := B xor #true
+   var Result : Bool := #true;
+   Result and= #false;
+   Result or= #true;
+   Result xor= #false;
+end func Boolean_Examples
+//  Booleans are a special type of enumeration
+//  All enumerations are preceded by a sharp '#'
+
+func Fib(N : Int) {N >= 0} -> Int is
+   if N <= 1 then
+      return N
+   else
+      //  Left and right side of '+' are computed in Parallel here
+      return Fib(N - 1) + Fib(N - 2)
+   end if
+end func Fib
+//  '{N >= 0}' is a precondition to this function
+//  Preconditions are built in to the language and checked by the compiler
+
+//  ParaSail does not have mutable global variables
+//  Instead, use 'var' parameters
+func Increment_All(var Nums : Vector<Int>) is
+   for each Elem of Nums concurrent loop
+      Elem += 1
+   end loop
+end func Increment_All
+//  The 'concurrent' keyword in the loop header tells the compiler that
+//  iterations of the loop can happen in any order.
+//  It will choose the most optimal number of threads to use.
+//  Other options are 'forward' and 'reverse'.
+
+func Sum_Of_Squares(N : Int) -> Int is
+   //  The type of Sum is inferred
+   var Sum := 0
+   for I in 1 .. N forward loop
+      Sum += I ** 2 //  ** is exponentiation
+   end loop
+end func Sum_Of_Squares
+
+func Sum_Of(N : Int; Map : func (Int) -> Int) -> Int is
+   return (for I in 1 .. N => <0> + Map(I))
+end func Sum_Of
+//  It has functional aspects as well
+//  Here, we're taking an (Int) -> Int function as a parameter
+//  and using the inherently parallel map-reduce.
+//  Initial value is enclosed with angle brackets
+
+func main(Args : Basic_Array<String>) is
+   Greetings() //  Hello World
+   Println(Fib(5)) //  5
+   //  Container Comprehension
+   var Vec : Vector<Int> := [for I in 0 .. 10 {I mod 2 == 0} => I ** 2]
+   //  Vec = [0, 4, 16, 36, 64, 100]
+   Increment_All(Vec)
+   //  Vec = [1, 5, 17, 37, 65, 101]
+   //  '|' is an overloaded operator.
+   //  It's usually used for concatenation or adding to a container
+   Println("First: " | Vec[1] | ", Last: " | Vec[Length(Vec)]);
+   //  Vectors are 1 indexed, 0 indexed ZVectors are also available
+   
+   Println(Sum_Of_Squares(3))
+   
+   //  Sum of fibs!
+   Println(Sum_Of(10, Fib))
+end func main
+
+//  Preceding a type with 'optional' allows it to take the value 'null'
+func Divide(A, B, C : Real) -> optional Real is
+   //  Real is the floating point type
+   const Epsilon := 1.0e-6;
+   if B in -Epsilon .. Epsilon then
+      return null
+   elsif C in -Epsilon .. Epsilon then
+      return null
+   else
+      return A / B + A / C
+   end if
+end func Divide
+
+//  2. Modules
+//  Modules are composed of an interface and a class
+//  ParaSail has object orientation features
+
+//  modules can be defined as 'concurrent'
+//  which allows 'locked' and 'queued' parameters
+concurrent interface Locked_Box<Content_Type is Assignable<>> is
+   // Create a box with the given content
+   func Create(C : optional Content_Type) -> Locked_Box;
+
+   // Put something into the box
+   func Put(locked var B : Locked_Box; C : Content_Type);
+
+   // Get a copy of current content
+   func Content(locked B : Locked_Box) -> optional Content_Type;
+
+   // Remove current content, leaving it null
+   func Remove(locked var B : Locked_Box) -> optional Content_Type;
+
+   // Wait until content is non-null, then return it, leaving it null.
+   func Get(queued var B : Locked_Box) -> Content_Type;
+end interface Locked_Box;
+
+concurrent class Locked_Box is
+   var Content : optional Content_Type;
+exports
+   func Create(C : optional Content_Type) -> Locked_Box is
+      return (Content => C);
+   end func Create;
+
+   func Put(locked var B : Locked_Box; C : Content_Type) is
+      B.Content := C;
+   end func Put;
+
+   func Content(locked B : Locked_Box) -> optional Content_Type is
+      return B.Content;
+   end func Content;
+
+   func Remove(locked var B : Locked_Box) -> Result : optional Content_Type is
+      // '<==' is the move operator
+      // It moves the right operand into the left operand,
+      // leaving the right null.
+      Result <== B.Content;
+   end func Remove;
+
+   func Get(queued var B : Locked_Box) -> Result : Content_Type is
+      queued until B.Content not null then
+      Result <== B.Content;
+   end func Get;
+end class Locked_Box;
+
+func Use_Box(Seed : Univ_Integer) is
+   var U_Box : Locked_Box<Univ_Integer> := Create(null);
+   //  The type of 'Ran' can be left out because
+   //  it is inferred from the return type of Random::Start
+   var Ran := Random::Start(Seed);
+
+   Println("Starting 100 pico-threads trying to put something in the box");
+   Println(" or take something out.");
+   for I in 1..100 concurrent loop
+      if I < 30 then
+         Println("Getting out " | Get(U_Box));
+      else
+         Println("Putting in " | I);
+         U_Box.Put(I);
+
+         //  The first parameter can be moved to the front with a dot
+         //  X.Foo(Y) is equivalent to Foo(X, Y)
+      end if;
+   end loop;
+
+   Println("And the winner is: " | Remove(U_Box));
+   Println("And the box is now " | Content(U_Box));
+end func Use_Box;
diff --git a/tests/examplefiles/test.shen b/tests/examplefiles/test.shen
new file mode 100644
index 00000000..7a254334
--- /dev/null
+++ b/tests/examplefiles/test.shen
@@ -0,0 +1,137 @@
+(package pygments-test [some symbols]
+
+\* multiline
+   comment
+*\
+
+\\ With vars as functions
+
+(define super
+  [Value Succ End] Action Combine Zero ->
+  (if (End Value)
+      Zero
+      (Combine (Action Value)
+               (super [(Succ Value) Succ End]
+                      Action Combine Zero))))
+
+(define for
+  Stream Action -> (super Stream Action (function do) 0))
+
+(define filter
+  Stream Condition ->
+  (super Stream
+         (/. Val (if (Condition Val) [Val] []))
+         (function append)
+         []))
+
+(for [0 (+ 1) (= 10)] (function print))
+
+(filter [0 (+ 1) (= 100)]
+        (/. X (integer? (/ X 3))))
+
+
+\\ Typed functions
+
+(define typed-map
+  { (A --> B) --> (list A) --> (list B) }
+  F X -> (typed-map-h F X []))
+
+(define typed-map-h
+  { (A --> B) --> (list A) --> (list B) \\ comment
+       --> (list B) }
+  _ [] X -> (reverse X)
+  F [X | Y] Z -> (typed-map-h F Y [(F X) | Z]))
+
+(define append-string
+  { string --> string \* comment *\ --> string }
+  S1 S2 -> (cn S1 S2))
+
+(let X 1
+     Y 2
+  (+ (type X number) (type Y number)))
+
+\\ Yacc
+
+(defcc <st_input>
+  <lrb>  <st_input1> <rrb> <st_input2> 
+   := (package-macro (macroexpand <st_input1>) <st_input2>);
+  <lcurly> <st_input> := [{ | <st_input>];
+  <rcurly> <st_input> := [} | <st_input>];    
+  <bar> <st_input> := [bar! | <st_input>];  
+  <semicolon> <st_input> := [; | <st_input>];
+  <colon> <equal> <st_input> := [:= | <st_input>];
+  <colon> <minus> <st_input> := [:- | <st_input>];
+  <colon> <st_input> := [: | <st_input>];
+  <comma> <st_input> := [(intern ",") | <st_input>];
+  <e> := [];)
+  
+(defcc <lsb>
+   91 := skip;)
+
+\\ Pattern matching
+
+(define matches
+  1 X 3 -> X
+  X Y Z -> Y where  (and (= X 1) (= Z 3))
+  true false _ -> true
+  (@p a X c) (@s X "abc") (@v 1 2 3 <>) -> true
+  [X | Rest] [] [a b c] -> true
+  [(@p a b)] [[[1] 2] X] "string" -> true
+  _ _ _ -> false)
+
+
+\\ Prolog
+
+(defprolog th*
+  X A Hyps <-- (show [X : A] Hyps) (when false);
+  X A _ <-- (fwhen (typedf? X)) (bind F (sigf X)) (call [F A]);
+  (mode [F] -) A Hyp <-- (th* F [--> A] Hyp);
+  (mode [cons X Y] -) [list A] Hyp <-- (th* X A Hyp) (th* Y [list A] Hyp);
+  (mode [@s X Y] -) string Hyp <-- (th* X string Hyp) (th* Y string Hyp);
+  (mode [lambda X Y] -) [A --> B] Hyp <-- ! 
+                                           (bind X&& (placeholder)) 
+                                           (bind Z (ebr X&& X Y))
+                                           (th* Z B [[X&& : A] | Hyp]); 
+  (mode [type X A] -) B Hyp <-- ! (unify A B) (th* X A Hyp);)
+
+\\ Macros
+
+(defmacro log-macro
+  [log N] -> [log N 10])
+
+\\ Sequent calculus
+
+(datatype rank
+
+  if (element? X [ace 2 3 4 5 6 7 8 9 10 jack queen king])
+  ________
+  X : rank;)
+
+(datatype suit
+
+  if (element? Suit [spades hearts diamonds clubs])
+  _________
+  Suit : suit;)
+
+(datatype card
+
+  Rank : rank; Suit : suit;
+  _________________
+  [Rank Suit] : card;
+
+  Rank : rank, Suit : suit >> P;
+  _____________________
+  [Rank Suit] : card >> P;)
+
+(datatype card
+
+  Rank : rank; Suit : suit;
+  ==================
+  [Rank Suit] : card;)
+
+\\ String interpolation and escape sequences
+
+"abc~A ~S~R ~% blah
+ c#30;c#31;blah"
+
+)
diff --git a/tests/examplefiles/yahalom.cpsa b/tests/examplefiles/yahalom.cpsa
new file mode 100644
index 00000000..3bc918d4
--- /dev/null
+++ b/tests/examplefiles/yahalom.cpsa
@@ -0,0 +1,34 @@
+(herald "Yahalom Protocol with Forwarding Removed")
+
+(defprotocol yahalom basic
+  (defrole init
+    (vars (a b c name) (n-a n-b text) (k skey))
+    (trace (send (cat a n-a))
+	   (recv (enc b k n-a n-b (ltk a c)))
+	   (send (enc n-b k))))
+  (defrole resp
+    (vars (b a c name) (n-a n-b text) (k skey))
+    (trace (recv (cat a n-a))
+	   (send (cat b (enc a n-a n-b (ltk b c))))
+	   (recv (enc a k (ltk b c)))
+	   (recv (enc n-b k))))
+  (defrole serv
+    (vars (c a b name) (n-a n-b text) (k skey))
+    (trace (recv (cat b (enc a n-a n-b (ltk b c))))
+	   (send (enc b k n-a n-b (ltk a c)))
+	   (send (enc a k (ltk b c))))
+    (uniq-orig k)))
+
+(defskeleton yahalom
+  (vars (a b c name) (n-b text))
+  (defstrand resp 4 (a a) (b b) (c c) (n-b n-b))
+  (non-orig (ltk b c) (ltk a c))
+  (uniq-orig n-b))
+
+;;; Ensure encryption key remains secret.
+(defskeleton yahalom
+  (vars (a b c name) (n-b text) (k skey))
+  (defstrand resp 4 (a a) (b b) (c c) (n-b n-b) (k k))
+  (deflistener k)
+  (non-orig (ltk b c) (ltk a c))
+  (uniq-orig n-b))