fuphyl-commits Mailing List for Functional/Procedural Hybrid Language

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 454-5900

Revision: 96
          http://svn.sourceforge.net/fuphyl/?rev=96&view=rev
Author:   me22
Date:     2006-10-07 21:06:22 -0700 (Sat, 07 Oct 2006)

Log Message:
-----------
Flex/Bison input files

Added Paths:
-----------
    trunk/interpreter/fuphyl.l
    trunk/interpreter/fuphyl.y

Removed Paths:
-------------
    trunk/interpreter/symbols.txt
    trunk/interpreter/symbols_gen.cpp

Added: trunk/interpreter/fuphyl.l
===================================================================

--- trunk/interpreter/fuphyl.l	                        (rev 0)
+++ trunk/interpreter/fuphyl.l	2006-10-08 04:06:22 UTC (rev 96)
@@ -0,0 +1,261 @@
+%{
+
+/* Get Token IDs from Bison Output */
+#include "fuphyl.tab.h"
+
+
+#include "stream_yy_input.h"
+
+/*
+#define YY_DECL int yylex(void *stream)
+
+#define YY_INPUT(buf,result,max_size) \
+    \
+    result = YY_NULL; \
+    stream_yy_input(stream, buf, &result, max_size); \
+   
+}
+*/
+
+YYLTYPE yylloc = {1,0,1,0};
+YYSTYPE yylval;
+
+int nestlevel = 0;
+
+#define UPDATE_LVAL \
+	++yylloc.first_column; \
+	yylloc.last_column = yylloc.first_column + yyleng
+
+#define YY_USER_ACTION \
+	UPDATE_LVAL;
+
+#define LOC_NEXT_LINE \
+	++yylloc.first_line; \
+	++yylloc.last_line; \
+	yylloc.first_column = 0; \
+	yylloc.last_column = 0
+
+// %option never-interactive
+// %option prefix="fuphyl"
+%}
+
+%option stack
+
+%option noyywrap
+
+%option case-sensitive
+
+%x nestedcomment
+%x string
+%x string_done
+%x atom
+%x atom_done
+%x sep_eater
+
+%%
+
+":" {
+	return SYN_TYPE;
+}
+"?" {
+	yy_push_state(sep_eater);
+	return SYN_COND;
+}
+";" {
+	yy_push_state(sep_eater);
+	return SYN_END;
+}
+"->" {
+	return SYN_RESULT;
+}
+"=" {
+	yy_push_state(sep_eater);
+	return SYN_ASSIGN;
+}
+<INITIAL>"," {
+ECHO;
+	yy_push_state(sep_eater);
+	return SYN_SEP;
+}
+<sep_eater>"," {
+	/* do nothing */
+}
+
+"(" {
+	yy_push_state(sep_eater);
+	return TUPLE_BEGIN;
+}
+")" {
+	return TUPLE_END;
+}
+"{" {
+	yy_push_state(sep_eater);
+	return ARRAY_BEGIN;
+}
+"}" {
+	return ARRAY_END;
+}
+"[" {
+	yy_push_state(sep_eater);
+	return LIST_BEGIN;
+}
+"]" {
+	return LIST_END;
+}
+
+"+" {
+	return OP_ADD;
+}
+"-" {
+	return OP_SUBTRACT;
+}
+"*" {
+	return OP_MULTIPLY;
+}
+"/" {
+	return OP_DIVIDE;
+}
+"**" {
+	return OP_POWER;
+}
+
+"&&" {
+	return LOG_AND;
+}
+"&&&" {
+	return LOG_ANDALSO;
+}
+"||" {
+	return LOG_OR;
+}
+"|||" {
+	return LOG_ORELSE;
+}
+"^^" {
+	return LOG_XOR;
+}
+"!" {
+	return LOG_NOT;
+}
+
+"<" {
+	return REL_LT;
+}
+"<=" {
+	return REL_LTE;
+}
+">" {
+	return REL_GT;
+}
+">=" {
+	return REL_GTE;
+}
+"==" {
+	return REL_EQ;
+}
+"!=" {
+	return REL_NEQ;
+}
+
+if {
+	yy_push_state(sep_eater);
+	return KEY_IF;
+}
+else {
+	yy_push_state(sep_eater);
+	return KEY_ELSE;
+}
+
+[[:digit:]][[:alnum:]_.]* {
+	return LIT_NUMBER;
+}
+
+"\"" {
+    BEGIN(string);
+}
+<string,string_done>"\"" {
+	BEGIN(INITIAL);
+}
+<string>([^\\"[:cntrl:]]|("\\".))* {
+	BEGIN(string_done);
+	return LIT_STRING;
+}
+<string>. {
+	BEGIN(string_done);
+	return ERROR_STRING;
+}
+<string,string_done>"\n" {
+	LOC_NEXT_LINE;
+	return ERROR_STRING;
+}
+<string_done>. {
+	return ERROR_STRING;
+}
+
+"'" {
+	BEGIN(atom);
+}
+<atom>"'" {
+	BEGIN(INITIAL);
+	return ERROR_ATOM;
+}
+<atom_done>"'" {
+	BEGIN(INITIAL);
+}
+<atom,atom_done>"\n" {
+	LOC_NEXT_LINE;
+	return ERROR_ATOM;
+}
+<atom>[[:print:]]+ {
+	BEGIN(atom_done);
+	return LIT_ATOM;
+}
+<atom,atom_done>. {
+	return ERROR_ATOM;
+}
+
+
+[[:alpha:]_][[:alnum:]_]* {
+ECHO;
+	return LIT_IDENTIFIER;
+}
+
+<*>"\n" {
+	LOC_NEXT_LINE;
+	ECHO;
+}
+
+<*>[[:space:]] {
+	/* do nothing */
+}
+
+<INITIAL,sep_eater>"//".*\n {
+	/* do nothing */
+}
+<INITIAL,nestedcomment,sep_eater>"/*" {
+ 	++nestlevel;
+ 	if ( nestlevel == 1 ) {
+ 		yy_push_state(nestedcomment);
+ 	}
+}
+<nestedcomment>[^*/\n]+ {}
+<nestedcomment>"*"+ {}
+<nestedcomment>"*/" {
+ 	--nestlevel;
+ 	if ( !nestlevel ) {
+		yy_pop_state();
+ 	}
+}
+
+<sep_eater>. {
+	yyless( 0 );
+	yy_pop_state();
+}
+
+<INITIAL>. {
+	printf("unmatched"); ECHO;
+}
+
+
+%%
+

Added: trunk/interpreter/fuphyl.y
===================================================================
--- trunk/interpreter/fuphyl.y	                        (rev 0)
+++ trunk/interpreter/fuphyl.y	2006-10-08 04:06:22 UTC (rev 96)
@@ -0,0 +1,154 @@
+// %lex-param   {void *stream}
+// %parse-param {void *stream}
+
+%{
+
+#define TESTING
+
+%}
+
+%defines
+%locations
+
+%token SYN_TYPE
+%token SYN_COND
+%token SYN_END
+%token SYN_RESULT
+%token SYN_ASSIGN
+%token SYN_SEP
+
+%token TUPLE_BEGIN
+%token TUPLE_END
+%token ARRAY_BEGIN
+%token ARRAY_END
+%token LIST_BEGIN
+%token LIST_END
+
+%token KEY_IF
+%token KEY_ELSE
+
+%token LIT_NUMBER
+%token LIT_STRING
+%token LIT_ATOM
+%token LIT_IDENTIFIER
+
+%left LOG_OR LOG_ORELSE LOG_XOR
+%left LOG_AND LOG_ANDALSO
+%nonassoc REL_LT REL_LTE REL_GT REL_GTE REL_EQ REL_NEQ
+%left OP_ADD OP_SUBTRACT
+%left OP_MULTIPLY OP_DIVIDE
+%right OP_POWER
+
+/* unary ops */
+%left OP_POSITIVE OP_NEGATIVE LOG_NOT
+
+%left OP_LITERAL
+
+%token ERROR_STRING
+%token ERROR_ATOM
+
+%token DUMMY
+
+%start expr_seq
+
+%%
+
+else_cond : KEY_ELSE SYN_COND
+          | KEY_ELSE
+          ;
+
+conditional : KEY_IF expr_seq SYN_COND
+                  statement
+              else_cond
+                  statement
+            ;
+
+argument_tuple : '1' ;
+type_expr : '2' ;
+
+statement : SYN_END
+          | simple_expr_seq SYN_END
+          | conditional
+          | simple_expr_seq SYN_SEP conditional
+          ;
+
+type_specifier : /* empty */
+               | SYN_TYPE type_expr
+               ;
+
+visibility_modifier : /* empty */ 
+                    ;
+
+function : visibility_modifier LIT_IDENTIFIER argument_tuple 
+               type_specifier SYN_ASSIGN
+		       statement
+		 ;
+variable : visibility_modifier LIT_IDENTIFIER
+               type_specifier SYN_ASSIGN
+		       statement
+		 ;
+
+definition : function
+           | variable
+           ;
+
+lit_tuple : TUPLE_BEGIN TUPLE_END
+          | TUPLE_BEGIN SYN_SEP TUPLE_END
+          | TUPLE_BEGIN simple_expr_seq TUPLE_END
+          | TUPLE_BEGIN simple_expr_seq SYN_SEP TUPLE_END
+          ;
+lit_array : ARRAY_BEGIN ARRAY_END
+          | ARRAY_BEGIN SYN_SEP ARRAY_END
+          | ARRAY_BEGIN simple_expr_seq ARRAY_END
+          | ARRAY_BEGIN simple_expr_seq SYN_SEP ARRAY_END
+          ;
+lit_list  : LIST_BEGIN LIST_END
+          | LIST_BEGIN SYN_SEP LIST_END
+          | LIST_BEGIN simple_expr_seq LIST_END
+          | LIST_BEGIN simple_expr_seq SYN_SEP LIST_END
+          ;
+
+expr : LIT_NUMBER
+	 | LIT_STRING
+	 | LIT_ATOM
+
+     | expr LOG_AND expr
+     | expr LOG_ANDALSO expr
+     | expr LOG_OR expr
+     | expr LOG_ORELSE expr
+     | expr LOG_XOR expr
+     | LOG_NOT expr
+
+     | expr REL_LT expr
+     | expr REL_LTE expr
+     | expr REL_GT expr
+     | expr REL_GTE expr
+     | expr REL_EQ expr
+     | expr REL_NEQ expr
+
+     | expr OP_ADD expr
+     | expr OP_SUBTRACT expr
+     | expr OP_MULTIPLY expr
+     | expr OP_DIVIDE expr
+     | expr OP_POWER expr
+
+     | lit_tuple %prec OP_LITERAL
+     | lit_array %prec OP_LITERAL
+     | lit_list  %prec OP_LITERAL
+
+     | OP_SUBTRACT expr %prec OP_NEGATIVE
+     | OP_ADD expr %prec OP_POSITIVE
+	 ;
+
+simple_expr_seq : expr
+	            | simple_expr_seq SYN_SEP expr
+                ;
+
+fancy_expr : expr SYN_SEP
+           | definition
+		   ;
+
+expr_seq : /* empty */
+         | SYN_SEP
+         | expr_seq fancy_expr
+         ;

Deleted: trunk/interpreter/symbols.txt
===================================================================
--- trunk/interpreter/symbols.txt	2006-10-08 03:50:28 UTC (rev 95)
+++ trunk/interpreter/symbols.txt	2006-10-08 04:06:22 UTC (rev 96)
@@ -1,83 +0,0 @@
-
-/*
- * symbols.txt
- *
- * Copyright (c) 2006 Scott McMurray
- *
- * Licensed under the Open Software License version 3.0
- * ( See http://opensource.org/licenses/osl-3.0.php )
- *
- */
-
-// UNUSED_1    $
-// UNUSED_2    #
-// UNUSED_3    {
-// UNUSED_4    }
-
-// SPECIAL_FUNCCALL SPECIAL_FUNCCALL
-// SPECIAL_ADJACENT SPECIAL_ADJACENT
-
-OP_COMMAND  `
-OP_TYPE     :
-OP_COND     ?
-OP_END      ;
-OP_RESULT   ->
-OP_OOCALL   .
-OP_SCOPE    ::
-OP_ANY      _
-OP_ASSIGN   =
-OP_ATOM     '
-OP_STRING   "
-OP_DELAY    \
-OP_UNIT     ()
-OP_NIL      nil
-OP_SEP      ,
-
-LIST_BEGIN  [
-LIST_END    ]
-LIST_JOIN   ++
-//LIST_SPLIT  *
-LIST_PREP   >>
-LIST_AP     <<
-
-TUPLE_BEGIN (
-TUPLE_END   )
-TUPLE_REP   $
-TUPLE_GET   @
-TUPLE_SET   @=
-
-ARRAY_BEGIN {
-ARRAY_END   }
-
-BITWISE_AND &
-BITWISE_OR  |
-BITWISE_XOR ^
-BITWISE_NOT ~
-BITWISE_LSHIFT  <<
-BITWISE_RSHIFT  >>
-// BITWISE_RSHIFTL >+>
-// BITWISE_RSHIFTA >->
-// BITWISE_LROTATE <|<
-// BITWISE_RROTATE >|>
-
-LOGICAL_AND &&
-LOGICAL_OR  ||
-LOGICAL_XOR ^^
-LOGICAL_NOT !
-
-COMMENT_LINE    //
-COMMENT_BEGIN   /*
-COMMENT_END     */
-
-MATH_ADD    +
-MATH_SUB    -
-MATH_MULT   *
-MATH_DIV    /
-MATH_MOD    %
-MATH_EXP    **
-
-RELATIONAL_EQ   ==
-RELATIONAL_GT   >
-RELATIONAL_GTE  >=
-RELATIONAL_LT   <
-RELATIONAL_LTE  <=

Deleted: trunk/interpreter/symbols_gen.cpp
===================================================================
--- trunk/interpreter/symbols_gen.cpp	2006-10-08 03:50:28 UTC (rev 95)
+++ trunk/interpreter/symbols_gen.cpp	2006-10-08 04:06:22 UTC (rev 96)
@@ -1,188 +0,0 @@
-/*
- * symbols_gen.cpp
- *
- * Copyright (c) 2006 Scott McMurray
- *
- * Licensed under the Open Software License version 3.0
- * ( See http://opensource.org/licenses/osl-3.0.php )
- *
- */
-
-#include <iostream>
-#include <string>
-#include <fstream>
-#include <vector>
-#include <cctype>
-#include <limits>
-#include <cerrno>
-#include <cstdio>
-#include <algorithm>
-
-#define AUTOGEN_INFO "autogen.txt"
-#define LICENSE_HEADER "header.txt"
-
-#define SYMBOLS_FILE "symbols.txt"
-#define SYMBOLS_HEADER "symbols.hpp"
-#define SYMBOLS_HEADER_TEMP "symbols.hpp.tmp"
-#define SYMBOLS_SOURCE "symbols.cpp"
-#define SYMBOLS_SOURCE_TEMP "symbols.cpp.tmp"
-
-using namespace std;
-
-template <typename T, typename U>
-bool sort_second( pair<T,U> const &lhs, pair<T,U> const &rhs ) {
-    return std::less<U>()(lhs.second, rhs.second);
-}
-
-void escape(std::string &v) {
-    for ( unsigned i = 0; i < v.size(); ++i ) {
-        if ( v[i] == '\\' || v[i] == '"' ) {
-            v.insert( v.begin()+i, '\\' );
-            ++i;
-        }
-    }
-}
-void escape_second( pair<string, string> &p ) {
-    escape( p.second );
-}
-
-int main() {
-
-    vector< pair<string, string> > symbol_data;
-
-    {
-        ifstream symbols_in( SYMBOLS_FILE );
-        if ( !symbols_in.is_open() ) {
-            cerr << "Could Not Open " SYMBOLS_FILE "\n";
-            return 1;
-        }
-
-
-        for ( string s, v; ; ) {
-            symbols_in >> s;
-            if ( !symbols_in ) break;
-            if ( s.empty() || !isalpha(s[0]) ) {
-                symbols_in.ignore( numeric_limits<streamsize>::max(), '\n' );
-                continue;
-            }
-            symbols_in >> ws;
-            getline( symbols_in, v, '\n' );
-            while ( !v.empty() && iscntrl( v[v.size()-1] ) ) {
-                v.erase( v.size()-1 );
-            }
-            if ( !symbols_in ) break;
-            if ( s.empty() ) continue;
-//            symbols_in.ignore( numeric_limits<streamsize>::max(), '\n' );
-            symbol_data.push_back( make_pair(s,v) );
-            clog << "Added symbol \"" << s << "\" with value \"" << v << "\"\n";
-        }
-
-        sort( symbol_data.begin(), symbol_data.end(),
-              &sort_second<string,string> );
-        for_each( symbol_data.begin(), symbol_data.end(), &escape_second );
-    }
-    clog << "Read All Symbols\n";
-
-    {
-        ofstream symbols_out( SYMBOLS_HEADER_TEMP, ios::trunc );
-        if ( !symbols_out.is_open() ) {
-            cerr << "Couldn't Open " SYMBOLS_HEADER_TEMP "\n";
-            return 1;
-        }
-        symbols_out << "#ifndef SYMBOLS_HPP\n"
-                    << "#define SYMBOLS_HPP\n";
-        symbols_out << "\n";
-        {
-            ifstream ag( AUTOGEN_INFO );
-            symbols_out << ag.rdbuf();
-        }
-        symbols_out << "\n";
-        {
-            ifstream hp( LICENSE_HEADER );
-            for ( string n; getline( hp, n ); ) {
-                if ( n.find("file/name.ext") != n.npos ) {
-                    symbols_out << " * " SYMBOLS_HEADER "\n";
-                } else {
-                    symbols_out << n << "\n";
-                }
-            }
-        }
-        symbols_out << "\n";
-        symbols_out << "#include <string>\n";
-        symbols_out << "#include <vector>\n";
-        symbols_out << "\n";
-        symbols_out << "typedef std::vector<std::string>::const_iterator symbol_cit;\n";
-        symbols_out << "symbol_cit symbol_values_begin();\n";
-        symbols_out << "symbol_cit symbol_values_end();\n";
-        symbols_out << "\n";
-        for ( unsigned i = 0; i < symbol_data.size(); ++i ) {
-            symbols_out << "#define " << symbol_data[i].first
-                        << " (symbol_values_begin()[" << i << "])\n";
-        }
-        symbols_out << "\n";
-        symbols_out << "#endif\n";
-        symbols_out << "\n";
-
-    }
-    clog << "Wrote Temp Header\n";
-
-    {
-        ofstream symbols_out( SYMBOLS_SOURCE_TEMP, ios::trunc );
-        if ( !symbols_out.is_open() ) {
-            cerr << "Couldn't Open " SYMBOLS_SOURCE_TEMP "\n";
-            return 1;
-        }
-        {
-            ifstream ag( AUTOGEN_INFO );
-            symbols_out << ag.rdbuf();
-        }
-        symbols_out << "\n";
-        {
-            ifstream hp( LICENSE_HEADER );
-            for ( string n; getline( hp, n ); ) {
-                if ( n.find("file/name.ext") != n.npos ) {
-                    symbols_out << " * " SYMBOLS_SOURCE "\n";
-                } else {
-                    symbols_out << n << "\n";
-                }
-            }
-        }
-        symbols_out << "\n";
-        symbols_out << "#include \"symbols.hpp\"\n";
-        symbols_out << "\n";
-        symbols_out << "#ifndef UNNAMED\n";
-        symbols_out << "#define UNNAMED\n";
-        symbols_out << "#endif\n";
-        symbols_out << "namespace UNNAMED {\n";
-        symbols_out << "bool build_symbol_value_vector_("
-                       "std::vector<std::string> &v"
-                       ") {\n";
-        symbols_out << "    if ( !v.empty() ) return false;\n";
-        for ( unsigned i = 0; i < symbol_data.size(); ++i ) {
-            symbols_out << "    v.push_back(\""
-                        << symbol_data[i].second
-                        << "\"); // " << symbol_data[i].first << "\n";
-        }
-        symbols_out << "    return true;\n";
-        symbols_out << "}\n";
-        symbols_out << "\n";
-        symbols_out << "std::vector<std::string> symbol_value_vector_;\n";
-        symbols_out << "bool const symbol_value_vector_built = \n"
-                       " build_symbol_value_vector_(symbol_value_vector_);\n";
-        symbols_out << "} // namespace UNNAMED\n";
-        symbols_out << "\n";
-        symbols_out << "symbol_cit symbol_values_begin() {\n";
-        symbols_out << "    return symbol_value_vector_.begin();\n";
-        symbols_out << "}\n";
-        symbols_out << "symbol_cit symbol_values_end() {\n";
-        symbols_out << "    return symbol_value_vector_.end();\n";
-        symbols_out << "}\n";
-        symbols_out << "\n";
-
-    }
-    clog << "Wrote Temp Source\n";
-
-    rename( SYMBOLS_HEADER_TEMP, SYMBOLS_HEADER );
-    rename( SYMBOLS_SOURCE_TEMP, SYMBOLS_SOURCE );
-    clog << "Moved to Correct Locations\n";
-}


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.




fuphyl-commits Mailing List for Functional/Procedural Hybrid Language

fuphyl-commits — Email notifications of subversion commits, with diffs.