Click here to Skip to main content
15,886,693 members
Articles / Programming Languages / C#

Cat - A Statically Typed Programming Language Interpreter in C#

Rate me:
Please Sign up or sign in to vote.
5.00/5 (14 votes)
4 Nov 2006MIT14 min read 70.7K   531   45  
This article contains the public domain implementation of an interpreter for a statically typed stack-based programming language in C# called Cat. The accompanying article is a high-level description of how the various modules work, a brief description of the language, and links to related work.
/// Public domain code by Christopher Diggins
/// http://www.cat-language.com

using System;
using System.Collections.Generic;
using System.Text;

namespace Cat
{
    /// <summary>
    /// The config class contain global switches for controlling the behaviour 
    /// of the interpreter and compiler. 
    /// </summary>
    static class Config
    {
        /// <summary>
        /// Controls whether inferred types will be output to the console.
        /// </summary>
        public static bool gbLogTypeInference = true;
        
        /// <summary>
        /// Controls whether interpreter will run unit tests on start-up
        /// </summary>
        public static bool gbUnitTesting = true;
        
        /// <summary>
        /// Turns on tests which may throw exceptions. This is useful
        /// to trun off when in debug mode, and exception handling is 
        /// done from within the IDE.
        /// </summary>
        public static bool gbUnitTestingWithExceptions = false;
        
        /// <summary>
        /// Forces the interpreter to run the failing test set. 
        /// </summary>
        public static bool gbTestKnownIssues = false;
        
        /// <summary>
        /// Controls how names are assigned to type variable declarations and type variables
        /// </summary>
        public static bool gbSimpleTypeNames = true;
        
        /// <summary>
        /// Controls whether or not to display the welcome text.
        /// </summary>
        public static bool gbShowLogo = true;
        
        /// <summary>
        /// Controls whether type checking and type inference is used. 
        /// If you turn this off, then no type checking is done.
        /// </summary>
        public static bool gbStaticTyping = false;

        /// <summary>
        /// Determines whether the contents of the stacks is reported 
        /// after each line entry into the interpreter.
        /// </summary>
        public static bool gbOutputStack = true;
    }
}

By viewing downloads associated with this article you agree to the Terms of Service and the article's licence.

If a file you wish to view isn't highlighted, and is a text file (not binary), please let us know and we'll add colourisation support for it.

License

This article, along with any associated source code and files, is licensed under The MIT License


Written By
Software Developer Ara 3D
Canada Canada
I am the designer of the Plato programming language and I am the founder of Ara 3D. I can be reached via email at cdiggins@gmail.com

Comments and Discussions