Add framework for expressions and generating AST, progress on Parser class
This commit is contained in:
parent
6d2f1ee907
commit
535c557cb4
BIN
cobalt/lang/Cobalt.class
Normal file
BIN
cobalt/lang/Cobalt.class
Normal file
Binary file not shown.
|
|
@ -17,9 +17,9 @@ public class Cobalt {
|
||||||
System.out.println("Usage: cobalt [script]");
|
System.out.println("Usage: cobalt [script]");
|
||||||
System.exit(64);
|
System.exit(64);
|
||||||
} else if (args.length == 1) {
|
} else if (args.length == 1) {
|
||||||
//runFile(args[0]);
|
runFile(args[0]);
|
||||||
} else {
|
} else {
|
||||||
//runPrompt()
|
runPrompt();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
41
cobalt/lang/Expr.java
Normal file
41
cobalt/lang/Expr.java
Normal file
|
|
@ -0,0 +1,41 @@
|
||||||
|
package cobalt.lang;
|
||||||
|
|
||||||
|
abstract class Expr {
|
||||||
|
static class Binary extends Expr {
|
||||||
|
Binary(Expr left, Token operator, Expr right) {
|
||||||
|
this.left = left;
|
||||||
|
this.operator = operator;
|
||||||
|
this.right = right;
|
||||||
|
}
|
||||||
|
|
||||||
|
final Expr left;
|
||||||
|
final Token operator;
|
||||||
|
final Expr right;
|
||||||
|
}
|
||||||
|
|
||||||
|
static class Unary extends Expr {
|
||||||
|
Unary(Token operator, Expr right) {
|
||||||
|
this.operator = operator;
|
||||||
|
this.right = right;
|
||||||
|
}
|
||||||
|
|
||||||
|
final Token operator;
|
||||||
|
final Expr right;
|
||||||
|
}
|
||||||
|
|
||||||
|
static class Grouping extends Expr {
|
||||||
|
Grouping(Expr expression) {
|
||||||
|
this.expression = expression;
|
||||||
|
}
|
||||||
|
|
||||||
|
final Expr expression;
|
||||||
|
}
|
||||||
|
|
||||||
|
static class Literal extends Expr {
|
||||||
|
Literal(Object value) {
|
||||||
|
this.value = value;
|
||||||
|
}
|
||||||
|
|
||||||
|
final Object value;
|
||||||
|
}
|
||||||
|
}
|
||||||
159
cobalt/lang/Parser.java
Normal file
159
cobalt/lang/Parser.java
Normal file
|
|
@ -0,0 +1,159 @@
|
||||||
|
///////////
|
||||||
|
//
|
||||||
|
// Continue at page 89, Section 6.3
|
||||||
|
//
|
||||||
|
///////////
|
||||||
|
|
||||||
|
|
||||||
|
package cobalt.lang;
|
||||||
|
|
||||||
|
import java.util.List;
|
||||||
|
import static cobalt.lang.TokenType.*;
|
||||||
|
|
||||||
|
class Parser {
|
||||||
|
private final List<Token> tokens;
|
||||||
|
private int current = 0;
|
||||||
|
|
||||||
|
Parser(List<Token> tokens) {
|
||||||
|
this.tokens = tokens;
|
||||||
|
}
|
||||||
|
|
||||||
|
private Expr expression() {
|
||||||
|
return equality();
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
// Parser definition for handling equalities
|
||||||
|
//
|
||||||
|
// equality -> comparison ( ( "!=" | "==" ) comparison )* ;
|
||||||
|
//
|
||||||
|
private Expr equality() {
|
||||||
|
Expr expr = comparison();
|
||||||
|
while (match(BANG_EQUAL, EQUAL_EQUAL)) {
|
||||||
|
Token operator = previous();
|
||||||
|
Expr right = comparison();
|
||||||
|
expr = new Expr.Binary(expr, operator, right);
|
||||||
|
}
|
||||||
|
|
||||||
|
return expr;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Parser definition for handling comparisons
|
||||||
|
//
|
||||||
|
// comparison -> term ( ( ">" | ">=" | "<" | "<=" ) term )* ;
|
||||||
|
//
|
||||||
|
private Expr comparison() {
|
||||||
|
Expr expr = term();
|
||||||
|
|
||||||
|
while (match(GREATER, GREATER_EQUAL, LESS, LESS_EQUAL)) {
|
||||||
|
Token operator = previous();
|
||||||
|
Expr right = term();
|
||||||
|
expr = new Expr.Binary(expr, operator, right);
|
||||||
|
}
|
||||||
|
|
||||||
|
return expr;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
private Expr term() {
|
||||||
|
Expr expr = factor();
|
||||||
|
|
||||||
|
while (match(MINUS, PLUS)) {
|
||||||
|
Token operator = previous();
|
||||||
|
Expr right = factor();
|
||||||
|
expr = new Expr.Binary(expr, operator, right);
|
||||||
|
}
|
||||||
|
|
||||||
|
return expr;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
private Expr factor() {
|
||||||
|
Expr expr = unary();
|
||||||
|
|
||||||
|
while (match(SLASH, STAR)) {
|
||||||
|
Token operator = previous();
|
||||||
|
Expr right = unary();
|
||||||
|
expr = new Expr.Binary(expr, operator, right);
|
||||||
|
}
|
||||||
|
|
||||||
|
return expr;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
private Expr unary() {
|
||||||
|
if (match(BANG, MINUS)) {
|
||||||
|
Token operator = previous();
|
||||||
|
Expr right = unary();
|
||||||
|
return new Expr.Unary(operator, right);
|
||||||
|
}
|
||||||
|
|
||||||
|
return primary();
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
private Expr primary() {
|
||||||
|
if (match(FALSE)) return new Expr.Literal(false);
|
||||||
|
if (match(TRUE)) return new Expr.Literal(true);
|
||||||
|
if (match(NIL)) return new Expr.Literal(null);
|
||||||
|
|
||||||
|
if (match(NUMBER, STRING)) {
|
||||||
|
return new Expr.Literal(previous().literal);
|
||||||
|
}
|
||||||
|
|
||||||
|
if (match(LEFT_PAREN)) {
|
||||||
|
Expr expr = expression();
|
||||||
|
consume(RIGHT_PAREN, "Expect ')' after expression.");
|
||||||
|
return new Expr.Grouping(expr);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
// Checks to see if the current token has any of the given types. If so,
|
||||||
|
// it consumes the token and returns true. Otherwise, it returns false and leaves
|
||||||
|
// the current token alone.
|
||||||
|
private boolean match(TokenType... types) {
|
||||||
|
for (TokenType type : types) {
|
||||||
|
if (check(type)) {
|
||||||
|
advance();
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
// Returns true if the current token is of the given type, false if otherwise
|
||||||
|
private boolean check(TokenType type) {
|
||||||
|
if (isAtEnd()) return false;
|
||||||
|
return peek().type == type;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
// Consume the current token and return it
|
||||||
|
private Token advance() {
|
||||||
|
if (!isAtEnd()) current++;
|
||||||
|
return previous();
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
// Check to see if we've run out of tokens to parse
|
||||||
|
private boolean isAtEnd() {
|
||||||
|
return peek().type == EOF;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
// Return the current token we have yet to consume
|
||||||
|
private Token peek() {
|
||||||
|
return tokens.get(current);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
// Return the previous token we just consumed
|
||||||
|
private Token previous() {
|
||||||
|
return tokens.get(current - 1);
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
BIN
cobalt/lang/Scanner.class
Normal file
BIN
cobalt/lang/Scanner.class
Normal file
Binary file not shown.
|
|
@ -1,11 +1,11 @@
|
||||||
package cobalt;
|
package cobalt.lang;
|
||||||
|
|
||||||
import java.util.ArrayList;
|
import java.util.ArrayList;
|
||||||
import java.util.HashMap;
|
import java.util.HashMap;
|
||||||
import java.util.List;
|
import java.util.List;
|
||||||
import java.util.Map;
|
import java.util.Map;
|
||||||
|
|
||||||
import static cobalt.TokenType.*;
|
import static cobalt.lang.TokenType.*;
|
||||||
|
|
||||||
class Scanner {
|
class Scanner {
|
||||||
private final String source;
|
private final String source;
|
||||||
|
|
@ -46,7 +46,7 @@ class Scanner {
|
||||||
List<Token> scanTokens() {
|
List<Token> scanTokens() {
|
||||||
while (!isAtEnd()) {
|
while (!isAtEnd()) {
|
||||||
start = current;
|
start = current;
|
||||||
scanTokens();
|
scanToken();
|
||||||
}
|
}
|
||||||
|
|
||||||
tokens.add(new Token(EOF, "", null, line));
|
tokens.add(new Token(EOF, "", null, line));
|
||||||
|
|
@ -107,6 +107,10 @@ class Scanner {
|
||||||
line++;
|
line++;
|
||||||
break;
|
break;
|
||||||
|
|
||||||
|
case '"':
|
||||||
|
string();
|
||||||
|
break;
|
||||||
|
|
||||||
default:
|
default:
|
||||||
if (isDigit(c)) {
|
if (isDigit(c)) {
|
||||||
// Check to see if our incoming value is part of a number
|
// Check to see if our incoming value is part of a number
|
||||||
|
|
@ -129,7 +133,7 @@ class Scanner {
|
||||||
|
|
||||||
|
|
||||||
private void number() {
|
private void number() {
|
||||||
while (!isDigit(peek())) advance();
|
while (isDigit(peek())) advance();
|
||||||
|
|
||||||
// Look for a decimal place.
|
// Look for a decimal place.
|
||||||
if (peek() == '.' && isDigit(peekNext())) {
|
if (peek() == '.' && isDigit(peekNext())) {
|
||||||
|
|
@ -177,7 +181,11 @@ class Scanner {
|
||||||
// add it to the Token list if it is valid
|
// add it to the Token list if it is valid
|
||||||
private void identifier() {
|
private void identifier() {
|
||||||
while (isAlphaNumeric(peek())) advance();
|
while (isAlphaNumeric(peek())) advance();
|
||||||
addToken(IDENTIFIER);
|
|
||||||
|
String text = source.substring(start, current);
|
||||||
|
TokenType type = keywords.get(text);
|
||||||
|
if (type == null) type = IDENTIFIER;
|
||||||
|
addToken(type);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
BIN
cobalt/lang/Token.class
Normal file
BIN
cobalt/lang/Token.class
Normal file
Binary file not shown.
|
|
@ -1,4 +1,4 @@
|
||||||
package cobalt;
|
package cobalt.lang;
|
||||||
|
|
||||||
class Token {
|
class Token {
|
||||||
final TokenType type;
|
final TokenType type;
|
||||||
BIN
cobalt/lang/TokenType.class
Normal file
BIN
cobalt/lang/TokenType.class
Normal file
Binary file not shown.
|
|
@ -1,4 +1,4 @@
|
||||||
package cobalt;
|
package cobalt.lang;
|
||||||
|
|
||||||
enum TokenType {
|
enum TokenType {
|
||||||
// Single character tokens.
|
// Single character tokens.
|
||||||
67
cobalt/tool/GenerateAst.java
Normal file
67
cobalt/tool/GenerateAst.java
Normal file
|
|
@ -0,0 +1,67 @@
|
||||||
|
package cobalt.tool;
|
||||||
|
|
||||||
|
import java.io.IOException;
|
||||||
|
import java.io.PrintWriter;
|
||||||
|
import java.util.Arrays;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
public class GenerateAst {
|
||||||
|
public static void main(String[] args) throws IOException {
|
||||||
|
if (args.length != 1) {
|
||||||
|
System.err.println("Usage: generate_ast <output directory>");
|
||||||
|
System.exit(64);
|
||||||
|
}
|
||||||
|
|
||||||
|
String outputDir = args[0];
|
||||||
|
|
||||||
|
defineAst(outputDir, "Expr", Arrays.asList(
|
||||||
|
"Binary : Expr left, Token operator, Expr right",
|
||||||
|
"Grouping : Expr expression",
|
||||||
|
"Literal : Object value",
|
||||||
|
"Unary : Token operator, Expr right"
|
||||||
|
));
|
||||||
|
}
|
||||||
|
|
||||||
|
private static void defineAst(String outputDir, String baseName, List<String> types) throws IOException {
|
||||||
|
String path = outputDir + "/" + baseName + ".java";
|
||||||
|
PrintWriter writer = new PrintWriter(path, "UTF-8");
|
||||||
|
|
||||||
|
writer.println("package cobalt.lang");
|
||||||
|
writer.println();
|
||||||
|
writer.println("import java.util.List;");
|
||||||
|
writer.println();
|
||||||
|
writer.println("abstract class " + baseName + " {");
|
||||||
|
|
||||||
|
for (String type : types){
|
||||||
|
String className = type.split(":")[0].trim();
|
||||||
|
String fields = type.split(":")[1].trim();
|
||||||
|
defineType(writer, baseName, className, fields);
|
||||||
|
}
|
||||||
|
|
||||||
|
writer.println("}");
|
||||||
|
writer.close();
|
||||||
|
}
|
||||||
|
|
||||||
|
private static void defineType(PrintWriter writer, String baseName, String className, String fieldList) {
|
||||||
|
writer.println(" static class " + className + " extends " + baseName + " {");
|
||||||
|
|
||||||
|
// Constructor
|
||||||
|
writer.println(" " + className + "(" + fieldList + ") {");
|
||||||
|
|
||||||
|
String[] fields = fieldList.split(", ");
|
||||||
|
for (String field : fields) {
|
||||||
|
String name = field.split(" ")[1];
|
||||||
|
writer.println(" this." + name + " = " + name + ";");
|
||||||
|
}
|
||||||
|
|
||||||
|
writer.println(" }");
|
||||||
|
|
||||||
|
// Fields
|
||||||
|
writer.println();
|
||||||
|
for (String field : fields) {
|
||||||
|
writer.println(" final " + field + ";");
|
||||||
|
}
|
||||||
|
|
||||||
|
writer.println(" }");
|
||||||
|
}
|
||||||
|
}
|
||||||
Loading…
Reference in New Issue
Block a user