Add more samples, simplify grammar, add groups

This commit is contained in:
2020-09-30 16:54:58 +05:30
parent c72fa7de25
commit 86359ebc54
6 changed files with 164 additions and 49 deletions

39
.vscode/launch.json vendored
View File

@@ -7,17 +7,44 @@
{ {
"type": "antlr-debug", "type": "antlr-debug",
"request": "launch", "request": "launch",
"name": "Debug Current Grammar", "name": "Grammar - simple.bfe",
"input": "sample.bfe", "input": "samples/simple.bfe",
"visualParseTree": true, "visualParseTree": true,
"grammar": "${file}" "grammar": "${workspaceFolder}/grammar/bf.g4"
}, },
{ {
"name": "(gdb) Launch", "type": "antlr-debug",
"request": "launch",
"name": "Grammar - group.bfe",
"input": "samples/group.bfe",
"visualParseTree": true,
"grammar": "${workspaceFolder}/grammar/bf.g4"
},
{
"name": "GDB - simple.bfe",
"type": "cppdbg", "type": "cppdbg",
"request": "launch", "request": "launch",
"program": "${workspaceFolder}/debug/main.out", "program": "${workspaceFolder}/build/main.out",
"args": ["sample.txt"], "args": ["samples/simple.bfe"],
"stopAtEntry": false,
"cwd": "${workspaceFolder}",
"environment": [],
"externalConsole": false,
"MIMode": "gdb",
"setupCommands": [
{
"description": "Enable pretty-printing for gdb",
"text": "-enable-pretty-printing",
"ignoreFailures": true
}
]
},
{
"name": "GDB - group.bfe",
"type": "cppdbg",
"request": "launch",
"program": "${workspaceFolder}/build/main.out",
"args": ["samples/group.bfe"],
"stopAtEntry": false, "stopAtEntry": false,
"cwd": "${workspaceFolder}", "cwd": "${workspaceFolder}",
"environment": [], "environment": [],

View File

@@ -1,28 +1,62 @@
grammar bf; grammar bf;
program program
: statements* EOF; : statements? EOF;
statements statements
: (statement|numberedStatement|loopStmt)+; : eligibleStmt+;
eligibleStmt
: stmt
| numberedStmt
;
numberedStmt
: stmt NUMBER
;
stmt
: basicStmt
| groupedStmt
| loopStmt
;
groupedStmt
: GRPSTART statements GRPEND
;
loopStmt loopStmt
: LOOPSTART statements LOOPEND : LOOPSTART statements LOOPEND
; ;
numberedStatement basicStmt
: statement NUMBER : ptrIncr
; | ptrDecr
| ptrLeft
statement | ptrRight
: INC
| DEC
| LEFT
| RIGHT
| inputStmt | inputStmt
| outputStmt | outputStmt
; ;
ptrIncr
: INC
;
ptrDecr
: DEC
;
ptrLeft
: LEFT
;
ptrRight
: RIGHT
;
inputStmt inputStmt
: INPUT : INPUT
; ;
@@ -34,8 +68,11 @@ outputStmt
NEWLINE: '\n' -> skip; NEWLINE: '\n' -> skip;
COMMENT: '//' ~[\r\n]* '\r'? '\n'? -> channel(HIDDEN); COMMENT: '//' ~[\r\n]* '\r'? '\n'? -> channel(HIDDEN);
WS: [ \r\n] -> skip; WS: [ \r\n] -> skip;
DEF: '#';
LOOPSTART: '['; LOOPSTART: '[';
LOOPEND:']'; LOOPEND:']';
GRPSTART:'(';
GRPEND:')';
NUMBER: [0-9]+; NUMBER: [0-9]+;
INPUT: '?'; INPUT: '?';
OUTPUT: '.'; OUTPUT: '.';

View File

@@ -1,3 +1,23 @@
#pragma once #pragma once
#define FOO 1 #include<string>
#include "bfBaseListener.h"
class expressionPrintingListener : public bfBaseListener {
protected:
std::vector<std::string> printStack;
public:
void enterProgram(bfParser::ProgramContext *ctx) override;
void exitProgram(bfParser::ProgramContext *ctx) override ;
void enterPtrIncr(bfParser::PtrIncrContext *ctx) override;
void enterPtrDecr(bfParser::PtrDecrContext *ctx) override;
void enterPtrLeft(bfParser::PtrLeftContext *ctx) override;
void enterPtrRight(bfParser::PtrRightContext *ctx) override;
void enterNumberedStmt(bfParser::NumberedStmtContext *ctx) override;
void exitNumberedStmt(bfParser::NumberedStmtContext *ctx) override;
void enterLoopStmt(bfParser::LoopStmtContext *ctx) override;
void exitLoopStmt(bfParser::LoopStmtContext *ctx) override;
void enterGroupedStmt(bfParser::GroupedStmtContext *ctx) override;
void exitGroupedStmt(bfParser::GroupedStmtContext *ctx) override;
};

2
samples/group.bfe Normal file
View File

@@ -0,0 +1,2 @@
//should print ++++++
(+2)3

View File

@@ -2,4 +2,5 @@
-[-7>+<]>-.-[->+5<]>++.+7..+3.[-3>+<]>-5.--[->+4<]>-.-8.+3.-6.-8. -[-7>+<]>-.-[->+5<]>++.+7..+3.[-3>+<]>-5.--[->+4<]>-.-8.+3.-6.-8.
// courtesy of https://copy.sh/brainfuck/text.html // courtesy of https://copy.sh/brainfuck/text.html

View File

@@ -1,4 +1,6 @@
#include <iostream> #include <iostream>
#include <vector>
#include <string>
#include <antlr4-common.h> #include <antlr4-common.h>
#include "main.hpp" #include "main.hpp"
#include "bfLexer.h" #include "bfLexer.h"
@@ -8,44 +10,70 @@
using namespace antlr4; using namespace antlr4;
class expressionPrintingListener : public bfBaseListener void expressionPrintingListener::enterProgram(bfParser::ProgramContext *ctx)
{ {
public: printStack.push_back("");
void enterStatement(bfParser::StatementContext *ctx) override }
void expressionPrintingListener::exitProgram(bfParser::ProgramContext *ctx)
{
std::cout << printStack.front() << std::endl;
}
void expressionPrintingListener::enterPtrIncr(bfParser::PtrIncrContext *ctx)
{
printStack.back() += "+";
}
void expressionPrintingListener::enterPtrDecr(bfParser::PtrDecrContext *ctx)
{
printStack.back() += ("-");
}
void expressionPrintingListener::enterPtrLeft(bfParser::PtrLeftContext *ctx)
{
printStack.back() += ("<");
}
void expressionPrintingListener::enterPtrRight(bfParser::PtrRightContext *ctx)
{
printStack.back() += (">");
}
void expressionPrintingListener::enterNumberedStmt(bfParser::NumberedStmtContext *ctx)
{
printStack.push_back("");
}
void expressionPrintingListener::exitNumberedStmt(bfParser::NumberedStmtContext *ctx)
{
std::string s = printStack.back();
printStack.pop_back();
int n = stoi(ctx->NUMBER()->getText());
for (int i = 0; i < n; i++)
{ {
std::cout << ctx->getText(); printStack.back() += s;
} }
void enterNumberedStatement(bfParser::NumberedStatementContext *ctx) override }
{ void expressionPrintingListener::enterLoopStmt(bfParser::LoopStmtContext *ctx){
int num = 0; printStack.push_back("");
try{ }
num = stoi(ctx->NUMBER()->getText()); void expressionPrintingListener::exitLoopStmt(bfParser::LoopStmtContext *ctx){
}catch(std::exception e){ std::string s = printStack.back();
num = 1; printStack.pop_back();
} printStack.back()+= "["+s+"]";
for (int i = 0; i < num - 1; i++) }
{ void expressionPrintingListener::enterGroupedStmt(bfParser::GroupedStmtContext *ctx){
std::cout << ctx->statement()->getText(); printStack.push_back("");
} }
} void expressionPrintingListener::exitGroupedStmt(bfParser::GroupedStmtContext *ctx){
void exitProgram(bfParser::ProgramContext *ctx) override{ std::string s = printStack.back();
std::cout<<std::endl; printStack.pop_back();
} printStack.back()+=(s);
void enterLoopStmt(bfParser::LoopStmtContext *ctx) override{ }
std::cout<<'[';
}
void exitLoopStmt(bfParser::LoopStmtContext *ctx) override{
std::cout<<']';
}
};
int main(int argc, const char *argv[]) int main(int argc, const char *argv[])
{ {
std::ifstream stream; std::ifstream stream;
bool outFile = false;
stream.open(argv[1]); stream.open(argv[1]);
if(stream.fail()){ if (stream.fail())
std::cout<<"Could not open"<<std::endl; {
std::cout << "Could not open" << std::endl;
return 1; return 1;
} }
ANTLRInputStream input(stream); ANTLRInputStream input(stream);