summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/demo-funktionen.txt53
-rw-r--r--doc/ebnf.py152
-rw-r--r--doc/mylang.ebnf33
3 files changed, 238 insertions, 0 deletions
diff --git a/doc/demo-funktionen.txt b/doc/demo-funktionen.txt
new file mode 100644
index 0000000..ad16f4b
--- /dev/null
+++ b/doc/demo-funktionen.txt
@@ -0,0 +1,53 @@
+
+fun fib[a]
+ if a < 2
+ @1
+ @( fib[a-1] + fib[a-2] )
+end
+
+# main function
+fun main[]
+ sum = 0
+ i = 0
+ while (i < 10)
+ sum = sum + fib[i = i + 1]
+ end
+ @sum
+end
+
+#------------------------------------------------- alex
+
+0 : "fib"
+1 : "a"
+
+<fun> <identifier,0> <[> <identifier,1> <]> <nl>
+<tab> <if> <identifier,1> <operator,lessthan> <number,2> <nl>
+<tab> <tab> <return> <number,1> <nl>
+<tab> <return> <(><identifier,0> <[> <identifier,1> <operator,minus> <number,1> <]> <operator,plus> <identifier,0> <[> <identifier,1> <operator,minus> <number,2> <]> <)> <nl>
+<end>
+
+...
+
+
+#------------------------------------------------- michael
+
+PROGRAM
+|
++- FUNCTION
+| + <fun> <identifier,0> <[> <identifier,1> <]> STATEMENT <end>
+| + <if> EXPRESSION STATEMENT <end>
+| + EXPRESSION OPERATOR EXPRESSION + ....
+| + <identifier,1> + <operator,lessthan> +<number,2>
++- FUNCTION
+...
+
+#------------------------------------------------- nutz
+
+
+zwischencode zeug mit annotiertem baum
+3-Adress-Code
+
+#-------------------------------------------------- jana
+
+
+maschinencode / endprodukt
diff --git a/doc/ebnf.py b/doc/ebnf.py
new file mode 100644
index 0000000..1989118
--- /dev/null
+++ b/doc/ebnf.py
@@ -0,0 +1,152 @@
+import string
+
+class EBNF:
+ IDENT = 0
+ LITERAL = 2
+ LPAREN = 3
+ LBRAK = 4
+ LBRACE = 5
+ BAR = 6
+ EQL = 7
+ RPAREN = 8
+ RBRAK = 9
+ RBRACE = 10
+ PERIOD = 11
+ OTHER = 12
+
+ __input__ = None
+ __char__ = None
+ __symbol__ = None
+ __data__ = None
+
+ def __init__(self, input):
+ self.__input__ = input
+ self.__get_char__()
+
+ def __get_char__(self):
+ self.__char__ = self.__input__.read(1)
+ if self.__char__ == '':
+ raise EOFError
+ return self.__char__
+
+ def __get_sym__(self):
+ self.__data__ = None
+
+ while self.__char__ in string.whitespace:
+ self.__get_char__()
+
+ if self.__char__ in string.letters + "_":
+ self.__symbol__ = self.IDENT
+ self.__data__ = self.__char__
+ while self.__get_char__() in string.letters + "_":
+ self.__data__ += self.__char__
+ return
+
+ elif self.__char__ == '"':
+ self.__symbol__ = self.LITERAL
+ self.__data__ = ""
+ while self.__get_char__() != '"':
+ self.__data__ += self.__char__
+
+ elif self.__char__ == '=':
+ self.__symbol__ = self.EQL
+ elif self.__char__ == '(':
+ self.__symbol__ = self.LPAREN
+ elif self.__char__ == ')':
+ self.__symbol__ = self.RPAREN
+ elif self.__char__ == '[':
+ self.__symbol__ = self.LBRAK
+ elif self.__char__ == ']':
+ self.__symbol__ = self.RBRAK
+ elif self.__char__ == '{':
+ self.__symbol__ = self.LBRACE
+ elif self.__char__ == '}':
+ self.__symbol__ = self.RBRACE
+ elif self.__char__ == '|':
+ self.__symbol__ = self.BAR
+ elif self.__char__ == '.':
+ self.__symbol__ = self.PERIOD
+ else:
+ self.__symbol__ = self.OTHER
+
+ self.__get_char__()
+
+ def __error__(self, num):
+ pos = self.__input__.tell()
+ if pos > self.__lastpos__ + 2:
+ print "ERROR: pos=%d, err=%d, sym=%d" % (pos, num, self.__symbol__)
+ self.__lastpos__ = pos
+
+ def __expression__(self):
+ self.__term__()
+ while self.__symbol__ == self.BAR:
+ self.__get_sym__()
+ self.__term__()
+
+ def __term__(self):
+ self.__factor__()
+ while self.__symbol__ < self.BAR:
+ self.__factor__()
+
+ def __factor__(self):
+ if self.__symbol__ == self.IDENT:
+ print "record(TO, '%s', 1)" % (self.__data__,)
+ self.__get_sym__()
+ elif self.__symbol__ == self.LITERAL:
+ print "record(T1, '%s', 0)" % (self.__data__,)
+ self.__get_sym__()
+ elif self.__symbol__ == self.LPAREN:
+ self.__get_sym__()
+ self.__expression__()
+ if self.__symbol__ == self.RPAREN:
+ self.__get_sym__()
+ else:
+ self.__error__(2)
+ elif self.__symbol__ == self.LBRAK:
+ self.__get_sym__()
+ self.__expression__()
+ if self.__symbol__ == self.RBRAK:
+ self.__get_sym__()
+ else:
+ self.__error__(3)
+ elif self.__symbol__ == self.LBRACE:
+ self.__get_sym__()
+ self.__expression__()
+ if self.__symbol__ == self.RBRACE:
+ self.__get_sym__()
+ else:
+ self.__error__(4)
+ else:
+ self.__error__(5)
+
+ def __production__(self):
+ self.__get_sym__()
+
+ if self.__symbol__ == self.EQL:
+ self.__get_sym__()
+ else:
+ self.__error__(7)
+
+ self.__expression__()
+
+ if self.__symbol__ == self.PERIOD:
+ self.__get_sym__()
+ else:
+ self.__error__(8)
+
+ def __syntax__(self):
+ while self.__symbol__ == self.IDENT:
+ self.__production__()
+
+ def compile(self):
+ try:
+ self.__lastpos__ = 0
+ self.__get_sym__()
+ self.__syntax__()
+ except EOFError:
+ return
+
+if __name__ == '__main__':
+ import sys
+ ebnf = EBNF(sys.stdin)
+ ebnf.compile()
diff --git a/doc/mylang.ebnf b/doc/mylang.ebnf
new file mode 100644
index 0000000..53be3a4
--- /dev/null
+++ b/doc/mylang.ebnf
@@ -0,0 +1,33 @@
+lowercaseLetter = "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" | "k" | "l" | "m" | "n" | "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" | "w" | "x" | "y" | "z".
+uppercaseLetter = "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H" | "I" | "J" | "K" | "L" | "M" | "N" | "O" | "P" | "Q" | "R" | "S" | "T" | "U" | "V" | "W" | "X" | "Y" | "Z".
+letter = lowercaseLetter | uppercaseLetter.
+
+digit = "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9".
+nl = "\n".
+
+ident = letter { letter | digit }.
+integer = digit { digit }.
+
+factor = ident | integer | "(" expression ")" | "~" factor.
+term = factor {("*" | "/" | "%" | "&&") factor}.
+simple_expression = ["+" | "-"] term {("+" | "-" | "||") term}.
+expression = simple_expression [ ( "==" | "!=" | ">=" | "<=" | ">" | "<" ) simple_expression ].
+
+ident_list = ident { "," ident }.
+expression_list = expression { "," expression }.
+
+program = function { function }.
+function = "fun" ident "[" [ ident_list ] "]" statements "end".
+
+statement = [ if_statement | while_statement | assignment | function_call | return_statement ].
+statements = statement { nl statement }.
+
+if_statement = "if" expression statements [ "else" statements ] "end".
+while_statement = "while" expression statements "end".
+return_statement = "@" expression.
+assignment = ident "=" expression.
+function_call = ident "[" [ expression_list ] "]".
+
+
+
+