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

up

parent 33774247
This diff is collapsed.
This diff is collapsed.
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/np3/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/b61/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.ParserRuleContext;
......@@ -4228,37 +4228,97 @@ public class AqlParserBaseListener implements AqlParserListener {
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterConstraintGen(AqlParser.ConstraintGenContext ctx) { }
@Override public void enterConstraintUniversal(AqlParser.ConstraintUniversalContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitConstraintGen(AqlParser.ConstraintGenContext ctx) { }
@Override public void exitConstraintUniversal(AqlParser.ConstraintUniversalContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterConstraintExistential(AqlParser.ConstraintExistentialContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitConstraintExistential(AqlParser.ConstraintExistentialContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterConstraintUniversalEquation(AqlParser.ConstraintUniversalEquationContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitConstraintUniversalEquation(AqlParser.ConstraintUniversalEquationContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterConstraintExistentialEquation(AqlParser.ConstraintExistentialEquationContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterConstraintEquation(AqlParser.ConstraintEquationContext ctx) { }
@Override public void exitConstraintExistentialEquation(AqlParser.ConstraintExistentialEquationContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitConstraintEquation(AqlParser.ConstraintEquationContext ctx) { }
@Override public void enterConstraintPath_Param(AqlParser.ConstraintPath_ParamContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterConstraintPath(AqlParser.ConstraintPathContext ctx) { }
@Override public void exitConstraintPath_Param(AqlParser.ConstraintPath_ParamContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitConstraintPath(AqlParser.ConstraintPathContext ctx) { }
@Override public void enterConstraintPath_ArrowId(AqlParser.ConstraintPath_ArrowIdContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitConstraintPath_ArrowId(AqlParser.ConstraintPath_ArrowIdContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterConstraintPath_Dotted(AqlParser.ConstraintPath_DottedContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitConstraintPath_Dotted(AqlParser.ConstraintPath_DottedContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterConstraintGen(AqlParser.ConstraintGenContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitConstraintGen(AqlParser.ConstraintGenContext ctx) { }
/**
* {@inheritDoc}
......
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/np3/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/b61/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.AbstractParseTreeVisitor;
......@@ -2474,19 +2474,54 @@ 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 visitConstraintGen(AqlParser.ConstraintGenContext ctx) { return visitChildren(ctx); }
@Override public T visitConstraintUniversal(AqlParser.ConstraintUniversalContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitConstraintExistential(AqlParser.ConstraintExistentialContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitConstraintUniversalEquation(AqlParser.ConstraintUniversalEquationContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitConstraintExistentialEquation(AqlParser.ConstraintExistentialEquationContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitConstraintPath_Param(AqlParser.ConstraintPath_ParamContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitConstraintPath_ArrowId(AqlParser.ConstraintPath_ArrowIdContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitConstraintEquation(AqlParser.ConstraintEquationContext ctx) { return visitChildren(ctx); }
@Override public T visitConstraintPath_Dotted(AqlParser.ConstraintPath_DottedContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitConstraintPath(AqlParser.ConstraintPathContext ctx) { return visitChildren(ctx); }
@Override public T visitConstraintGen(AqlParser.ConstraintGenContext ctx) { return visitChildren(ctx); }
}
\ No newline at end of file
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/np3/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/b61/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.ParseTreeListener;
......@@ -3812,33 +3812,89 @@ public interface AqlParserListener extends ParseTreeListener {
*/
void exitConstraintExpr(AqlParser.ConstraintExprContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#constraintGen}.
* Enter a parse tree produced by {@link AqlParser#constraintUniversal}.
* @param ctx the parse tree
*/
void enterConstraintGen(AqlParser.ConstraintGenContext ctx);
void enterConstraintUniversal(AqlParser.ConstraintUniversalContext ctx);
/**
* Exit a parse tree produced by {@link AqlParser#constraintGen}.
* Exit a parse tree produced by {@link AqlParser#constraintUniversal}.
* @param ctx the parse tree
*/
void exitConstraintGen(AqlParser.ConstraintGenContext ctx);
void exitConstraintUniversal(AqlParser.ConstraintUniversalContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#constraintExistential}.
* @param ctx the parse tree
*/
void enterConstraintExistential(AqlParser.ConstraintExistentialContext ctx);
/**
* Exit a parse tree produced by {@link AqlParser#constraintExistential}.
* @param ctx the parse tree
*/
void exitConstraintExistential(AqlParser.ConstraintExistentialContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#constraintUniversalEquation}.
* @param ctx the parse tree
*/
void enterConstraintUniversalEquation(AqlParser.ConstraintUniversalEquationContext ctx);
/**
* Exit a parse tree produced by {@link AqlParser#constraintUniversalEquation}.
* @param ctx the parse tree
*/
void exitConstraintUniversalEquation(AqlParser.ConstraintUniversalEquationContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#constraintExistentialEquation}.
* @param ctx the parse tree
*/
void enterConstraintExistentialEquation(AqlParser.ConstraintExistentialEquationContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#constraintEquation}.
* Exit a parse tree produced by {@link AqlParser#constraintExistentialEquation}.
* @param ctx the parse tree
*/
void enterConstraintEquation(AqlParser.ConstraintEquationContext ctx);
void exitConstraintExistentialEquation(AqlParser.ConstraintExistentialEquationContext ctx);
/**
* Exit a parse tree produced by {@link AqlParser#constraintEquation}.
* Enter a parse tree produced by the {@code ConstraintPath_Param}
* labeled alternative in {@link AqlParser#constraintPath}.
* @param ctx the parse tree
*/
void exitConstraintEquation(AqlParser.ConstraintEquationContext ctx);
void enterConstraintPath_Param(AqlParser.ConstraintPath_ParamContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#constraintPath}.
* Exit a parse tree produced by the {@code ConstraintPath_Param}
* labeled alternative in {@link AqlParser#constraintPath}.
* @param ctx the parse tree
*/
void enterConstraintPath(AqlParser.ConstraintPathContext ctx);
void exitConstraintPath_Param(AqlParser.ConstraintPath_ParamContext ctx);
/**
* Exit a parse tree produced by {@link AqlParser#constraintPath}.
* Enter a parse tree produced by the {@code ConstraintPath_ArrowId}
* labeled alternative in {@link AqlParser#constraintPath}.
* @param ctx the parse tree
*/
void exitConstraintPath(AqlParser.ConstraintPathContext ctx);
void enterConstraintPath_ArrowId(AqlParser.ConstraintPath_ArrowIdContext ctx);
/**
* Exit a parse tree produced by the {@code ConstraintPath_ArrowId}
* labeled alternative in {@link AqlParser#constraintPath}.
* @param ctx the parse tree
*/
void exitConstraintPath_ArrowId(AqlParser.ConstraintPath_ArrowIdContext ctx);
/**
* Enter a parse tree produced by the {@code ConstraintPath_Dotted}
* labeled alternative in {@link AqlParser#constraintPath}.
* @param ctx the parse tree
*/
void enterConstraintPath_Dotted(AqlParser.ConstraintPath_DottedContext ctx);
/**
* Exit a parse tree produced by the {@code ConstraintPath_Dotted}
* labeled alternative in {@link AqlParser#constraintPath}.
* @param ctx the parse tree
*/
void exitConstraintPath_Dotted(AqlParser.ConstraintPath_DottedContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#constraintGen}.
* @param ctx the parse tree
*/
void enterConstraintGen(AqlParser.ConstraintGenContext ctx);
/**
* Exit a parse tree produced by {@link AqlParser#constraintGen}.
* @param ctx the parse tree
*/
void exitConstraintGen(AqlParser.ConstraintGenContext ctx);
}
\ No newline at end of file
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/np3/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/b61/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.ParseTreeVisitor;
......@@ -2264,21 +2264,54 @@ public interface AqlParserVisitor<T> extends ParseTreeVisitor<T> {
*/
T visitConstraintExpr(AqlParser.ConstraintExprContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#constraintGen}.
* Visit a parse tree produced by {@link AqlParser#constraintUniversal}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitConstraintGen(AqlParser.ConstraintGenContext ctx);
T visitConstraintUniversal(AqlParser.ConstraintUniversalContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#constraintExistential}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitConstraintExistential(AqlParser.ConstraintExistentialContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#constraintUniversalEquation}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitConstraintUniversalEquation(AqlParser.ConstraintUniversalEquationContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#constraintExistentialEquation}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitConstraintExistentialEquation(AqlParser.ConstraintExistentialEquationContext ctx);
/**
* Visit a parse tree produced by the {@code ConstraintPath_Param}
* labeled alternative in {@link AqlParser#constraintPath}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitConstraintPath_Param(AqlParser.ConstraintPath_ParamContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#constraintEquation}.
* Visit a parse tree produced by the {@code ConstraintPath_ArrowId}
* labeled alternative in {@link AqlParser#constraintPath}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitConstraintEquation(AqlParser.ConstraintEquationContext ctx);
T visitConstraintPath_ArrowId(AqlParser.ConstraintPath_ArrowIdContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#constraintPath}.
* Visit a parse tree produced by the {@code ConstraintPath_Dotted}
* labeled alternative in {@link AqlParser#constraintPath}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitConstraintPath(AqlParser.ConstraintPathContext ctx);
T visitConstraintPath_Dotted(AqlParser.ConstraintPath_DottedContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#constraintGen}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitConstraintGen(AqlParser.ConstraintGenContext ctx);
}
\ No newline at end of file
......@@ -27,18 +27,17 @@ constraintLiteralSection
constraintExpr
: FORALL constraintUniversal+
(WHERE constraintEquation+)?
(WHERE constraintUniversalEquation+)?
RARROW
(EXISTS constraintExistential+)?
(WHERE constraintEquation+)?
(EXISTS UNIQUE? constraintExistential+)?
(WHERE constraintExistentialEquation+)?
;
constraintUniversal : constraintGen+ COLON schemaEntityId ;
constraintExistential : constraintGen COLON schemaEntityId ;
constraintExistential : constraintGen+ COLON schemaEntityId ;
constraintGen : symbol ;
constraintEquation : constraintPath EQUAL constraintPath ;
constraintUniversalEquation : constraintPath EQUAL constraintPath ;
constraintExistentialEquation : constraintPath EQUAL constraintPath ;
constraintPath
: schemaArrowId # ConstraintPath_ArrowId
......@@ -46,3 +45,5 @@ constraintPath
| schemaArrowId LPAREN constraintPath RPAREN
# ConstraintPath_Param
;
constraintGen : symbol ;
......@@ -111,6 +111,7 @@ IMPORTS : 'imports' ;
FORALL : 'forall' ;
WHERE : 'where' ;
EXISTS : 'exists' ;
UNIQUE : 'unique' ;
GRAPH : 'graph' ;
NODES : 'nodes' ;
......
......@@ -17,330 +17,332 @@ IMPORTS=16
FORALL=17
WHERE=18
EXISTS=19
GRAPH=20
NODES=21
EDGES=22
INSTANCE=23
EMPTY=24
SRC=25
DST=26
DISTINCT=27
EVAL=28
COEVAL=29
DELTA=30
SIGMA=31
COPRODUCT_SIGMA=32
COPRODUCT=33
UNION=34
COPRODUCT_UNRESTRICTED=35
COEQUALIZE=36
COLIMIT=37
IMPORT_JDBC=38
QUOTIENT_JDBC=39
QUOTIENT_CSV=40
IMPORT_JDBC_ALL=41
IMPORT_CSV=42
STATIC_TYPING=43
QUOTIENT=44
CHASE=45
RANDOM=46
GENERATORS=47
EQUATIONS=48
MULTI_EQUATIONS=49
RANDOM_SEED=50
ANONYMIZE=51
FROZEN=52
PI=53
MAPPING=54
IDENTITY=55
ENTITY=56
ENTITIES=57
FOREIGN_KEYS=58
ATTRIBUTES=59
LAMBDA=60
IMPORT_JOINED=61
MAP_NULLS_ARBITRARILY_UNSAFE=62
INTERPRET_AS_ALGEGRA=63
PREPEND_ENTITY_ON_IDS=64
NUM_THREADS=65
TIMEOUT=66
REQUIRE_CONSISTENCY=67
SCHEMA_ONLY=68
ALLOW_JAVA_EQS_UNSAFE=69
DONT_VALIDATE_UNSAFE=70
ALWAYS_RELOAD=71
CSV_FIELD_DELIM_CHAR=72
CSV_ESCAPE_CHAR=73
CSV_QUOTE_CHAR=74
CSV_FILE_EXTENSION=75
CSV_GENERATE_IDS=76
ID_COLUMN_NAME=77
VARCHAR_LENGTH=78
START_IDS_AT=79
IMPORT_AS_THEORY=80
JDBC_DEFAULT_CLASS=81
JDBC_DEFAULT_STRING=82
DONT_VERIFY_FOR_UNSAFE=83
PROVER=84
PROGRAM_ALLOW_NONTERM_UNSAFE=85
COMPLETION_PRECEDENCE=86
COMPLETION_SORT=87
COMPLETION_COMPOSE=88
COMPLETION_FILTER_SUBSUMED=89
COMPLETION_SYNTACTIC_AC=90
QUERY_COMPOSE_USE_INCOMPLETE=91
GUI_MAX_TABLE_SIZE=92
GUI_MAX_GRAPH_SIZE=93
GUI_MAX_STRING_SIZE=94
GUI_ROWS_TO_DISPLAY=95
EVAL_MAX_TEMP_SIZE=96
EVAL_REORDER_JOINS=97
EVAL_MAX_PLAN_DEPTH=98
EVAL_JOIN_SELECTIVITY=99
EVAL_USE_INDICES=100
EVAL_USE_SQL_ABOVE=101
EVAL_APPROX_SQL_UNSAFE=102
EVAL_SQL_PERSISTENT_INDICIES=103
COPRODUCT_ALLOW_ENTITY=104
COPRODUCT_ALLOW_TYPE=105
QUERY_REMOVE_REDUNDANCY=106
TRUE=107
FALSE=108
AUTO=109
FAIL=110
FREE=111
SATURATED=112
CONGRUENCE=113
MONOIDAL=114
PROGRAM=115
COMPLETION=116
COMMAND=117
EXEC_CMDLINE=118
EXEC_JS=119
EXEC_JDBC=120
CHECK=121
ASSERT_CONSISTENT=122
EXPORT_CSV_INSTANCE=123
EXPORT_CSV_TRANSFORM=124
EXPORT_JDBC_INSTANCE=125
EXPORT_JDBC_QUERY=126
EXPORT_JDBC_TRANSFORM=127
ADD_TO_CLASSPATH=128
QUERY=129
SIMPLE=130
GET_MAPPING=131
FROM=132
RETURN=133
TO_QUERY=134
TO_COQUERY=135
SCHEMA=136
SCHEMA_OF=137
GET_SCHEMA=138
IMPORT_ALL=139
SCHEMA_COLIMIT=140
MODIFY=141
WRAP=142
ENTITY_EQUATIONS=143
PATH_EQUATIONS=144
OBSERVATION_EQUATIONS=145
RENAME=146
REMOVE=147
TRANSFORM=148
UNIT=149
COUNIT=150
UNIT_QUERY=151
COUNIT_QUERY=152
TYPESIDE=153
SQL=154
TYPESIDE_OF=155
TYPES=156
CONSTANTS=157
FUNCTIONS=158
JAVA_TYPES=159
JAVA_CONSTANTS=160
JAVA_FUNCTIONS=161
CONSTRAINTS=162
COLON=163
COLON_COLON=164
COMMA=165
SEMI=166
LPAREN=167
RPAREN=168
LBRACE=169
RBRACE=170
LBRACK=171
RBRACK=172
RARROW=173
LT=174
GT=175
EQUAL=176
QUESTION=177
STAR=178
PLUS_ASSIGN=179
PLUS=180
OR=181
DOLLAR=182
RANGE=183
DOT=184
AT=185
POUND=186
NOT=187
UNDERSCORE=188
UPPER_ID=189
LOWER_ID=190
SPECIAL_ID=191
WS=192
ERRCHAR=193
HTML_END=194
HTML_MULTI_STRING=195
MD_END=196
MD_MULTI_STRING=197
UNIQUE=20
GRAPH=21
NODES=22
EDGES=23
INSTANCE=24
EMPTY=25
SRC=26
DST=27
DISTINCT=28
EVAL=29
COEVAL=30
DELTA=31
SIGMA=32
COPRODUCT_SIGMA=33
COPRODUCT=34
UNION=35
COPRODUCT_UNRESTRICTED=36
COEQUALIZE=37
COLIMIT=38
IMPORT_JDBC=39
QUOTIENT_JDBC=40
QUOTIENT_CSV=41
IMPORT_JDBC_ALL=42
IMPORT_CSV=43
STATIC_TYPING=44
QUOTIENT=45
CHASE=46
RANDOM=47
GENERATORS=48
EQUATIONS=49
MULTI_EQUATIONS=50
RANDOM_SEED=51