mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
the Python binding is in pure C again
This commit is contained in:
kr.angelov
@@ -1,3 +0,0 @@
|
||||
import pgf.expr
|
||||
from pgf.binding import *
|
||||
from pgf.expr import (readExpr_py)
|
||||
@@ -1,169 +0,0 @@
|
||||
import pgf.binding
|
||||
import StringIO
|
||||
|
||||
class App:
|
||||
"""An application of a function to an argument"""
|
||||
|
||||
def __init__(self, fun, arg):
|
||||
self.fun = fun
|
||||
self.arg = arg
|
||||
|
||||
def showExpr(self, prec):
|
||||
s = self.fun.showExpr(3) + " " + self.arg.showExpr(4)
|
||||
if prec > 3:
|
||||
s = "(" + s + ")"
|
||||
return s
|
||||
|
||||
def __str__(self):
|
||||
return self.showExpr(0)
|
||||
|
||||
class Lit:
|
||||
"""A literal value"""
|
||||
|
||||
def __init__(self, value):
|
||||
self.value = value
|
||||
|
||||
def showExpr(self, prec):
|
||||
if isinstance(self.value, str):
|
||||
return '"' + self.value + '"'
|
||||
else:
|
||||
return str(self.value)
|
||||
|
||||
def __str__(self):
|
||||
return self.showExpr(0)
|
||||
|
||||
class Meta:
|
||||
"""A meta variable"""
|
||||
|
||||
def __init__(self, metaid):
|
||||
self.metaid = metaid
|
||||
|
||||
def showExpr(self, prec):
|
||||
return "?"
|
||||
|
||||
def __str__(self):
|
||||
return self.showExpr(0)
|
||||
|
||||
class Fun:
|
||||
"""A function name"""
|
||||
|
||||
def __init__(self, name):
|
||||
self.name = name
|
||||
|
||||
def showExpr(self, prec):
|
||||
return self.name
|
||||
|
||||
def __str__(self):
|
||||
return self.showExpr(0)
|
||||
|
||||
class __ExprParser:
|
||||
# token types
|
||||
TOKEN_UNKNOWN = 0
|
||||
TOKEN_LPARENT = 1
|
||||
TOKEN_RPARENT = 2
|
||||
TOKEN_QUESTION = 3
|
||||
TOKEN_IDENT = 4
|
||||
TOKEN_STRING = 5
|
||||
TOKEN_INT = 6
|
||||
TOKEN_FLOAT = 7
|
||||
TOKEN_EOF = 8
|
||||
|
||||
def __init__(self, fh):
|
||||
self.ch = ' '
|
||||
self.fh = fh
|
||||
self.token = self.TOKEN_UNKNOWN
|
||||
self.token_value = ""
|
||||
self.readToken()
|
||||
|
||||
def readToken(self):
|
||||
while self.ch.isspace():
|
||||
self.ch = self.fh.read(1);
|
||||
|
||||
self.token_value = ""
|
||||
|
||||
if self.ch == '(':
|
||||
self.ch = self.fh.read(1);
|
||||
self.token = self.TOKEN_LPARENT
|
||||
elif self.ch == ')':
|
||||
self.ch = self.fh.read(1);
|
||||
self.token = self.TOKEN_RPARENT
|
||||
elif self.ch == '?':
|
||||
self.ch = self.fh.read(1);
|
||||
self.token = self.TOKEN_QUESTION
|
||||
elif (self.ch.isalpha() or self.ch == '_'):
|
||||
self.token = self.TOKEN_IDENT
|
||||
while (self.ch.isalnum() or self.ch == '_' or self.ch == "'"):
|
||||
self.token_value = self.token_value + self.ch
|
||||
self.ch = self.fh.read(1)
|
||||
elif self.ch == '"':
|
||||
self.ch = self.fh.read(1)
|
||||
self.token = self.TOKEN_STRING
|
||||
while self.ch != '"':
|
||||
if self.ch == '':
|
||||
raise pgf.ParseError("Missing quotation mark")
|
||||
self.token_value = self.token_value + self.ch
|
||||
self.ch = self.fh.read(1)
|
||||
self.ch = self.fh.read(1)
|
||||
elif self.ch.isdigit():
|
||||
self.token = self.TOKEN_INT
|
||||
while self.ch.isdigit():
|
||||
self.token_value = self.token_value + self.ch
|
||||
self.ch = self.fh.read(1)
|
||||
|
||||
if self.ch == '.':
|
||||
self.token = self.TOKEN_FLOAT
|
||||
|
||||
self.token_value = self.token_value + self.ch
|
||||
self.ch = self.fh.read(1)
|
||||
|
||||
while self.ch.isdigit():
|
||||
self.token_value = self.token_value + self.ch
|
||||
self.ch = self.fh.read(1)
|
||||
|
||||
elif self.ch == '':
|
||||
self.token = self.TOKEN_EOF
|
||||
else:
|
||||
self.token = self.TOKEN_UNKNOWN
|
||||
|
||||
def parseTerm(self):
|
||||
if self.token == self.TOKEN_IDENT:
|
||||
e = Fun(self.token_value)
|
||||
self.readToken()
|
||||
return e
|
||||
elif self.token == self.TOKEN_LPARENT:
|
||||
self.readToken()
|
||||
e = self.parseExpr()
|
||||
if self.token == self.TOKEN_RPARENT:
|
||||
self.readToken()
|
||||
return e;
|
||||
else:
|
||||
raise pgf.ParseError("Missing right parenthesis")
|
||||
elif self.token == self.TOKEN_QUESTION:
|
||||
e = Meta(0)
|
||||
self.readToken()
|
||||
return e
|
||||
elif self.token == self.TOKEN_STRING:
|
||||
e = Lit(self.token_value)
|
||||
self.readToken()
|
||||
return e
|
||||
elif self.token == self.TOKEN_INT:
|
||||
e = Lit(int(self.token_value))
|
||||
self.readToken()
|
||||
return e
|
||||
elif self.token == self.TOKEN_FLOAT:
|
||||
e = Lit(float(self.token_value))
|
||||
self.readToken()
|
||||
return e
|
||||
else:
|
||||
raise pgf.ParseError("Unknown token")
|
||||
|
||||
def parseExpr(self):
|
||||
e = self.parseTerm()
|
||||
while (self.token != self.TOKEN_EOF and
|
||||
self.token != self.TOKEN_RPARENT):
|
||||
e = App(e, self.parseTerm())
|
||||
return e
|
||||
|
||||
def readExpr_py(str):
|
||||
parser = __ExprParser(StringIO.StringIO(str))
|
||||
return parser.parseExpr()
|
||||
@@ -1208,7 +1208,7 @@ static PyMethodDef module_methods[] = {
|
||||
};
|
||||
|
||||
PyMODINIT_FUNC
|
||||
initbinding(void)
|
||||
initpgf(void)
|
||||
{
|
||||
PyObject *m;
|
||||
|
||||
@@ -1224,7 +1224,7 @@ initbinding(void)
|
||||
if (PyType_Ready(&pgf_ExprIterType) < 0)
|
||||
return;
|
||||
|
||||
m = Py_InitModule("binding", module_methods);
|
||||
m = Py_InitModule("pgf", module_methods);
|
||||
if (m == NULL)
|
||||
return;
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
from distutils.core import setup, Extension
|
||||
|
||||
pgf_module = Extension('pgf.binding',
|
||||
sources = ['pgf/binding.c'],
|
||||
pgf_module = Extension('pgf',
|
||||
sources = ['pypgf.c'],
|
||||
extra_compile_args = ['-std=c99'],
|
||||
libraries = ['gu', 'pgf'])
|
||||
|
||||
@@ -11,5 +11,4 @@ setup (name = 'pgf',
|
||||
author='Krasimir Angelov',
|
||||
author_email='kr.angelov@gmail.com',
|
||||
license='BSD',
|
||||
packages=['pgf'],
|
||||
ext_modules = [pgf_module])
|
||||
|
||||
Reference in New Issue
Block a user