symtable works but not multiple variable

This commit is contained in:
Minh VU
2025-04-05 13:41:23 +02:00
parent 56df584b9f
commit bc7d1045ee
17 changed files with 104 additions and 1653 deletions

6
.gitignore vendored
View File

@@ -3,6 +3,6 @@ build
bin
*.ll
*.DS_Store
*/.antlr/VSLLexer.java
*.interp
*/.antlr/VSLParser.java
src/main/antlr/.antlr
.antlr
*.interp

9
.idea/tp2-vsl-pds.iml generated Normal file
View File

@@ -0,0 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
<component name="NewModuleRootManager" inherit-compiler-output="true">
<exclude-output />
<content url="file://$MODULE_DIR$" />
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
</component>
</module>

File diff suppressed because one or more lines are too long

View File

@@ -1,278 +0,0 @@
// Generated from /home/tuanvu/Desktop/M1/S8/PDS/tp2-vsl-pds/src/main/antlr/VSLLexer.g by ANTLR 4.13.1
package TP2;
import org.antlr.v4.runtime.Lexer;
import org.antlr.v4.runtime.CharStream;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.TokenStream;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.misc.*;
@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast", "CheckReturnValue", "this-escape"})
public class VSLLexer extends Lexer {
static { RuntimeMetaData.checkVersion("4.13.1", RuntimeMetaData.VERSION); }
protected static final DFA[] _decisionToDFA;
protected static final PredictionContextCache _sharedContextCache =
new PredictionContextCache();
public static final int
FUNCTION=1, PROTOTYPE=2, TYPE_INT=3, TYPE_VOID=4, LE=5, LT=6, GE=7, GT=8,
ASSIGN=9, IF=10, THEN=11, ELSE=12, FIN=13, WHILE=14, DO=15, DONE=16, READ=17,
PRINT=18, RETURN=19, TEXT=20, NUMBER=21, ParO=22, ParF=23, PLUS=24, MINUS=25,
DIV=26, TIMES=27, MOD=28, IDENT=29, WS=30, COMMENT=31;
public static String[] channelNames = {
"DEFAULT_TOKEN_CHANNEL", "HIDDEN"
};
public static String[] modeNames = {
"DEFAULT_MODE"
};
private static String[] makeRuleNames() {
return new String[] {
"FUNCTION", "PROTOTYPE", "TYPE_INT", "TYPE_VOID", "LE", "LT", "GE", "GT",
"ASSIGN", "IF", "THEN", "ELSE", "FIN", "WHILE", "DO", "DONE", "READ",
"PRINT", "RETURN", "TEXT", "NUMBER", "ParO", "ParF", "PLUS", "MINUS",
"DIV", "TIMES", "MOD", "IDENT", "WS", "COMMENT", "LETTER", "DIGIT", "ASCII"
};
}
public static final String[] ruleNames = makeRuleNames();
private static String[] makeLiteralNames() {
return new String[] {
null, "'FUNC'", "'PROTO'", "'INT'", "'VOID'", "'<='", "'<'", "'>='",
"'>'", "':='", "'IF'", "'THEN'", "'ELSE'", "'FI'", "'WHILE'", "'DO'",
"'DONE'", "'READ'", "'PRINT'", "'RETURN'", null, null, "'('", "')'",
"'+'", "'-'", "'/'", "'*'", "'%'"
};
}
private static final String[] _LITERAL_NAMES = makeLiteralNames();
private static String[] makeSymbolicNames() {
return new String[] {
null, "FUNCTION", "PROTOTYPE", "TYPE_INT", "TYPE_VOID", "LE", "LT", "GE",
"GT", "ASSIGN", "IF", "THEN", "ELSE", "FIN", "WHILE", "DO", "DONE", "READ",
"PRINT", "RETURN", "TEXT", "NUMBER", "ParO", "ParF", "PLUS", "MINUS",
"DIV", "TIMES", "MOD", "IDENT", "WS", "COMMENT"
};
}
private static final String[] _SYMBOLIC_NAMES = makeSymbolicNames();
public static final Vocabulary VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES);
/**
* @deprecated Use {@link #VOCABULARY} instead.
*/
@Deprecated
public static final String[] tokenNames;
static {
tokenNames = new String[_SYMBOLIC_NAMES.length];
for (int i = 0; i < tokenNames.length; i++) {
tokenNames[i] = VOCABULARY.getLiteralName(i);
if (tokenNames[i] == null) {
tokenNames[i] = VOCABULARY.getSymbolicName(i);
}
if (tokenNames[i] == null) {
tokenNames[i] = "<INVALID>";
}
}
}
@Override
@Deprecated
public String[] getTokenNames() {
return tokenNames;
}
@Override
public Vocabulary getVocabulary() {
return VOCABULARY;
}
public VSLLexer(CharStream input) {
super(input);
_interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
}
@Override
public String getGrammarFileName() { return "VSLLexer.g"; }
@Override
public String[] getRuleNames() { return ruleNames; }
@Override
public String getSerializedATN() { return _serializedATN; }
@Override
public String[] getChannelNames() { return channelNames; }
@Override
public String[] getModeNames() { return modeNames; }
@Override
public ATN getATN() { return _ATN; }
@Override
public void action(RuleContext _localctx, int ruleIndex, int actionIndex) {
switch (ruleIndex) {
case 29:
WS_action((RuleContext)_localctx, actionIndex);
break;
case 30:
COMMENT_action((RuleContext)_localctx, actionIndex);
break;
}
}
private void WS_action(RuleContext _localctx, int actionIndex) {
switch (actionIndex) {
case 0:
skip();
break;
}
}
private void COMMENT_action(RuleContext _localctx, int actionIndex) {
switch (actionIndex) {
case 1:
skip();
break;
}
}
public static final String _serializedATN =
"\u0004\u0000\u001f\u00cc\u0006\uffff\uffff\u0002\u0000\u0007\u0000\u0002"+
"\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002"+
"\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002"+
"\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002"+
"\u000b\u0007\u000b\u0002\f\u0007\f\u0002\r\u0007\r\u0002\u000e\u0007\u000e"+
"\u0002\u000f\u0007\u000f\u0002\u0010\u0007\u0010\u0002\u0011\u0007\u0011"+
"\u0002\u0012\u0007\u0012\u0002\u0013\u0007\u0013\u0002\u0014\u0007\u0014"+
"\u0002\u0015\u0007\u0015\u0002\u0016\u0007\u0016\u0002\u0017\u0007\u0017"+
"\u0002\u0018\u0007\u0018\u0002\u0019\u0007\u0019\u0002\u001a\u0007\u001a"+
"\u0002\u001b\u0007\u001b\u0002\u001c\u0007\u001c\u0002\u001d\u0007\u001d"+
"\u0002\u001e\u0007\u001e\u0002\u001f\u0007\u001f\u0002 \u0007 \u0002!"+
"\u0007!\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001"+
"\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001"+
"\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0003\u0001\u0003\u0001"+
"\u0003\u0001\u0003\u0001\u0003\u0001\u0004\u0001\u0004\u0001\u0004\u0001"+
"\u0005\u0001\u0005\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0007\u0001"+
"\u0007\u0001\b\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001\n\u0001\n"+
"\u0001\n\u0001\n\u0001\n\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b"+
"\u0001\u000b\u0001\f\u0001\f\u0001\f\u0001\r\u0001\r\u0001\r\u0001\r\u0001"+
"\r\u0001\r\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000f\u0001\u000f"+
"\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u0010\u0001\u0010\u0001\u0010"+
"\u0001\u0010\u0001\u0010\u0001\u0011\u0001\u0011\u0001\u0011\u0001\u0011"+
"\u0001\u0011\u0001\u0011\u0001\u0012\u0001\u0012\u0001\u0012\u0001\u0012"+
"\u0001\u0012\u0001\u0012\u0001\u0012\u0001\u0013\u0001\u0013\u0004\u0013"+
"\u0099\b\u0013\u000b\u0013\f\u0013\u009a\u0001\u0013\u0001\u0013\u0001"+
"\u0014\u0004\u0014\u00a0\b\u0014\u000b\u0014\f\u0014\u00a1\u0001\u0015"+
"\u0001\u0015\u0001\u0016\u0001\u0016\u0001\u0017\u0001\u0017\u0001\u0018"+
"\u0001\u0018\u0001\u0019\u0001\u0019\u0001\u001a\u0001\u001a\u0001\u001b"+
"\u0001\u001b\u0001\u001c\u0001\u001c\u0005\u001c\u00b4\b\u001c\n\u001c"+
"\f\u001c\u00b7\t\u001c\u0001\u001d\u0001\u001d\u0001\u001d\u0001\u001e"+
"\u0001\u001e\u0001\u001e\u0001\u001e\u0005\u001e\u00c0\b\u001e\n\u001e"+
"\f\u001e\u00c3\t\u001e\u0001\u001e\u0001\u001e\u0001\u001f\u0001\u001f"+
"\u0001 \u0001 \u0001!\u0001!\u0000\u0000\"\u0001\u0001\u0003\u0002\u0005"+
"\u0003\u0007\u0004\t\u0005\u000b\u0006\r\u0007\u000f\b\u0011\t\u0013\n"+
"\u0015\u000b\u0017\f\u0019\r\u001b\u000e\u001d\u000f\u001f\u0010!\u0011"+
"#\u0012%\u0013\'\u0014)\u0015+\u0016-\u0017/\u00181\u00193\u001a5\u001b"+
"7\u001c9\u001d;\u001e=\u001f?\u0000A\u0000C\u0000\u0001\u0000\u0005\u0002"+
"\u0000AZaz\u0005\u0000--09AZ__az\u0002\u0000\t\n \u0001\u0000\n\n\u0002"+
"\u0000\n\n\"\"\u00cc\u0000\u0001\u0001\u0000\u0000\u0000\u0000\u0003\u0001"+
"\u0000\u0000\u0000\u0000\u0005\u0001\u0000\u0000\u0000\u0000\u0007\u0001"+
"\u0000\u0000\u0000\u0000\t\u0001\u0000\u0000\u0000\u0000\u000b\u0001\u0000"+
"\u0000\u0000\u0000\r\u0001\u0000\u0000\u0000\u0000\u000f\u0001\u0000\u0000"+
"\u0000\u0000\u0011\u0001\u0000\u0000\u0000\u0000\u0013\u0001\u0000\u0000"+
"\u0000\u0000\u0015\u0001\u0000\u0000\u0000\u0000\u0017\u0001\u0000\u0000"+
"\u0000\u0000\u0019\u0001\u0000\u0000\u0000\u0000\u001b\u0001\u0000\u0000"+
"\u0000\u0000\u001d\u0001\u0000\u0000\u0000\u0000\u001f\u0001\u0000\u0000"+
"\u0000\u0000!\u0001\u0000\u0000\u0000\u0000#\u0001\u0000\u0000\u0000\u0000"+
"%\u0001\u0000\u0000\u0000\u0000\'\u0001\u0000\u0000\u0000\u0000)\u0001"+
"\u0000\u0000\u0000\u0000+\u0001\u0000\u0000\u0000\u0000-\u0001\u0000\u0000"+
"\u0000\u0000/\u0001\u0000\u0000\u0000\u00001\u0001\u0000\u0000\u0000\u0000"+
"3\u0001\u0000\u0000\u0000\u00005\u0001\u0000\u0000\u0000\u00007\u0001"+
"\u0000\u0000\u0000\u00009\u0001\u0000\u0000\u0000\u0000;\u0001\u0000\u0000"+
"\u0000\u0000=\u0001\u0000\u0000\u0000\u0001E\u0001\u0000\u0000\u0000\u0003"+
"J\u0001\u0000\u0000\u0000\u0005P\u0001\u0000\u0000\u0000\u0007T\u0001"+
"\u0000\u0000\u0000\tY\u0001\u0000\u0000\u0000\u000b\\\u0001\u0000\u0000"+
"\u0000\r^\u0001\u0000\u0000\u0000\u000fa\u0001\u0000\u0000\u0000\u0011"+
"c\u0001\u0000\u0000\u0000\u0013f\u0001\u0000\u0000\u0000\u0015i\u0001"+
"\u0000\u0000\u0000\u0017n\u0001\u0000\u0000\u0000\u0019s\u0001\u0000\u0000"+
"\u0000\u001bv\u0001\u0000\u0000\u0000\u001d|\u0001\u0000\u0000\u0000\u001f"+
"\u007f\u0001\u0000\u0000\u0000!\u0084\u0001\u0000\u0000\u0000#\u0089\u0001"+
"\u0000\u0000\u0000%\u008f\u0001\u0000\u0000\u0000\'\u0096\u0001\u0000"+
"\u0000\u0000)\u009f\u0001\u0000\u0000\u0000+\u00a3\u0001\u0000\u0000\u0000"+
"-\u00a5\u0001\u0000\u0000\u0000/\u00a7\u0001\u0000\u0000\u00001\u00a9"+
"\u0001\u0000\u0000\u00003\u00ab\u0001\u0000\u0000\u00005\u00ad\u0001\u0000"+
"\u0000\u00007\u00af\u0001\u0000\u0000\u00009\u00b1\u0001\u0000\u0000\u0000"+
";\u00b8\u0001\u0000\u0000\u0000=\u00bb\u0001\u0000\u0000\u0000?\u00c6"+
"\u0001\u0000\u0000\u0000A\u00c8\u0001\u0000\u0000\u0000C\u00ca\u0001\u0000"+
"\u0000\u0000EF\u0005F\u0000\u0000FG\u0005U\u0000\u0000GH\u0005N\u0000"+
"\u0000HI\u0005C\u0000\u0000I\u0002\u0001\u0000\u0000\u0000JK\u0005P\u0000"+
"\u0000KL\u0005R\u0000\u0000LM\u0005O\u0000\u0000MN\u0005T\u0000\u0000"+
"NO\u0005O\u0000\u0000O\u0004\u0001\u0000\u0000\u0000PQ\u0005I\u0000\u0000"+
"QR\u0005N\u0000\u0000RS\u0005T\u0000\u0000S\u0006\u0001\u0000\u0000\u0000"+
"TU\u0005V\u0000\u0000UV\u0005O\u0000\u0000VW\u0005I\u0000\u0000WX\u0005"+
"D\u0000\u0000X\b\u0001\u0000\u0000\u0000YZ\u0005<\u0000\u0000Z[\u0005"+
"=\u0000\u0000[\n\u0001\u0000\u0000\u0000\\]\u0005<\u0000\u0000]\f\u0001"+
"\u0000\u0000\u0000^_\u0005>\u0000\u0000_`\u0005=\u0000\u0000`\u000e\u0001"+
"\u0000\u0000\u0000ab\u0005>\u0000\u0000b\u0010\u0001\u0000\u0000\u0000"+
"cd\u0005:\u0000\u0000de\u0005=\u0000\u0000e\u0012\u0001\u0000\u0000\u0000"+
"fg\u0005I\u0000\u0000gh\u0005F\u0000\u0000h\u0014\u0001\u0000\u0000\u0000"+
"ij\u0005T\u0000\u0000jk\u0005H\u0000\u0000kl\u0005E\u0000\u0000lm\u0005"+
"N\u0000\u0000m\u0016\u0001\u0000\u0000\u0000no\u0005E\u0000\u0000op\u0005"+
"L\u0000\u0000pq\u0005S\u0000\u0000qr\u0005E\u0000\u0000r\u0018\u0001\u0000"+
"\u0000\u0000st\u0005F\u0000\u0000tu\u0005I\u0000\u0000u\u001a\u0001\u0000"+
"\u0000\u0000vw\u0005W\u0000\u0000wx\u0005H\u0000\u0000xy\u0005I\u0000"+
"\u0000yz\u0005L\u0000\u0000z{\u0005E\u0000\u0000{\u001c\u0001\u0000\u0000"+
"\u0000|}\u0005D\u0000\u0000}~\u0005O\u0000\u0000~\u001e\u0001\u0000\u0000"+
"\u0000\u007f\u0080\u0005D\u0000\u0000\u0080\u0081\u0005O\u0000\u0000\u0081"+
"\u0082\u0005N\u0000\u0000\u0082\u0083\u0005E\u0000\u0000\u0083 \u0001"+
"\u0000\u0000\u0000\u0084\u0085\u0005R\u0000\u0000\u0085\u0086\u0005E\u0000"+
"\u0000\u0086\u0087\u0005A\u0000\u0000\u0087\u0088\u0005D\u0000\u0000\u0088"+
"\"\u0001\u0000\u0000\u0000\u0089\u008a\u0005P\u0000\u0000\u008a\u008b"+
"\u0005R\u0000\u0000\u008b\u008c\u0005I\u0000\u0000\u008c\u008d\u0005N"+
"\u0000\u0000\u008d\u008e\u0005T\u0000\u0000\u008e$\u0001\u0000\u0000\u0000"+
"\u008f\u0090\u0005R\u0000\u0000\u0090\u0091\u0005E\u0000\u0000\u0091\u0092"+
"\u0005T\u0000\u0000\u0092\u0093\u0005U\u0000\u0000\u0093\u0094\u0005R"+
"\u0000\u0000\u0094\u0095\u0005N\u0000\u0000\u0095&\u0001\u0000\u0000\u0000"+
"\u0096\u0098\u0005\"\u0000\u0000\u0097\u0099\u0003C!\u0000\u0098\u0097"+
"\u0001\u0000\u0000\u0000\u0099\u009a\u0001\u0000\u0000\u0000\u009a\u0098"+
"\u0001\u0000\u0000\u0000\u009a\u009b\u0001\u0000\u0000\u0000\u009b\u009c"+
"\u0001\u0000\u0000\u0000\u009c\u009d\u0005\"\u0000\u0000\u009d(\u0001"+
"\u0000\u0000\u0000\u009e\u00a0\u0003A \u0000\u009f\u009e\u0001\u0000\u0000"+
"\u0000\u00a0\u00a1\u0001\u0000\u0000\u0000\u00a1\u009f\u0001\u0000\u0000"+
"\u0000\u00a1\u00a2\u0001\u0000\u0000\u0000\u00a2*\u0001\u0000\u0000\u0000"+
"\u00a3\u00a4\u0005(\u0000\u0000\u00a4,\u0001\u0000\u0000\u0000\u00a5\u00a6"+
"\u0005)\u0000\u0000\u00a6.\u0001\u0000\u0000\u0000\u00a7\u00a8\u0005+"+
"\u0000\u0000\u00a80\u0001\u0000\u0000\u0000\u00a9\u00aa\u0005-\u0000\u0000"+
"\u00aa2\u0001\u0000\u0000\u0000\u00ab\u00ac\u0005/\u0000\u0000\u00ac4"+
"\u0001\u0000\u0000\u0000\u00ad\u00ae\u0005*\u0000\u0000\u00ae6\u0001\u0000"+
"\u0000\u0000\u00af\u00b0\u0005%\u0000\u0000\u00b08\u0001\u0000\u0000\u0000"+
"\u00b1\u00b5\u0007\u0000\u0000\u0000\u00b2\u00b4\u0007\u0001\u0000\u0000"+
"\u00b3\u00b2\u0001\u0000\u0000\u0000\u00b4\u00b7\u0001\u0000\u0000\u0000"+
"\u00b5\u00b3\u0001\u0000\u0000\u0000\u00b5\u00b6\u0001\u0000\u0000\u0000"+
"\u00b6:\u0001\u0000\u0000\u0000\u00b7\u00b5\u0001\u0000\u0000\u0000\u00b8"+
"\u00b9\u0007\u0002\u0000\u0000\u00b9\u00ba\u0006\u001d\u0000\u0000\u00ba"+
"<\u0001\u0000\u0000\u0000\u00bb\u00bc\u0005/\u0000\u0000\u00bc\u00bd\u0005"+
"/\u0000\u0000\u00bd\u00c1\u0001\u0000\u0000\u0000\u00be\u00c0\b\u0003"+
"\u0000\u0000\u00bf\u00be\u0001\u0000\u0000\u0000\u00c0\u00c3\u0001\u0000"+
"\u0000\u0000\u00c1\u00bf\u0001\u0000\u0000\u0000\u00c1\u00c2\u0001\u0000"+
"\u0000\u0000\u00c2\u00c4\u0001\u0000\u0000\u0000\u00c3\u00c1\u0001\u0000"+
"\u0000\u0000\u00c4\u00c5\u0006\u001e\u0001\u0000\u00c5>\u0001\u0000\u0000"+
"\u0000\u00c6\u00c7\u0002az\u0000\u00c7@\u0001\u0000\u0000\u0000\u00c8"+
"\u00c9\u000209\u0000\u00c9B\u0001\u0000\u0000\u0000\u00ca\u00cb\b\u0004"+
"\u0000\u0000\u00cbD\u0001\u0000\u0000\u0000\u0005\u0000\u009a\u00a1\u00b5"+
"\u00c1\u0002\u0001\u001d\u0000\u0001\u001e\u0001";
public static final ATN _ATN =
new ATNDeserializer().deserialize(_serializedATN.toCharArray());
static {
_decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
_decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
}
}
}

View File

@@ -1,57 +0,0 @@
FUNCTION=1
PROTOTYPE=2
TYPE_INT=3
TYPE_VOID=4
LE=5
LT=6
GE=7
GT=8
ASSIGN=9
IF=10
THEN=11
ELSE=12
FIN=13
WHILE=14
DO=15
DONE=16
READ=17
PRINT=18
RETURN=19
TEXT=20
NUMBER=21
ParO=22
ParF=23
PLUS=24
MINUS=25
DIV=26
TIMES=27
MOD=28
IDENT=29
WS=30
COMMENT=31
'FUNC'=1
'PROTO'=2
'INT'=3
'VOID'=4
'<='=5
'<'=6
'>='=7
'>'=8
':='=9
'IF'=10
'THEN'=11
'ELSE'=12
'FI'=13
'WHILE'=14
'DO'=15
'DONE'=16
'READ'=17
'PRINT'=18
'RETURN'=19
'('=22
')'=23
'+'=24
'-'=25
'/'=26
'*'=27
'%'=28

View File

@@ -1,83 +0,0 @@
token literal names:
null
'FUNC'
'PROTO'
'INT'
'VOID'
'<='
'<'
'>='
'>'
':='
'IF'
'THEN'
'ELSE'
'FI'
'WHILE'
'DO'
'DONE'
'READ'
'PRINT'
'RETURN'
null
null
'('
')'
'+'
'-'
'/'
'*'
'%'
null
null
null
token symbolic names:
null
FUNCTION
PROTOTYPE
TYPE_INT
TYPE_VOID
LE
LT
GE
GT
ASSIGN
IF
THEN
ELSE
FIN
WHILE
DO
DONE
READ
PRINT
RETURN
TEXT
NUMBER
ParO
ParF
PLUS
MINUS
DIV
TIMES
MOD
IDENT
WS
COMMENT
rule names:
program
function
prototype
list_instr
instruction
expression
td_expression
lit
ident
type
atn:
[4, 1, 31, 91, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 33, 8, 1, 10, 1, 12, 1, 36, 9, 1, 1, 2, 1, 2, 1, 3, 1, 3, 1, 3, 4, 3, 43, 8, 3, 11, 3, 12, 3, 44, 1, 4, 1, 4, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 5, 5, 57, 8, 5, 10, 5, 12, 5, 60, 9, 5, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 5, 6, 68, 8, 6, 10, 6, 12, 6, 71, 9, 6, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 3, 7, 80, 8, 7, 1, 8, 1, 8, 1, 8, 1, 9, 1, 9, 1, 9, 1, 9, 3, 9, 89, 8, 9, 1, 9, 0, 0, 10, 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 0, 2, 1, 0, 24, 25, 1, 0, 26, 28, 86, 0, 20, 1, 0, 0, 0, 2, 34, 1, 0, 0, 0, 4, 37, 1, 0, 0, 0, 6, 42, 1, 0, 0, 0, 8, 46, 1, 0, 0, 0, 10, 50, 1, 0, 0, 0, 12, 61, 1, 0, 0, 0, 14, 79, 1, 0, 0, 0, 16, 81, 1, 0, 0, 0, 18, 88, 1, 0, 0, 0, 20, 21, 3, 2, 1, 0, 21, 22, 5, 0, 0, 1, 22, 23, 6, 0, -1, 0, 23, 1, 1, 0, 0, 0, 24, 25, 5, 1, 0, 0, 25, 26, 3, 18, 9, 0, 26, 27, 3, 16, 8, 0, 27, 28, 5, 22, 0, 0, 28, 29, 5, 23, 0, 0, 29, 30, 3, 6, 3, 0, 30, 31, 6, 1, -1, 0, 31, 33, 1, 0, 0, 0, 32, 24, 1, 0, 0, 0, 33, 36, 1, 0, 0, 0, 34, 32, 1, 0, 0, 0, 34, 35, 1, 0, 0, 0, 35, 3, 1, 0, 0, 0, 36, 34, 1, 0, 0, 0, 37, 38, 1, 0, 0, 0, 38, 5, 1, 0, 0, 0, 39, 40, 3, 8, 4, 0, 40, 41, 6, 3, -1, 0, 41, 43, 1, 0, 0, 0, 42, 39, 1, 0, 0, 0, 43, 44, 1, 0, 0, 0, 44, 42, 1, 0, 0, 0, 44, 45, 1, 0, 0, 0, 45, 7, 1, 0, 0, 0, 46, 47, 5, 19, 0, 0, 47, 48, 3, 10, 5, 0, 48, 49, 6, 4, -1, 0, 49, 9, 1, 0, 0, 0, 50, 51, 3, 12, 6, 0, 51, 58, 6, 5, -1, 0, 52, 53, 7, 0, 0, 0, 53, 54, 3, 12, 6, 0, 54, 55, 6, 5, -1, 0, 55, 57, 1, 0, 0, 0, 56, 52, 1, 0, 0, 0, 57, 60, 1, 0, 0, 0, 58, 56, 1, 0, 0, 0, 58, 59, 1, 0, 0, 0, 59, 11, 1, 0, 0, 0, 60, 58, 1, 0, 0, 0, 61, 62, 3, 14, 7, 0, 62, 69, 6, 6, -1, 0, 63, 64, 7, 1, 0, 0, 64, 65, 3, 14, 7, 0, 65, 66, 6, 6, -1, 0, 66, 68, 1, 0, 0, 0, 67, 63, 1, 0, 0, 0, 68, 71, 1, 0, 0, 0, 69, 67, 1, 0, 0, 0, 69, 70, 1, 0, 0, 0, 70, 13, 1, 0, 0, 0, 71, 69, 1, 0, 0, 0, 72, 73, 5, 21, 0, 0, 73, 80, 6, 7, -1, 0, 74, 75, 5, 22, 0, 0, 75, 76, 3, 10, 5, 0, 76, 77, 5, 23, 0, 0, 77, 78, 6, 7, -1, 0, 78, 80, 1, 0, 0, 0, 79, 72, 1, 0, 0, 0, 79, 74, 1, 0, 0, 0, 80, 15, 1, 0, 0, 0, 81, 82, 5, 29, 0, 0, 82, 83, 6, 8, -1, 0, 83, 17, 1, 0, 0, 0, 84, 85, 5, 3, 0, 0, 85, 89, 6, 9, -1, 0, 86, 87, 5, 4, 0, 0, 87, 89, 6, 9, -1, 0, 88, 84, 1, 0, 0, 0, 88, 86, 1, 0, 0, 0, 89, 19, 1, 0, 0, 0, 6, 34, 44, 58, 69, 79, 88]

View File

@@ -1,771 +0,0 @@
// Generated from /home/tuanvu/Desktop/M1/S8/PDS/tp2-vsl-pds/src/main/antlr/VSLParser.g by ANTLR 4.13.1
package TP2;
import TP2.asd.Program.*;
import TP2.asd.*;
import TP2.asd.Interface.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.misc.*;
import org.antlr.v4.runtime.tree.*;
import java.util.List;
import java.util.Iterator;
import java.util.ArrayList;
@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast", "CheckReturnValue"})
public class VSLParser extends Parser {
static { RuntimeMetaData.checkVersion("4.13.1", RuntimeMetaData.VERSION); }
protected static final DFA[] _decisionToDFA;
protected static final PredictionContextCache _sharedContextCache =
new PredictionContextCache();
public static final int
FUNCTION=1, PROTOTYPE=2, TYPE_INT=3, TYPE_VOID=4, LE=5, LT=6, GE=7, GT=8,
ASSIGN=9, IF=10, THEN=11, ELSE=12, FIN=13, WHILE=14, DO=15, DONE=16, READ=17,
PRINT=18, RETURN=19, TEXT=20, NUMBER=21, ParO=22, ParF=23, PLUS=24, MINUS=25,
DIV=26, TIMES=27, MOD=28, IDENT=29, WS=30, COMMENT=31;
public static final int
RULE_program = 0, RULE_function = 1, RULE_prototype = 2, RULE_list_instr = 3,
RULE_instruction = 4, RULE_expression = 5, RULE_td_expression = 6, RULE_lit = 7,
RULE_ident = 8, RULE_type = 9;
private static String[] makeRuleNames() {
return new String[] {
"program", "function", "prototype", "list_instr", "instruction", "expression",
"td_expression", "lit", "ident", "type"
};
}
public static final String[] ruleNames = makeRuleNames();
private static String[] makeLiteralNames() {
return new String[] {
null, "'FUNC'", "'PROTO'", "'INT'", "'VOID'", "'<='", "'<'", "'>='",
"'>'", "':='", "'IF'", "'THEN'", "'ELSE'", "'FI'", "'WHILE'", "'DO'",
"'DONE'", "'READ'", "'PRINT'", "'RETURN'", null, null, "'('", "')'",
"'+'", "'-'", "'/'", "'*'", "'%'"
};
}
private static final String[] _LITERAL_NAMES = makeLiteralNames();
private static String[] makeSymbolicNames() {
return new String[] {
null, "FUNCTION", "PROTOTYPE", "TYPE_INT", "TYPE_VOID", "LE", "LT", "GE",
"GT", "ASSIGN", "IF", "THEN", "ELSE", "FIN", "WHILE", "DO", "DONE", "READ",
"PRINT", "RETURN", "TEXT", "NUMBER", "ParO", "ParF", "PLUS", "MINUS",
"DIV", "TIMES", "MOD", "IDENT", "WS", "COMMENT"
};
}
private static final String[] _SYMBOLIC_NAMES = makeSymbolicNames();
public static final Vocabulary VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES);
/**
* @deprecated Use {@link #VOCABULARY} instead.
*/
@Deprecated
public static final String[] tokenNames;
static {
tokenNames = new String[_SYMBOLIC_NAMES.length];
for (int i = 0; i < tokenNames.length; i++) {
tokenNames[i] = VOCABULARY.getLiteralName(i);
if (tokenNames[i] == null) {
tokenNames[i] = VOCABULARY.getSymbolicName(i);
}
if (tokenNames[i] == null) {
tokenNames[i] = "<INVALID>";
}
}
}
@Override
@Deprecated
public String[] getTokenNames() {
return tokenNames;
}
@Override
public Vocabulary getVocabulary() {
return VOCABULARY;
}
@Override
public String getGrammarFileName() { return "VSLParser.g"; }
@Override
public String[] getRuleNames() { return ruleNames; }
@Override
public String getSerializedATN() { return _serializedATN; }
@Override
public ATN getATN() { return _ATN; }
public VSLParser(TokenStream input) {
super(input);
_interp = new ParserATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
}
@SuppressWarnings("CheckReturnValue")
public static class ProgramContext extends ParserRuleContext {
public ProgramImp p;
public FunctionContext func;
public TerminalNode EOF() { return getToken(VSLParser.EOF, 0); }
public FunctionContext function() {
return getRuleContext(FunctionContext.class,0);
}
public ProgramContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_program; }
}
public final ProgramContext program() throws RecognitionException {
ProgramContext _localctx = new ProgramContext(_ctx, getState());
enterRule(_localctx, 0, RULE_program);
try {
enterOuterAlt(_localctx, 1);
{
setState(20);
((ProgramContext)_localctx).func = function();
setState(21);
match(EOF);
((ProgramContext)_localctx).p = new ProgramImp(((ProgramContext)_localctx).func.out);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class FunctionContext extends ParserRuleContext {
public ArrayList<Function> out;
public TypeContext t;
public IdentContext i;
public List_instrContext instrs;
public List<TerminalNode> FUNCTION() { return getTokens(VSLParser.FUNCTION); }
public TerminalNode FUNCTION(int i) {
return getToken(VSLParser.FUNCTION, i);
}
public List<TerminalNode> ParO() { return getTokens(VSLParser.ParO); }
public TerminalNode ParO(int i) {
return getToken(VSLParser.ParO, i);
}
public List<TerminalNode> ParF() { return getTokens(VSLParser.ParF); }
public TerminalNode ParF(int i) {
return getToken(VSLParser.ParF, i);
}
public List<TypeContext> type() {
return getRuleContexts(TypeContext.class);
}
public TypeContext type(int i) {
return getRuleContext(TypeContext.class,i);
}
public List<IdentContext> ident() {
return getRuleContexts(IdentContext.class);
}
public IdentContext ident(int i) {
return getRuleContext(IdentContext.class,i);
}
public List<List_instrContext> list_instr() {
return getRuleContexts(List_instrContext.class);
}
public List_instrContext list_instr(int i) {
return getRuleContext(List_instrContext.class,i);
}
public FunctionContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_function; }
}
public final FunctionContext function() throws RecognitionException {
FunctionContext _localctx = new FunctionContext(_ctx, getState());
enterRule(_localctx, 2, RULE_function);
SymTable sym_table = new SymTable();
((FunctionContext)_localctx).out = new ArrayList<Function>();
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(34);
_errHandler.sync(this);
_la = _input.LA(1);
while (_la==FUNCTION) {
{
{
setState(24);
match(FUNCTION);
setState(25);
((FunctionContext)_localctx).t = type();
setState(26);
((FunctionContext)_localctx).i = ident();
setState(27);
match(ParO);
setState(28);
match(ParF);
setState(29);
((FunctionContext)_localctx).instrs = list_instr(sym_table);
_localctx.out.add(new FunctionImp(((FunctionContext)_localctx).t.return_type, ((FunctionContext)_localctx).i.out, ((FunctionContext)_localctx).instrs.out));
}
}
setState(36);
_errHandler.sync(this);
_la = _input.LA(1);
}
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class PrototypeContext extends ParserRuleContext {
public Program p;
public PrototypeContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_prototype; }
}
public final PrototypeContext prototype() throws RecognitionException {
PrototypeContext _localctx = new PrototypeContext(_ctx, getState());
enterRule(_localctx, 4, RULE_prototype);
try {
enterOuterAlt(_localctx, 1);
{
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class List_instrContext extends ParserRuleContext {
public SymTable table;
public ArrayList<Instruction> out;
public InstructionContext instruction;
public List<InstructionContext> instruction() {
return getRuleContexts(InstructionContext.class);
}
public InstructionContext instruction(int i) {
return getRuleContext(InstructionContext.class,i);
}
public List_instrContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); }
public List_instrContext(ParserRuleContext parent, int invokingState, SymTable table) {
super(parent, invokingState);
this.table = table;
}
@Override public int getRuleIndex() { return RULE_list_instr; }
}
public final List_instrContext list_instr(SymTable table) throws RecognitionException {
List_instrContext _localctx = new List_instrContext(_ctx, getState(), table);
enterRule(_localctx, 6, RULE_list_instr);
((List_instrContext)_localctx).out = new ArrayList<>();
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(42);
_errHandler.sync(this);
_la = _input.LA(1);
do {
{
{
setState(39);
((List_instrContext)_localctx).instruction = instruction(table);
_localctx.out.add(((List_instrContext)_localctx).instruction.out);
}
}
setState(44);
_errHandler.sync(this);
_la = _input.LA(1);
} while ( _la==RETURN );
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class InstructionContext extends ParserRuleContext {
public SymTable table;
public Instruction out;
public ExpressionContext e;
public TerminalNode RETURN() { return getToken(VSLParser.RETURN, 0); }
public ExpressionContext expression() {
return getRuleContext(ExpressionContext.class,0);
}
public InstructionContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); }
public InstructionContext(ParserRuleContext parent, int invokingState, SymTable table) {
super(parent, invokingState);
this.table = table;
}
@Override public int getRuleIndex() { return RULE_instruction; }
}
public final InstructionContext instruction(SymTable table) throws RecognitionException {
InstructionContext _localctx = new InstructionContext(_ctx, getState(), table);
enterRule(_localctx, 8, RULE_instruction);
try {
enterOuterAlt(_localctx, 1);
{
setState(46);
match(RETURN);
setState(47);
((InstructionContext)_localctx).e = expression(table);
((InstructionContext)_localctx).out = new Return_instrImp(((InstructionContext)_localctx).e.out);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class ExpressionContext extends ParserRuleContext {
public SymTable table;
public Type return_Type;
public Expression out;
public Td_expressionContext left;
public Token op;
public Td_expressionContext right;
public List<Td_expressionContext> td_expression() {
return getRuleContexts(Td_expressionContext.class);
}
public Td_expressionContext td_expression(int i) {
return getRuleContext(Td_expressionContext.class,i);
}
public List<TerminalNode> PLUS() { return getTokens(VSLParser.PLUS); }
public TerminalNode PLUS(int i) {
return getToken(VSLParser.PLUS, i);
}
public List<TerminalNode> MINUS() { return getTokens(VSLParser.MINUS); }
public TerminalNode MINUS(int i) {
return getToken(VSLParser.MINUS, i);
}
public ExpressionContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); }
public ExpressionContext(ParserRuleContext parent, int invokingState, SymTable table) {
super(parent, invokingState);
this.table = table;
}
@Override public int getRuleIndex() { return RULE_expression; }
}
public final ExpressionContext expression(SymTable table) throws RecognitionException {
ExpressionContext _localctx = new ExpressionContext(_ctx, getState(), table);
enterRule(_localctx, 10, RULE_expression);
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(50);
((ExpressionContext)_localctx).left = td_expression(table);
((ExpressionContext)_localctx).out = ((ExpressionContext)_localctx).left.out;
((ExpressionContext)_localctx).return_Type = ((ExpressionContext)_localctx).left.return_Type;
setState(58);
_errHandler.sync(this);
_la = _input.LA(1);
while (_la==PLUS || _la==MINUS) {
{
{
setState(52);
((ExpressionContext)_localctx).op = _input.LT(1);
_la = _input.LA(1);
if ( !(_la==PLUS || _la==MINUS) ) {
((ExpressionContext)_localctx).op = (Token)_errHandler.recoverInline(this);
}
else {
if ( _input.LA(1)==Token.EOF ) matchedEOF = true;
_errHandler.reportMatch(this);
consume();
}
setState(53);
((ExpressionContext)_localctx).right = td_expression(table);
((ExpressionContext)_localctx).out = new BinopExpressionImp(
switch(((ExpressionContext)_localctx).op.getType()) {
case PLUS -> Op.PLUS;
case MINUS -> Op.MINUS;
default -> throw new IllegalArgumentException("Unknown operator");
},
_localctx.out,
((ExpressionContext)_localctx).right.out
);
((ExpressionContext)_localctx).return_Type = ((ExpressionContext)_localctx).left.return_Type;
}
}
setState(60);
_errHandler.sync(this);
_la = _input.LA(1);
}
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class Td_expressionContext extends ParserRuleContext {
public SymTable table;
public Type return_Type;
public Expression out;
public LitContext left;
public Token op;
public LitContext right;
public List<LitContext> lit() {
return getRuleContexts(LitContext.class);
}
public LitContext lit(int i) {
return getRuleContext(LitContext.class,i);
}
public List<TerminalNode> TIMES() { return getTokens(VSLParser.TIMES); }
public TerminalNode TIMES(int i) {
return getToken(VSLParser.TIMES, i);
}
public List<TerminalNode> DIV() { return getTokens(VSLParser.DIV); }
public TerminalNode DIV(int i) {
return getToken(VSLParser.DIV, i);
}
public List<TerminalNode> MOD() { return getTokens(VSLParser.MOD); }
public TerminalNode MOD(int i) {
return getToken(VSLParser.MOD, i);
}
public Td_expressionContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); }
public Td_expressionContext(ParserRuleContext parent, int invokingState, SymTable table) {
super(parent, invokingState);
this.table = table;
}
@Override public int getRuleIndex() { return RULE_td_expression; }
}
public final Td_expressionContext td_expression(SymTable table) throws RecognitionException {
Td_expressionContext _localctx = new Td_expressionContext(_ctx, getState(), table);
enterRule(_localctx, 12, RULE_td_expression);
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(61);
((Td_expressionContext)_localctx).left = lit(table);
((Td_expressionContext)_localctx).out = ((Td_expressionContext)_localctx).left.out;
((Td_expressionContext)_localctx).return_Type = ((Td_expressionContext)_localctx).left.return_Type;
setState(69);
_errHandler.sync(this);
_la = _input.LA(1);
while ((((_la) & ~0x3f) == 0 && ((1L << _la) & 469762048L) != 0)) {
{
{
setState(63);
((Td_expressionContext)_localctx).op = _input.LT(1);
_la = _input.LA(1);
if ( !((((_la) & ~0x3f) == 0 && ((1L << _la) & 469762048L) != 0)) ) {
((Td_expressionContext)_localctx).op = (Token)_errHandler.recoverInline(this);
}
else {
if ( _input.LA(1)==Token.EOF ) matchedEOF = true;
_errHandler.reportMatch(this);
consume();
}
setState(64);
((Td_expressionContext)_localctx).right = lit(table);
((Td_expressionContext)_localctx).out = new Program.BinopExpressionImp(
switch(((Td_expressionContext)_localctx).op.getType()) {
case TIMES -> Op.TIMES;
case DIV -> Op.DIV;
case MOD -> Op.MOD;
default -> throw new IllegalArgumentException("Unknown operator");
},
_localctx.out,
((Td_expressionContext)_localctx).right.out
);
((Td_expressionContext)_localctx).return_Type = ((Td_expressionContext)_localctx).left.return_Type;
}
}
setState(71);
_errHandler.sync(this);
_la = _input.LA(1);
}
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class LitContext extends ParserRuleContext {
public SymTable table;
public Expression out;
public Type return_Type;
public Token NUMBER;
public ExpressionContext e;
public TerminalNode NUMBER() { return getToken(VSLParser.NUMBER, 0); }
public TerminalNode ParO() { return getToken(VSLParser.ParO, 0); }
public TerminalNode ParF() { return getToken(VSLParser.ParF, 0); }
public ExpressionContext expression() {
return getRuleContext(ExpressionContext.class,0);
}
public LitContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); }
public LitContext(ParserRuleContext parent, int invokingState, SymTable table) {
super(parent, invokingState);
this.table = table;
}
@Override public int getRuleIndex() { return RULE_lit; }
}
public final LitContext lit(SymTable table) throws RecognitionException {
LitContext _localctx = new LitContext(_ctx, getState(), table);
enterRule(_localctx, 14, RULE_lit);
try {
setState(79);
_errHandler.sync(this);
switch (_input.LA(1)) {
case NUMBER:
enterOuterAlt(_localctx, 1);
{
setState(72);
((LitContext)_localctx).NUMBER = match(NUMBER);
((LitContext)_localctx).return_Type = new Type_intImp();
((LitContext)_localctx).out = new ConstImp((((LitContext)_localctx).NUMBER!=null?Integer.valueOf(((LitContext)_localctx).NUMBER.getText()):0));
}
break;
case ParO:
enterOuterAlt(_localctx, 2);
{
setState(74);
match(ParO);
setState(75);
((LitContext)_localctx).e = expression(table);
setState(76);
match(ParF);
((LitContext)_localctx).out = ((LitContext)_localctx).e.out;
((LitContext)_localctx).return_Type = ((LitContext)_localctx).e.return_Type;
}
break;
default:
throw new NoViableAltException(this);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class IdentContext extends ParserRuleContext {
public String out;
public Token IDENT;
public TerminalNode IDENT() { return getToken(VSLParser.IDENT, 0); }
public IdentContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_ident; }
}
public final IdentContext ident() throws RecognitionException {
IdentContext _localctx = new IdentContext(_ctx, getState());
enterRule(_localctx, 16, RULE_ident);
try {
enterOuterAlt(_localctx, 1);
{
setState(81);
((IdentContext)_localctx).IDENT = match(IDENT);
((IdentContext)_localctx).out = ((IdentContext)_localctx).IDENT.getText();
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class TypeContext extends ParserRuleContext {
public Type return_type;
public TerminalNode TYPE_INT() { return getToken(VSLParser.TYPE_INT, 0); }
public TerminalNode TYPE_VOID() { return getToken(VSLParser.TYPE_VOID, 0); }
public TypeContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_type; }
}
public final TypeContext type() throws RecognitionException {
TypeContext _localctx = new TypeContext(_ctx, getState());
enterRule(_localctx, 18, RULE_type);
try {
setState(88);
_errHandler.sync(this);
switch (_input.LA(1)) {
case TYPE_INT:
enterOuterAlt(_localctx, 1);
{
setState(84);
match(TYPE_INT);
((TypeContext)_localctx).return_type = new Type_intImp();
}
break;
case TYPE_VOID:
enterOuterAlt(_localctx, 2);
{
setState(86);
match(TYPE_VOID);
((TypeContext)_localctx).return_type = new Type_voidImp();
}
break;
default:
throw new NoViableAltException(this);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
public static final String _serializedATN =
"\u0004\u0001\u001f[\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002"+
"\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002"+
"\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002"+
"\b\u0007\b\u0002\t\u0007\t\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000"+
"\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001"+
"\u0001\u0001\u0001\u0001\u0005\u0001!\b\u0001\n\u0001\f\u0001$\t\u0001"+
"\u0001\u0002\u0001\u0002\u0001\u0003\u0001\u0003\u0001\u0003\u0004\u0003"+
"+\b\u0003\u000b\u0003\f\u0003,\u0001\u0004\u0001\u0004\u0001\u0004\u0001"+
"\u0004\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001"+
"\u0005\u0005\u00059\b\u0005\n\u0005\f\u0005<\t\u0005\u0001\u0006\u0001"+
"\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0005\u0006D\b"+
"\u0006\n\u0006\f\u0006G\t\u0006\u0001\u0007\u0001\u0007\u0001\u0007\u0001"+
"\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0003\u0007P\b\u0007\u0001"+
"\b\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001\t\u0003\tY\b\t\u0001"+
"\t\u0000\u0000\n\u0000\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0000"+
"\u0002\u0001\u0000\u0018\u0019\u0001\u0000\u001a\u001cV\u0000\u0014\u0001"+
"\u0000\u0000\u0000\u0002\"\u0001\u0000\u0000\u0000\u0004%\u0001\u0000"+
"\u0000\u0000\u0006*\u0001\u0000\u0000\u0000\b.\u0001\u0000\u0000\u0000"+
"\n2\u0001\u0000\u0000\u0000\f=\u0001\u0000\u0000\u0000\u000eO\u0001\u0000"+
"\u0000\u0000\u0010Q\u0001\u0000\u0000\u0000\u0012X\u0001\u0000\u0000\u0000"+
"\u0014\u0015\u0003\u0002\u0001\u0000\u0015\u0016\u0005\u0000\u0000\u0001"+
"\u0016\u0017\u0006\u0000\uffff\uffff\u0000\u0017\u0001\u0001\u0000\u0000"+
"\u0000\u0018\u0019\u0005\u0001\u0000\u0000\u0019\u001a\u0003\u0012\t\u0000"+
"\u001a\u001b\u0003\u0010\b\u0000\u001b\u001c\u0005\u0016\u0000\u0000\u001c"+
"\u001d\u0005\u0017\u0000\u0000\u001d\u001e\u0003\u0006\u0003\u0000\u001e"+
"\u001f\u0006\u0001\uffff\uffff\u0000\u001f!\u0001\u0000\u0000\u0000 \u0018"+
"\u0001\u0000\u0000\u0000!$\u0001\u0000\u0000\u0000\" \u0001\u0000\u0000"+
"\u0000\"#\u0001\u0000\u0000\u0000#\u0003\u0001\u0000\u0000\u0000$\"\u0001"+
"\u0000\u0000\u0000%&\u0001\u0000\u0000\u0000&\u0005\u0001\u0000\u0000"+
"\u0000\'(\u0003\b\u0004\u0000()\u0006\u0003\uffff\uffff\u0000)+\u0001"+
"\u0000\u0000\u0000*\'\u0001\u0000\u0000\u0000+,\u0001\u0000\u0000\u0000"+
",*\u0001\u0000\u0000\u0000,-\u0001\u0000\u0000\u0000-\u0007\u0001\u0000"+
"\u0000\u0000./\u0005\u0013\u0000\u0000/0\u0003\n\u0005\u000001\u0006\u0004"+
"\uffff\uffff\u00001\t\u0001\u0000\u0000\u000023\u0003\f\u0006\u00003:"+
"\u0006\u0005\uffff\uffff\u000045\u0007\u0000\u0000\u000056\u0003\f\u0006"+
"\u000067\u0006\u0005\uffff\uffff\u000079\u0001\u0000\u0000\u000084\u0001"+
"\u0000\u0000\u00009<\u0001\u0000\u0000\u0000:8\u0001\u0000\u0000\u0000"+
":;\u0001\u0000\u0000\u0000;\u000b\u0001\u0000\u0000\u0000<:\u0001\u0000"+
"\u0000\u0000=>\u0003\u000e\u0007\u0000>E\u0006\u0006\uffff\uffff\u0000"+
"?@\u0007\u0001\u0000\u0000@A\u0003\u000e\u0007\u0000AB\u0006\u0006\uffff"+
"\uffff\u0000BD\u0001\u0000\u0000\u0000C?\u0001\u0000\u0000\u0000DG\u0001"+
"\u0000\u0000\u0000EC\u0001\u0000\u0000\u0000EF\u0001\u0000\u0000\u0000"+
"F\r\u0001\u0000\u0000\u0000GE\u0001\u0000\u0000\u0000HI\u0005\u0015\u0000"+
"\u0000IP\u0006\u0007\uffff\uffff\u0000JK\u0005\u0016\u0000\u0000KL\u0003"+
"\n\u0005\u0000LM\u0005\u0017\u0000\u0000MN\u0006\u0007\uffff\uffff\u0000"+
"NP\u0001\u0000\u0000\u0000OH\u0001\u0000\u0000\u0000OJ\u0001\u0000\u0000"+
"\u0000P\u000f\u0001\u0000\u0000\u0000QR\u0005\u001d\u0000\u0000RS\u0006"+
"\b\uffff\uffff\u0000S\u0011\u0001\u0000\u0000\u0000TU\u0005\u0003\u0000"+
"\u0000UY\u0006\t\uffff\uffff\u0000VW\u0005\u0004\u0000\u0000WY\u0006\t"+
"\uffff\uffff\u0000XT\u0001\u0000\u0000\u0000XV\u0001\u0000\u0000\u0000"+
"Y\u0013\u0001\u0000\u0000\u0000\u0006\",:EOX";
public static final ATN _ATN =
new ATNDeserializer().deserialize(_serializedATN.toCharArray());
static {
_decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
_decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
}
}
}

View File

@@ -1,57 +0,0 @@
FUNCTION=1
PROTOTYPE=2
TYPE_INT=3
TYPE_VOID=4
LE=5
LT=6
GE=7
GT=8
ASSIGN=9
IF=10
THEN=11
ELSE=12
FIN=13
WHILE=14
DO=15
DONE=16
READ=17
PRINT=18
RETURN=19
TEXT=20
NUMBER=21
ParO=22
ParF=23
PLUS=24
MINUS=25
DIV=26
TIMES=27
MOD=28
IDENT=29
WS=30
COMMENT=31
'FUNC'=1
'PROTO'=2
'INT'=3
'VOID'=4
'<='=5
'<'=6
'>='=7
'>'=8
':='=9
'IF'=10
'THEN'=11
'ELSE'=12
'FI'=13
'WHILE'=14
'DO'=15
'DONE'=16
'READ'=17
'PRINT'=18
'RETURN'=19
'('=22
')'=23
'+'=24
'-'=25
'/'=26
'*'=27
'%'=28

View File

@@ -1,166 +0,0 @@
// Generated from c:/Users/Thibaut/Documents/Git/PDS/tp2-vsl-pds/src/main/antlr/VSLParser.g by ANTLR 4.13.1
package TP2;
import TP2.asd.Program.*;
import TP2.asd.*;
import TP2.asd.Interface.*;
import TP2.asd.Eval.*;
import org.antlr.v4.runtime.ParserRuleContext;
import org.antlr.v4.runtime.tree.ErrorNode;
import org.antlr.v4.runtime.tree.TerminalNode;
/**
* This class provides an empty implementation of {@link VSLParserListener},
* which can be extended to create a listener which only needs to handle a subset
* of the available methods.
*/
@SuppressWarnings("CheckReturnValue")
public class VSLParserBaseListener implements VSLParserListener {
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterProgram(VSLParser.ProgramContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitProgram(VSLParser.ProgramContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterFunction(VSLParser.FunctionContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitFunction(VSLParser.FunctionContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterPrototype(VSLParser.PrototypeContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitPrototype(VSLParser.PrototypeContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterList_instr(VSLParser.List_instrContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitList_instr(VSLParser.List_instrContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterInstruction(VSLParser.InstructionContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitInstruction(VSLParser.InstructionContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterExpression(VSLParser.ExpressionContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitExpression(VSLParser.ExpressionContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterTd_expression(VSLParser.Td_expressionContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitTd_expression(VSLParser.Td_expressionContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterLit(VSLParser.LitContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitLit(VSLParser.LitContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterIdent(VSLParser.IdentContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitIdent(VSLParser.IdentContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterType(VSLParser.TypeContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitType(VSLParser.TypeContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterEveryRule(ParserRuleContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitEveryRule(ParserRuleContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void visitTerminal(TerminalNode node) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void visitErrorNode(ErrorNode node) { }
}

View File

@@ -1,116 +0,0 @@
// Generated from c:/Users/Thibaut/Documents/Git/PDS/tp2-vsl-pds/src/main/antlr/VSLParser.g by ANTLR 4.13.1
package TP2;
import TP2.asd.Program.*;
import TP2.asd.*;
import TP2.asd.Interface.*;
import TP2.asd.Eval.*;
import org.antlr.v4.runtime.tree.ParseTreeListener;
/**
* This interface defines a complete listener for a parse tree produced by
* {@link VSLParser}.
*/
public interface VSLParserListener extends ParseTreeListener {
/**
* Enter a parse tree produced by {@link VSLParser#program}.
* @param ctx the parse tree
*/
void enterProgram(VSLParser.ProgramContext ctx);
/**
* Exit a parse tree produced by {@link VSLParser#program}.
* @param ctx the parse tree
*/
void exitProgram(VSLParser.ProgramContext ctx);
/**
* Enter a parse tree produced by {@link VSLParser#function}.
* @param ctx the parse tree
*/
void enterFunction(VSLParser.FunctionContext ctx);
/**
* Exit a parse tree produced by {@link VSLParser#function}.
* @param ctx the parse tree
*/
void exitFunction(VSLParser.FunctionContext ctx);
/**
* Enter a parse tree produced by {@link VSLParser#prototype}.
* @param ctx the parse tree
*/
void enterPrototype(VSLParser.PrototypeContext ctx);
/**
* Exit a parse tree produced by {@link VSLParser#prototype}.
* @param ctx the parse tree
*/
void exitPrototype(VSLParser.PrototypeContext ctx);
/**
* Enter a parse tree produced by {@link VSLParser#list_instr}.
* @param ctx the parse tree
*/
void enterList_instr(VSLParser.List_instrContext ctx);
/**
* Exit a parse tree produced by {@link VSLParser#list_instr}.
* @param ctx the parse tree
*/
void exitList_instr(VSLParser.List_instrContext ctx);
/**
* Enter a parse tree produced by {@link VSLParser#instruction}.
* @param ctx the parse tree
*/
void enterInstruction(VSLParser.InstructionContext ctx);
/**
* Exit a parse tree produced by {@link VSLParser#instruction}.
* @param ctx the parse tree
*/
void exitInstruction(VSLParser.InstructionContext ctx);
/**
* Enter a parse tree produced by {@link VSLParser#expression}.
* @param ctx the parse tree
*/
void enterExpression(VSLParser.ExpressionContext ctx);
/**
* Exit a parse tree produced by {@link VSLParser#expression}.
* @param ctx the parse tree
*/
void exitExpression(VSLParser.ExpressionContext ctx);
/**
* Enter a parse tree produced by {@link VSLParser#td_expression}.
* @param ctx the parse tree
*/
void enterTd_expression(VSLParser.Td_expressionContext ctx);
/**
* Exit a parse tree produced by {@link VSLParser#td_expression}.
* @param ctx the parse tree
*/
void exitTd_expression(VSLParser.Td_expressionContext ctx);
/**
* Enter a parse tree produced by {@link VSLParser#lit}.
* @param ctx the parse tree
*/
void enterLit(VSLParser.LitContext ctx);
/**
* Exit a parse tree produced by {@link VSLParser#lit}.
* @param ctx the parse tree
*/
void exitLit(VSLParser.LitContext ctx);
/**
* Enter a parse tree produced by {@link VSLParser#ident}.
* @param ctx the parse tree
*/
void enterIdent(VSLParser.IdentContext ctx);
/**
* Exit a parse tree produced by {@link VSLParser#ident}.
* @param ctx the parse tree
*/
void exitIdent(VSLParser.IdentContext ctx);
/**
* Enter a parse tree produced by {@link VSLParser#type}.
* @param ctx the parse tree
*/
void enterType(VSLParser.TypeContext ctx);
/**
* Exit a parse tree produced by {@link VSLParser#type}.
* @param ctx the parse tree
*/
void exitType(VSLParser.TypeContext ctx);
}

View File

@@ -54,6 +54,10 @@ ParO: '('
;
ParF: ')'
;
BacO: '{'
;
BacF: '}'
;
PLUS: '+'
;
MINUS: '-'
@@ -64,9 +68,11 @@ TIMES: '*'
;
MOD: '%'
;
VIRGULE: ','
;
IDENT: ('a'..'z'|'A'..'Z')('a'..'z'|'A'..'Z'|'0'..'9'|'_'|'-')*
;
WS : (' '|'\n'|'\t') { skip(); }
WS : (' '|'\n'|'\t'| '\r') { skip(); }
;
COMMENT : '//' (~'\n')* { skip(); }

View File

@@ -31,12 +31,23 @@ program returns [ProgramImp p] :
function returns [ArrayList<Function> out]
@init{
SymTable sym_table = new SymTable();
sym_table.next_layer();
$out = new ArrayList<Function>();
}:
(FUNCTION t=type i=ident ParO ParF instrs=list_instr[sym_table]
{
$out.add(new FunctionImp($t.return_type, $i.out, $instrs.out));
})*
(FUNCTION t=type i=ident ParO ParF
(
BacO instrs=list_instr[sym_table] BacF
{
$out.add(new FunctionImp($t.return_type, $i.out, $instrs.out));
}
| instr= instruction[sym_table]
{
ArrayList<Instruction> single = new ArrayList<Instruction>();
single.add($instr.out);
$out.add(new FunctionImp($t.return_type, $i.out, single));
}
)*
)
;
prototype returns [Program p]:
@@ -52,10 +63,25 @@ list_instr [SymTable table] returns [ArrayList<Instruction> out]
;
instruction [SymTable table] returns [Instruction out]:
//RETURN
RETURN e=expression [table]
{
$out =new Return_instrImp($e.out);}
//| //ASSIGN
//i=ident ASSIGN e=expression [table]
// {
// $out = new AssignImp($i.out, $e.out);
// }
| //DECLARATION
t=type i=ident
{
$table.addVar($i.out,$t.return_type);
$out = new DeclarationImp($t.return_type, $i.out);
}(VIRGULE i2=ident
{
$table.addVar($i2.out,$t.return_type);
$out = new DeclarationImp($t.return_type, $i2.out);
})*
;
//Priorité lit(val, const ou paranthese) -> td_exp (*/%) -> exp (+-)

View File

@@ -40,6 +40,7 @@ public interface Interface{
public interface InstrVisitor<H,S>{
public S visitReturn(Return_instrImp e, H h);
public S visitAssign(AssignImp e, H h);
public S visitDeclaration(DeclarationImp e,H h);
}
//////////Expression

View File

@@ -184,6 +184,25 @@ public class Program{
}
}
public static record DeclarationImp(Type t, String s) implements Instruction{
@Override
public <H, S> S accept(InstrVisitor<H, S> v, H h) {
return v.visitDeclaration(this, h);
}
@Override
public String prettyprinter(String indent) {
return "declare "+t.toString()+s;
}
@Override
public ArrayList<InstructionLLVM> toLLVM() {
// TODO Auto-generated method stub
throw new UnsupportedOperationException("Unimplemented method 'toLLVM'");
}
}
public static record Type_voidImp() implements Type{
public String prettyprinter() {
@@ -241,8 +260,7 @@ public class Program{
@Override
public Integer visitReturn(Return_instrImp e, Map<String, Integer> h) {
ExprEval exprEval = new ExprEval();
return e.e().accept(exprEval, h);
return e.accept(this, h);
}
@Override
public Integer visitAssign(AssignImp e, Map<String, Integer> h) {
@@ -250,6 +268,10 @@ public class Program{
//TODO
return 1;
}
@Override
public Integer visitDeclaration(DeclarationImp e, Map<String, Integer> h) {
return e.accept(this, h);
}
}

View File

@@ -45,4 +45,15 @@ public class SymTable {
}
return false;
}
public String print_all(){
StringBuilder str = new StringBuilder();
for(int i= stackMap.size()-1; i>=0; i--){
str.append("level ").append(i).append("\n");
for(String s: stackMap.get(i).keySet()){
str.append(s).append(" ").append(stackMap.get(i).get(s)).append("\n");
}
}
return str.toString();
}
}

View File

@@ -0,0 +1,15 @@
package TP2.asd;
import TP2.asd.Interface.*;
import TP2.asd.Program.Type_intImp;
import TP2.asd.SymTable.*;
public class test_symtable{
private static final Type Type_intImp = null;
public static void main(String[] args){
SymTable test_symTable = new SymTable();
test_symTable.next_layer();
//test_symTable.peppapeek();
test_symTable.addVar("a", Type_intImp);
System.out.print(test_symTable.print_all());
}
}

View File

@@ -1 +1,3 @@
FUNC INT main() RETURN 0 + 1
FUNC INT main() {
INT a
RETURN 4 + 6 * 5 + 3 }