Commit 85a9810f authored by Fred Eisele's avatar Fred Eisele
Browse files

typeside evaluation resolution

parent c0511991
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/fe3/-ru88jt/AqlLexerRules.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/6y7/-ru88jt/AqlLexerRules.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.Lexer;
import org.antlr.v4.runtime.CharStream;
......
This diff is collapsed.
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/fe3/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/6y7/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.ParserRuleContext;
......@@ -1024,49 +1024,49 @@ public class AqlParserBaseListener implements AqlParserListener {
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterTypeside_EvalNumber(AqlParser.Typeside_EvalNumberContext ctx) { }
@Override public void enterTypesideEval_Number(AqlParser.TypesideEval_NumberContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitTypeside_EvalNumber(AqlParser.Typeside_EvalNumberContext ctx) { }
@Override public void exitTypesideEval_Number(AqlParser.TypesideEval_NumberContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterTypeside_EvalGen(AqlParser.Typeside_EvalGenContext ctx) { }
@Override public void enterTypesideEval_Gen(AqlParser.TypesideEval_GenContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitTypeside_EvalGen(AqlParser.Typeside_EvalGenContext ctx) { }
@Override public void exitTypesideEval_Gen(AqlParser.TypesideEval_GenContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterTypeside_InfixFunction(AqlParser.Typeside_InfixFunctionContext ctx) { }
@Override public void enterTypesideEval_Infix(AqlParser.TypesideEval_InfixContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitTypeside_InfixFunction(AqlParser.Typeside_InfixFunctionContext ctx) { }
@Override public void exitTypesideEval_Infix(AqlParser.TypesideEval_InfixContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterTypeside_EvalFunction(AqlParser.Typeside_EvalFunctionContext ctx) { }
@Override public void enterTypesideEval_Paren(AqlParser.TypesideEval_ParenContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitTypeside_EvalFunction(AqlParser.Typeside_EvalFunctionContext ctx) { }
@Override public void exitTypesideEval_Paren(AqlParser.TypesideEval_ParenContext ctx) { }
/**
* {@inheritDoc}
*
......
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/fe3/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/6y7/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.AbstractParseTreeVisitor;
......@@ -605,28 +605,28 @@ public class AqlParserBaseVisitor<T> extends AbstractParseTreeVisitor<T> impleme
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitTypeside_EvalNumber(AqlParser.Typeside_EvalNumberContext ctx) { return visitChildren(ctx); }
@Override public T visitTypesideEval_Number(AqlParser.TypesideEval_NumberContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitTypeside_EvalGen(AqlParser.Typeside_EvalGenContext ctx) { return visitChildren(ctx); }
@Override public T visitTypesideEval_Gen(AqlParser.TypesideEval_GenContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitTypeside_InfixFunction(AqlParser.Typeside_InfixFunctionContext ctx) { return visitChildren(ctx); }
@Override public T visitTypesideEval_Infix(AqlParser.TypesideEval_InfixContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitTypeside_EvalFunction(AqlParser.Typeside_EvalFunctionContext ctx) { return visitChildren(ctx); }
@Override public T visitTypesideEval_Paren(AqlParser.TypesideEval_ParenContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
......
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/fe3/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/6y7/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.ParseTreeListener;
......@@ -884,53 +884,53 @@ public interface AqlParserListener extends ParseTreeListener {
*/
void exitTypesideLocalType(AqlParser.TypesideLocalTypeContext ctx);
/**
* Enter a parse tree produced by the {@code Typeside_EvalNumber}
* Enter a parse tree produced by the {@code TypesideEval_Number}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
*/
void enterTypeside_EvalNumber(AqlParser.Typeside_EvalNumberContext ctx);
void enterTypesideEval_Number(AqlParser.TypesideEval_NumberContext ctx);
/**
* Exit a parse tree produced by the {@code Typeside_EvalNumber}
* Exit a parse tree produced by the {@code TypesideEval_Number}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
*/
void exitTypeside_EvalNumber(AqlParser.Typeside_EvalNumberContext ctx);
void exitTypesideEval_Number(AqlParser.TypesideEval_NumberContext ctx);
/**
* Enter a parse tree produced by the {@code Typeside_EvalGen}
* Enter a parse tree produced by the {@code TypesideEval_Gen}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
*/
void enterTypeside_EvalGen(AqlParser.Typeside_EvalGenContext ctx);
void enterTypesideEval_Gen(AqlParser.TypesideEval_GenContext ctx);
/**
* Exit a parse tree produced by the {@code Typeside_EvalGen}
* Exit a parse tree produced by the {@code TypesideEval_Gen}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
*/
void exitTypeside_EvalGen(AqlParser.Typeside_EvalGenContext ctx);
void exitTypesideEval_Gen(AqlParser.TypesideEval_GenContext ctx);
/**
* Enter a parse tree produced by the {@code Typeside_InfixFunction}
* Enter a parse tree produced by the {@code TypesideEval_Infix}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
*/
void enterTypeside_InfixFunction(AqlParser.Typeside_InfixFunctionContext ctx);
void enterTypesideEval_Infix(AqlParser.TypesideEval_InfixContext ctx);
/**
* Exit a parse tree produced by the {@code Typeside_InfixFunction}
* Exit a parse tree produced by the {@code TypesideEval_Infix}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
*/
void exitTypeside_InfixFunction(AqlParser.Typeside_InfixFunctionContext ctx);
void exitTypesideEval_Infix(AqlParser.TypesideEval_InfixContext ctx);
/**
* Enter a parse tree produced by the {@code Typeside_EvalFunction}
* Enter a parse tree produced by the {@code TypesideEval_Paren}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
*/
void enterTypeside_EvalFunction(AqlParser.Typeside_EvalFunctionContext ctx);
void enterTypesideEval_Paren(AqlParser.TypesideEval_ParenContext ctx);
/**
* Exit a parse tree produced by the {@code Typeside_EvalFunction}
* Exit a parse tree produced by the {@code TypesideEval_Paren}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
*/
void exitTypeside_EvalFunction(AqlParser.Typeside_EvalFunctionContext ctx);
void exitTypesideEval_Paren(AqlParser.TypesideEval_ParenContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#typesideLiteral}.
* @param ctx the parse tree
......
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/fe3/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/6y7/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.ParseTreeVisitor;
......@@ -533,33 +533,33 @@ public interface AqlParserVisitor<T> extends ParseTreeVisitor<T> {
*/
T visitTypesideLocalType(AqlParser.TypesideLocalTypeContext ctx);
/**
* Visit a parse tree produced by the {@code Typeside_EvalNumber}
* Visit a parse tree produced by the {@code TypesideEval_Number}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitTypeside_EvalNumber(AqlParser.Typeside_EvalNumberContext ctx);
T visitTypesideEval_Number(AqlParser.TypesideEval_NumberContext ctx);
/**
* Visit a parse tree produced by the {@code Typeside_EvalGen}
* Visit a parse tree produced by the {@code TypesideEval_Gen}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitTypeside_EvalGen(AqlParser.Typeside_EvalGenContext ctx);
T visitTypesideEval_Gen(AqlParser.TypesideEval_GenContext ctx);
/**
* Visit a parse tree produced by the {@code Typeside_InfixFunction}
* Visit a parse tree produced by the {@code TypesideEval_Infix}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitTypeside_InfixFunction(AqlParser.Typeside_InfixFunctionContext ctx);
T visitTypesideEval_Infix(AqlParser.TypesideEval_InfixContext ctx);
/**
* Visit a parse tree produced by the {@code Typeside_EvalFunction}
* Visit a parse tree produced by the {@code TypesideEval_Paren}
* labeled alternative in {@link AqlParser#typesideEval}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitTypeside_EvalFunction(AqlParser.Typeside_EvalFunctionContext ctx);
T visitTypesideEval_Paren(AqlParser.TypesideEval_ParenContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#typesideLiteral}.
* @param ctx the parse tree
......
......@@ -82,7 +82,7 @@ typesideJavaStatement : STRING ;
typesideEquationSig
: FORALL
(typesideLocal (COMMA typesideLocal)* | typesideLocal+)
typesideLocal (COMMA typesideLocal | typesideLocal)*
DOT typesideEval EQUAL typesideEval
| typesideEval EQUAL typesideEval
;
......@@ -92,16 +92,16 @@ typesideLocalType : symbol ;
typesideEval
: NUMBER
#Typeside_EvalNumber
#TypesideEval_Number
| typesideLiteral
#Typeside_EvalGen
#TypesideEval_Gen
| LPAREN typesideEval typesideFnName typesideEval RPAREN
#Typeside_InfixFunction
#TypesideEval_Infix
| typesideFnName LPAREN typesideEval (COMMA typesideEval)* RPAREN
#Typeside_EvalFunction
#TypesideEval_Paren
;
typesideLiteral
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment