Commit c0511991 authored by Fred Eisele's avatar Fred Eisele
Browse files

include typeside constants with functions

parent 040743c9
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/3uu/-ru88jt/AqlLexerRules.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/fe3/-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/3uu/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/fe3/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.ParserRuleContext;
......@@ -875,18 +875,6 @@ public class AqlParserBaseListener implements AqlParserListener {
* <p>The default implementation does nothing.</p>
*/
@Override public void exitTypesideConstantSig(AqlParser.TypesideConstantSigContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterTypesideConstantValue(AqlParser.TypesideConstantValueContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitTypesideConstantValue(AqlParser.TypesideConstantValueContext ctx) { }
/**
* {@inheritDoc}
*
......
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/3uu/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/fe3/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.AbstractParseTreeVisitor;
......@@ -515,13 +515,6 @@ public class AqlParserBaseVisitor<T> extends AbstractParseTreeVisitor<T> impleme
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitTypesideConstantSig(AqlParser.TypesideConstantSigContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitTypesideConstantValue(AqlParser.TypesideConstantValueContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
......
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/3uu/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/fe3/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.ParseTreeListener;
......@@ -763,16 +763,6 @@ public interface AqlParserListener extends ParseTreeListener {
* @param ctx the parse tree
*/
void exitTypesideConstantSig(AqlParser.TypesideConstantSigContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#typesideConstantValue}.
* @param ctx the parse tree
*/
void enterTypesideConstantValue(AqlParser.TypesideConstantValueContext ctx);
/**
* Exit a parse tree produced by {@link AqlParser#typesideConstantValue}.
* @param ctx the parse tree
*/
void exitTypesideConstantValue(AqlParser.TypesideConstantValueContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#typesideJavaConstantSig}.
* @param ctx the parse tree
......
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/3uu/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/fe3/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.ParseTreeVisitor;
......@@ -460,12 +460,6 @@ public interface AqlParserVisitor<T> extends ParseTreeVisitor<T> {
* @return the visitor result
*/
T visitTypesideConstantSig(AqlParser.TypesideConstantSigContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#typesideConstantValue}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitTypesideConstantValue(AqlParser.TypesideConstantValueContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#typesideJavaConstantSig}.
* @param ctx the parse tree
......
......@@ -47,13 +47,19 @@ typesideTypeId : (TRUE | FALSE | symbol) ;
typesideJavaType : STRING ;
typesideConstantSig
: typesideConstantId+ COLON typesideConstantValue
: typesideConstantId+ COLON typesideTypeId
;
typesideConstantValue : symbol ;
typesideJavaConstantSig : typesideConstantId EQUAL typesideJavaConstantValue ;
typesideConstantId : (truthy | STRING | INTEGER | LOWER_ID | UPPER_ID) ;
typesideConstantId
: truthy
| STRING
| INTEGER
| LOWER_ID
| UPPER_ID
;
typesideJavaConstantValue : STRING ;
typesideFunctionSig
......
......@@ -67,7 +67,7 @@
[:typesideConstantSig
[:typesideConstantId "zero"]
":"
[:typesideConstantValue [:symbol "Nat"]]]
[:typesideTypeId [:symbol "Nat"]]]
"functions"
[:typesideFunctionSig
[:typesideFnName [:symbol "succ"]]
......
......@@ -19,7 +19,7 @@
[:typesideConstantId "\"250\""]
[:typesideConstantId "\"300\""]
":"
[:typesideConstantValue [:symbol "int"]]]
[:typesideTypeId [:symbol "int"]]]
"java_types"
[:typesideJavaTypeSig
[:typesideTypeId [:symbol "string"]]
......
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