pygments.rb 0.6.3 → 1.0.0

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

@@ -1,93 +0,0 @@
-module Main
-
-data Ty = TyInt | TyBool | TyFun Ty Ty
-
-interpTy : Ty -> Type
-interpTy TyInt       = Int
-interpTy TyBool      = Bool
-interpTy (TyFun s t) = interpTy s -> interpTy t
-
-using (G : Vect n Ty)
-
-  data Env : Vect n Ty -> Type where
-      Nil  : Env Nil
-      (::) : interpTy a -> Env G -> Env (a :: G)
-
-  data HasType : (i : Fin n) -> Vect n Ty -> Ty -> Type where
-      stop : HasType fZ (t :: G) t
-      pop  : HasType k G t -> HasType (fS k) (u :: G) t
-
-  lookup : HasType i G t -> Env G -> interpTy t
-  lookup stop    (x :: xs) = x
-  lookup (pop k) (x :: xs) = lookup k xs
-
-  data Expr : Vect n Ty -> Ty -> Type where
-      Var : HasType i G t -> Expr G t
-      Val : (x : Int) -> Expr G TyInt
-      Lam : Expr (a :: G) t -> Expr G (TyFun a t)
-      App : Expr G (TyFun a t) -> Expr G a -> Expr G t
-      Op  : (interpTy a -> interpTy b -> interpTy c) -> Expr G a -> Expr G b ->
-            Expr G c
-      If  : Expr G TyBool -> Expr G a -> Expr G a -> Expr G a
-      Bind : Expr G a -> (interpTy a -> Expr G b) -> Expr G b
-
-  dsl expr
-      lambda      = Lam
-      variable    = Var
-      index_first = stop
-      index_next  = pop
-
-  (<$>) : |(f : Expr G (TyFun a t)) -> Expr G a -> Expr G t
-  (<$>) = \f, a => App f a
-
-  pure : Expr G a -> Expr G a
-  pure = id
-
-  syntax IF [x] THEN [t] ELSE [e] = If x t e
-
-  (==) : Expr G TyInt -> Expr G TyInt -> Expr G TyBool
-  (==) = Op (==)
-
-  (<) : Expr G TyInt -> Expr G TyInt -> Expr G TyBool
-  (<) = Op (<)
-
-  instance Num (Expr G TyInt) where
-    (+) x y = Op (+) x y
-    (-) x y = Op (-) x y
-    (*) x y = Op (*) x y
-
-    abs x = IF (x < 0) THEN (-x) ELSE x
-
-    fromInteger = Val . fromInteger
-
-  interp : Env G -> {static} Expr G t -> interpTy t
-  interp env (Var i)     = lookup i env
-  interp env (Val x)     = x
-  interp env (Lam sc)    = \x => interp (x :: env) sc
-  interp env (App f s)   = (interp env f) (interp env s)
-  interp env (Op op x y) = op (interp env x) (interp env y)
-  interp env (If x t e)  = if (interp env x) then (interp env t) else (interp env e)
-  interp env (Bind v f)  = interp env (f (interp env v))
-
-  eId : Expr G (TyFun TyInt TyInt)
-  eId = expr (\x => x)
-
-  eTEST : Expr G (TyFun TyInt (TyFun TyInt TyInt))
-  eTEST = expr (\x, y => y)
-
-  eAdd : Expr G (TyFun TyInt (TyFun TyInt TyInt))
-  eAdd = expr (\x, y => Op (+) x y)
-
-  eDouble : Expr G (TyFun TyInt TyInt)
-  eDouble = expr (\x => App (App eAdd x) (Var stop))
-
-  eFac : Expr G (TyFun TyInt TyInt)
-  eFac = expr (\x => IF x == 0 THEN 1 ELSE [| eFac (x - 1) |] * x)
-
-testFac : Int
-testFac = interp [] eFac 4
-
-main : IO ()
-main = print testFac
-
-

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

@@ -1,10 +0,0 @@
-[section]
-
-foo = bar
-continued = foo
-  baz
-conttwo =
-  foo
-; comment
-# comment
-

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

@@ -1,653 +0,0 @@
-/*
- * Created on 13-Mar-2004
- * Created by James Yeh
- * Copyright (C) 2004, 2005, 2006 Aelitis, All Rights Reserved.
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or (at your option) any later version.
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
- * 
- * AELITIS, SAS au capital de 46,603.30 euros
- * 8 Allee Lenotre, La Grille Royale, 78600 Le Mesnil le Roi, France.
- *
- */
-
-package org.gudy.azureus2.platform.macosx;
-
-import org.gudy.azureus2.core3.logging.*;
-import org.gudy.azureus2.core3.util.AEMonitor;
-import org.gudy.azureus2.core3.util.Debug;
-import org.gudy.azureus2.core3.util.SystemProperties;
-import org.gudy.azureus2.platform.PlatformManager;
-import org.gudy.azureus2.platform.PlatformManagerCapabilities;
-import org.gudy.azureus2.platform.PlatformManagerListener;
-import org.gudy.azureus2.platform.macosx.access.jnilib.OSXAccess;
-
-import org.gudy.azureus2.plugins.platform.PlatformManagerException;
-
-import java.io.BufferedReader;
-import java.io.File;
-import java.io.IOException;
-import java.io.InputStreamReader;
-import java.text.MessageFormat;
-import java.util.HashSet;
-
-
-/**
- * Performs platform-specific operations with Mac OS X
- *
- * @author James Yeh
- * @version 1.0 Initial Version
- * @see PlatformManager
- */
-public class PlatformManagerImpl implements PlatformManager
-{
-    private static final LogIDs LOGID = LogIDs.CORE;
-
-    protected static PlatformManagerImpl singleton;
-    protected static AEMonitor class_mon = new AEMonitor("PlatformManager");
-
-    private static final String USERDATA_PATH = new File(System.getProperty("user.home") + "/Library/Application Support/").getPath();
-
-    //T: PlatformManagerCapabilities
-    private final HashSet capabilitySet = new HashSet();
-
-    /**
-     * Gets the platform manager singleton, which was already initialized
-     */
-    public static PlatformManagerImpl getSingleton()
-    {
-        return singleton;
-    }
-
-    /**
-     * Tries to enable cocoa-java access and instantiates the singleton
-     */
-    static
-    {
-        initializeSingleton();
-    }
-
-    /**
-     * Instantiates the singleton
-     */
-    private static void initializeSingleton()
-    {
-        try
-        {
-            class_mon.enter();
-            singleton = new PlatformManagerImpl();
-        }
-        catch (Throwable e)
-        {
-        	Logger.log(new LogEvent(LOGID, "Failed to initialize platform manager"
-					+ " for Mac OS X", e));
-        }
-        finally
-        {
-            class_mon.exit();
-        }
-    }
-
-    /**
-     * Creates a new PlatformManager and initializes its capabilities
-     */
-    public PlatformManagerImpl()
-    {
-        capabilitySet.add(PlatformManagerCapabilities.RecoverableFileDelete);
-        capabilitySet.add(PlatformManagerCapabilities.ShowFileInBrowser);
-        capabilitySet.add(PlatformManagerCapabilities.ShowPathInCommandLine);
-        capabilitySet.add(PlatformManagerCapabilities.CreateCommandLineProcess);
-        capabilitySet.add(PlatformManagerCapabilities.GetUserDataDirectory);
-        capabilitySet.add(PlatformManagerCapabilities.UseNativeScripting);
-        capabilitySet.add(PlatformManagerCapabilities.PlaySystemAlert);
-        
-        if (OSXAccess.isLoaded()) {
-	        capabilitySet.add(PlatformManagerCapabilities.GetVersion);
-        }
-    }
-
-    /**
-     * {@inheritDoc}
-     */
-    public int getPlatformType()
-    {
-        return PT_MACOSX;
-    }
-
-    /**
-     * {@inheritDoc}
-     */
-    public String getVersion() throws PlatformManagerException
-    {
-    	if (!OSXAccess.isLoaded()) {
-        throw new PlatformManagerException("Unsupported capability called on platform manager");
-    	}
-    	
-    	return OSXAccess.getVersion();
-    }
-
-    /**
-     * {@inheritDoc}
-     * @see org.gudy.azureus2.core3.util.SystemProperties#getUserPath()
-     */
-    public String getUserDataDirectory() throws PlatformManagerException
-    {
-        return USERDATA_PATH;
-    }
-
-	public File
-	getLocation(
-		long	location_id )
-	
-		throws PlatformManagerException
-	{
-		if ( location_id == LOC_USER_DATA ){
-			
-			return( new File( USERDATA_PATH ));
-		}
-		
-		return( null );
-	}
-    /**
-     * Not implemented; returns True
-     */
-    public boolean isApplicationRegistered() throws PlatformManagerException
-    {
-        return true;
-    }
-
-    
-	public String
-	getApplicationCommandLine()
-		throws PlatformManagerException
-	{
-		try{	    
-			String	bundle_path = System.getProperty("user.dir") +SystemProperties.SEP+ SystemProperties.getApplicationName() + ".app";
-
-			File osx_app_bundle = new File( bundle_path ).getAbsoluteFile();
-			
-			if( !osx_app_bundle.exists() ) {
-				String msg = "OSX app bundle not found: [" +osx_app_bundle.toString()+ "]";
-				System.out.println( msg );
-				if (Logger.isEnabled())
-					Logger.log(new LogEvent(LOGID, msg));		
-				throw new PlatformManagerException( msg );
-			}
-			
-			return "open -a \"" +osx_app_bundle.toString()+ "\"";
-			//return osx_app_bundle.toString() +"/Contents/MacOS/JavaApplicationStub";
-			
-		}
-		catch( Throwable t ){	
-			t.printStackTrace();
-			return null;
-		}
-	}
-	
-	
-	public boolean
-	isAdditionalFileTypeRegistered(
-		String		name,				// e.g. "BitTorrent"
-		String		type )				// e.g. ".torrent"
-	
-		throws PlatformManagerException
-	{
-	    throw new PlatformManagerException("Unsupported capability called on platform manager");
-	}
-	
-	public void
-	unregisterAdditionalFileType(
-		String		name,				// e.g. "BitTorrent"
-		String		type )				// e.g. ".torrent"
-		
-		throws PlatformManagerException
-	{
-		throw new PlatformManagerException("Unsupported capability called on platform manager");
-	}
-	
-	public void
-	registerAdditionalFileType(
-		String		name,				// e.g. "BitTorrent"
-		String		description,		// e.g. "BitTorrent File"
-		String		type,				// e.g. ".torrent"
-		String		content_type )		// e.g. "application/x-bittorrent"
-	
-		throws PlatformManagerException
-	{
-	   throw new PlatformManagerException("Unsupported capability called on platform manager");
-	}
-	
-    /**
-     * Not implemented; does nothing
-     */
-    public void registerApplication() throws PlatformManagerException
-    {
-        // handled by LaunchServices and/0r user interaction
-    }
-
-    /**
-     * {@inheritDoc}
-     */
-    public void createProcess(String cmd, boolean inheritsHandles) throws PlatformManagerException
-    {
-        try
-        {
-            performRuntimeExec(cmd.split(" "));
-        }
-        catch (Throwable e)
-        {
-            throw new PlatformManagerException("Failed to create process", e);
-        }
-    }
-
-    /**
-     * {@inheritDoc}
-     */
-    public void performRecoverableFileDelete(String path) throws PlatformManagerException
-    {
-        File file = new File(path);
-        if(!file.exists())
-        {
-	        	if (Logger.isEnabled())
-							Logger.log(new LogEvent(LOGID, LogEvent.LT_WARNING, "Cannot find "
-									+ file.getName()));
-            return;
-        }
-
-        boolean useOSA = !NativeInvocationBridge.sharedInstance().isEnabled() || !NativeInvocationBridge.sharedInstance().performRecoverableFileDelete(file);
-
-        if(useOSA)
-        {
-            try
-            {
-                StringBuffer sb = new StringBuffer();
-                sb.append("tell application \"");
-                sb.append("Finder");
-                sb.append("\" to move (posix file \"");
-                sb.append(path);
-                sb.append("\" as alias) to the trash");
-
-                performOSAScript(sb);
-            }
-            catch (Throwable e)
-            {
-                throw new PlatformManagerException("Failed to move file", e);
-            }
-        }
-    }
-
-    /**
-     * {@inheritDoc}
-     */
-    public boolean hasCapability(PlatformManagerCapabilities capability)
-    {
-        return capabilitySet.contains(capability);
-    }
-
-    /**
-     * {@inheritDoc}
-     */
-    public void dispose()
-    {
-        NativeInvocationBridge.sharedInstance().dispose();
-    }
-
-    /**
-     * {@inheritDoc}
-     */
-    public void setTCPTOSEnabled(boolean enabled) throws PlatformManagerException
-    {
-        throw new PlatformManagerException("Unsupported capability called on platform manager");
-    }
-
-	public void
-    copyFilePermissions(
-		String	from_file_name,
-		String	to_file_name )
-	
-		throws PlatformManagerException
-	{
-	    throw new PlatformManagerException("Unsupported capability called on platform manager");		
-	}
-	
-    /**
-     * {@inheritDoc}
-     */
-    public void showFile(String path) throws PlatformManagerException
-    {
-        File file = new File(path);
-        if(!file.exists())
-        {
-        	if (Logger.isEnabled())
-        		Logger.log(new LogEvent(LOGID, LogEvent.LT_WARNING, "Cannot find "
-        				+ file.getName()));
-            throw new PlatformManagerException("File not found");
-        }
-
-        showInFinder(file);
-    }
-
-    // Public utility methods not shared across the interface
-
-    /**
-     * Plays the system alert (the jingle is specified by the user in System Preferences)
-     */
-    public void playSystemAlert()
-    {
-        try
-        {
-            performRuntimeExec(new String[]{"beep"});
-        }
-        catch (IOException e)
-        {
-        	if (Logger.isEnabled())
-        		Logger.log(new LogEvent(LOGID, LogEvent.LT_WARNING,
-						"Cannot play system alert"));
-        	Logger.log(new LogEvent(LOGID, "", e));
-        }
-    }
-
-    /**
-     * <p>Shows the given file or directory in Finder</p>
-     * @param path Absolute path to the file or directory
-     */
-    public void showInFinder(File path)
-    {
-        boolean useOSA = !NativeInvocationBridge.sharedInstance().isEnabled() || !NativeInvocationBridge.sharedInstance().showInFinder(path);
-
-        if(useOSA)
-        {
-            StringBuffer sb = new StringBuffer();
-            sb.append("tell application \"");
-            sb.append(getFileBrowserName());
-            sb.append("\" to reveal (posix file \"");
-            sb.append(path);
-            sb.append("\" as alias)");
-
-            try
-            {
-                performOSAScript(sb);
-            }
-            catch (IOException e)
-            {
-                Logger.log(new LogAlert(LogAlert.UNREPEATABLE, LogAlert.AT_ERROR, e
-						.getMessage()));
-            }
-        }
-    }
-
-    /**
-     * <p>Shows the given file or directory in Terminal by executing cd /absolute/path/to</p>
-     * @param path Absolute path to the file or directory
-     */
-    public void showInTerminal(String path)
-    {
-        showInTerminal(new File(path));
-    }
-
-    /**
-     * <p>Shows the given file or directory in Terminal by executing cd /absolute/path/to</p>
-     * @param path Absolute path to the file or directory
-     */
-    public void showInTerminal(File path)
-    {
-        if (path.isFile())
-        {
-            path = path.getParentFile();
-        }
-
-        if (path != null && path.isDirectory())
-        {
-            StringBuffer sb = new StringBuffer();
-            sb.append("tell application \"");
-            sb.append("Terminal");
-            sb.append("\" to do script \"cd ");
-            sb.append(path.getAbsolutePath().replaceAll(" ", "\\ "));
-            sb.append("\"");
-
-            try
-            {
-                performOSAScript(sb);
-            }
-            catch (IOException e)
-            {
-                Logger.log(new LogAlert(LogAlert.UNREPEATABLE, LogAlert.AT_ERROR, e
-						.getMessage()));
-            }
-        }
-        else
-        {
-        	if (Logger.isEnabled())
-        		Logger.log(new LogEvent(LOGID, LogEvent.LT_WARNING, "Cannot find "
-        				+ path.getName()));
-        }
-    }
-
-    // Internal utility methods
-
-    /**
-     * Compiles a new AppleScript instance and runs it
-     * @param cmd AppleScript command to execute; do not surround command with extra quotation marks
-     * @return Output of the script
-     * @throws IOException If the script failed to execute
-     */
-    protected static String performOSAScript(CharSequence cmd) throws IOException
-    {
-        return performOSAScript(new CharSequence[]{cmd});
-    }
-
-    /**
-     * Compiles a new AppleScript instance and runs it
-     * @param cmds AppleScript Sequence of commands to execute; do not surround command with extra quotation marks
-     * @return Output of the script
-     * @throws IOException If the script failed to execute
-     */
-    protected static String performOSAScript(CharSequence[] cmds) throws IOException
-    {
-        long start = System.currentTimeMillis();
-        Debug.outNoStack("Executing OSAScript: ");
-        for (int i = 0; i < cmds.length; i++)
-        {
-            Debug.outNoStack("\t" + cmds[i]);
-        }
-
-        String[] cmdargs = new String[2 * cmds.length + 1];
-        cmdargs[0] = "osascript";
-        for (int i = 0; i < cmds.length; i++)
-        {
-            cmdargs[i * 2 + 1] = "-e";
-            cmdargs[i * 2 + 2] = String.valueOf(cmds[i]);
-        }
-
-        Process osaProcess = performRuntimeExec(cmdargs);
-        BufferedReader reader = new BufferedReader(new InputStreamReader(osaProcess.getInputStream()));
-        String line = reader.readLine();
-        reader.close();
-        Debug.outNoStack("OSAScript Output: " + line);
-
-        reader = new BufferedReader(new InputStreamReader(osaProcess.getErrorStream()));
-        String errorMsg = reader.readLine();
-        reader.close();
-
-        Debug.outNoStack("OSAScript Error (if any): " + errorMsg);
-
-        Debug.outNoStack(MessageFormat.format("OSAScript execution ended ({0}ms)", new Object[]{String.valueOf(System.currentTimeMillis() - start)}));
-
-        if (errorMsg != null)
-        {
-            throw new IOException(errorMsg);
-        }
-
-        return line;
-    }
-
-    /**
-     * Compiles a new AppleScript instance and runs it
-     * @param script AppleScript file (.scpt) to execute
-     * @return Output of the script
-     * @throws IOException If the script failed to execute
-     */
-    protected static String performOSAScript(File script) throws IOException
-    {
-        long start = System.currentTimeMillis();
-        Debug.outNoStack("Executing OSAScript from file: " + script.getPath());
-
-        Process osaProcess = performRuntimeExec(new String[]{"osascript", script.getPath()});
-        BufferedReader reader = new BufferedReader(new InputStreamReader(osaProcess.getInputStream()));
-        String line = reader.readLine();
-        reader.close();
-        Debug.outNoStack("OSAScript Output: " + line);
-
-        reader = new BufferedReader(new InputStreamReader(osaProcess.getErrorStream()));
-        String errorMsg = reader.readLine();
-        reader.close();
-
-        Debug.outNoStack("OSAScript Error (if any): " + errorMsg);
-
-        Debug.outNoStack(MessageFormat.format("OSAScript execution ended ({0}ms)", new Object[]{String.valueOf(System.currentTimeMillis() - start)}));
-
-        if (errorMsg != null)
-        {
-            throw new IOException(errorMsg);
-        }
-
-        return line;
-    }
-
-    /**
-     * Compiles a new AppleScript instance to the specified location
-     * @param cmd         Command to compile; do not surround command with extra quotation marks
-     * @param destination Destination location of the AppleScript file
-     * @return True if compiled successfully
-     */
-    protected static boolean compileOSAScript(CharSequence cmd, File destination)
-    {
-        return compileOSAScript(new CharSequence[]{cmd}, destination);
-    }
-
-    /**
-     * Compiles a new AppleScript instance to the specified location
-     * @param cmds Sequence of commands to compile; do not surround command with extra quotation marks
-     * @param destination Destination location of the AppleScript file
-     * @return True if compiled successfully
-     */
-    protected static boolean compileOSAScript(CharSequence[] cmds, File destination)
-    {
-        long start = System.currentTimeMillis();
-        Debug.outNoStack("Compiling OSAScript: " + destination.getPath());
-        for (int i = 0; i < cmds.length; i++)
-        {
-            Debug.outNoStack("\t" + cmds[i]);
-        }
-
-        String[] cmdargs = new String[2 * cmds.length + 3];
-        cmdargs[0] = "osacompile";
-        for (int i = 0; i < cmds.length; i++)
-        {
-            cmdargs[i * 2 + 1] = "-e";
-            cmdargs[i * 2 + 2] = String.valueOf(cmds[i]);
-        }
-
-        cmdargs[cmdargs.length - 2] = "-o";
-        cmdargs[cmdargs.length - 1] = destination.getPath();
-
-        String errorMsg;
-        try
-        {
-            Process osaProcess = performRuntimeExec(cmdargs);
-
-            BufferedReader reader = new BufferedReader(new InputStreamReader(osaProcess.getErrorStream()));
-            errorMsg = reader.readLine();
-            reader.close();
-        }
-        catch (IOException e)
-        {
-            Debug.outNoStack("OSACompile Execution Failed: " + e.getMessage());
-            Debug.printStackTrace(e);
-            return false;
-        }
-
-        Debug.outNoStack("OSACompile Error (if any): " + errorMsg);
-
-        Debug.outNoStack(MessageFormat.format("OSACompile execution ended ({0}ms)", new Object[]{String.valueOf(System.currentTimeMillis() - start)}));
-
-        return (errorMsg == null);
-    }
-
-    /**
-     * @see Runtime#exec(String[])
-     */
-    protected static Process performRuntimeExec(String[] cmdargs) throws IOException
-    {
-        try
-        {
-            return Runtime.getRuntime().exec(cmdargs);
-        }
-        catch (IOException e)
-        {
-            Logger.log(new LogAlert(LogAlert.UNREPEATABLE, e.getMessage(), e));
-            throw e;
-        }
-    }
-
-    /**
-     * <p>Gets the preferred file browser name</p>
-     * <p>Currently supported browsers are Path Finder and Finder. If Path Finder is currently running
-     * (not just installed), then "Path Finder is returned; else, "Finder" is returned.</p>
-     * @return "Path Finder" if it is currently running; else "Finder"
-     */
-    private static String getFileBrowserName()
-    {
-        try
-        {
-            // slowwwwwwww
-            if ("true".equalsIgnoreCase(performOSAScript("tell application \"System Events\" to exists process \"Path Finder\"")))
-            {
-                Debug.outNoStack("Path Finder is running");
-
-                return "Path Finder";
-            }
-            else
-            {
-                return "Finder";
-            }
-        }
-        catch (IOException e)
-        {
-            Debug.printStackTrace(e);
-            Logger.log(new LogEvent(LOGID, e.getMessage(), e));
-
-            return "Finder";
-        }
-    }
-    
-	public boolean
-	testNativeAvailability(
-		String	name )
-	
-		throws PlatformManagerException
-	{
-	    throw new PlatformManagerException("Unsupported capability called on platform manager");		
-	}
-    
-    public void
-    addListener(
-    	PlatformManagerListener		listener )
-    {
-    }
-    
-    public void
-    removeListener(
-    	PlatformManagerListener		listener )
-    {
-    }
-}