Commit 040743c9 authored by Fred Eisele's avatar Fred Eisele
Browse files

allow numeric generator ids

parent bd6ecf72
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/g5s/-ru88jt/AqlLexerRules.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/3uu/-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/g5s/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/3uu/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.ParserRuleContext;
......@@ -2128,13 +2128,13 @@ public class AqlParserBaseListener implements AqlParserListener {
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterInstanceGen(AqlParser.InstanceGenContext ctx) { }
@Override public void enterInstanceGenId(AqlParser.InstanceGenIdContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitInstanceGen(AqlParser.InstanceGenContext ctx) { }
@Override public void exitInstanceGenId(AqlParser.InstanceGenIdContext ctx) { }
/**
* {@inheritDoc}
*
......@@ -2327,6 +2327,18 @@ public class AqlParserBaseListener implements AqlParserListener {
* <p>The default implementation does nothing.</p>
*/
@Override public void exitInstanceQuotientJdbcSection(AqlParser.InstanceQuotientJdbcSectionContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterInstanceQuotientJdbcName(AqlParser.InstanceQuotientJdbcNameContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitInstanceQuotientJdbcName(AqlParser.InstanceQuotientJdbcNameContext ctx) { }
/**
* {@inheritDoc}
*
......
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/g5s/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/3uu/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.AbstractParseTreeVisitor;
......@@ -1249,7 +1249,7 @@ 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 visitInstanceGen(AqlParser.InstanceGenContext ctx) { return visitChildren(ctx); }
@Override public T visitInstanceGenId(AqlParser.InstanceGenIdContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
......@@ -1362,6 +1362,13 @@ public class AqlParserBaseVisitor<T> extends AbstractParseTreeVisitor<T> impleme
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitInstanceQuotientJdbcSection(AqlParser.InstanceQuotientJdbcSectionContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitInstanceQuotientJdbcName(AqlParser.InstanceQuotientJdbcNameContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
......
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/g5s/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/3uu/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.ParseTreeListener;
......@@ -1918,15 +1918,15 @@ public interface AqlParserListener extends ParseTreeListener {
*/
void exitInstanceFile(AqlParser.InstanceFileContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#instanceGen}.
* Enter a parse tree produced by {@link AqlParser#instanceGenId}.
* @param ctx the parse tree
*/
void enterInstanceGen(AqlParser.InstanceGenContext ctx);
void enterInstanceGenId(AqlParser.InstanceGenIdContext ctx);
/**
* Exit a parse tree produced by {@link AqlParser#instanceGen}.
* Exit a parse tree produced by {@link AqlParser#instanceGenId}.
* @param ctx the parse tree
*/
void exitInstanceGen(AqlParser.InstanceGenContext ctx);
void exitInstanceGenId(AqlParser.InstanceGenIdContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#instanceEquation}.
* @param ctx the parse tree
......@@ -2103,6 +2103,16 @@ public interface AqlParserListener extends ParseTreeListener {
* @param ctx the parse tree
*/
void exitInstanceQuotientJdbcSection(AqlParser.InstanceQuotientJdbcSectionContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#instanceQuotientJdbcName}.
* @param ctx the parse tree
*/
void enterInstanceQuotientJdbcName(AqlParser.InstanceQuotientJdbcNameContext ctx);
/**
* Exit a parse tree produced by {@link AqlParser#instanceQuotientJdbcName}.
* @param ctx the parse tree
*/
void exitInstanceQuotientJdbcName(AqlParser.InstanceQuotientJdbcNameContext ctx);
/**
* Enter a parse tree produced by {@link AqlParser#instanceQuotientSection}.
* @param ctx the parse tree
......
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/g5s/-ru88jt/AqlParser.g4 by ANTLR 4.7
// Generated from /home/fred/.boot/cache/tmp/home/fred/github/fql2/gen_src/catdata/aql/grammar/3uu/-ru88jt/AqlParser.g4 by ANTLR 4.7
package catdata.aql.grammar;
import org.antlr.v4.runtime.tree.ParseTreeVisitor;
......@@ -1142,11 +1142,11 @@ public interface AqlParserVisitor<T> extends ParseTreeVisitor<T> {
*/
T visitInstanceFile(AqlParser.InstanceFileContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#instanceGen}.
* Visit a parse tree produced by {@link AqlParser#instanceGenId}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitInstanceGen(AqlParser.InstanceGenContext ctx);
T visitInstanceGenId(AqlParser.InstanceGenIdContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#instanceEquation}.
* @param ctx the parse tree
......@@ -1251,6 +1251,12 @@ public interface AqlParserVisitor<T> extends ParseTreeVisitor<T> {
* @return the visitor result
*/
T visitInstanceQuotientJdbcSection(AqlParser.InstanceQuotientJdbcSectionContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#instanceQuotientJdbcName}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitInstanceQuotientJdbcName(AqlParser.InstanceQuotientJdbcNameContext ctx);
/**
* Visit a parse tree produced by {@link AqlParser#instanceQuotientSection}.
* @param ctx the parse tree
......
......@@ -132,7 +132,7 @@ instanceLiteralSection
allOptions
;
instanceLiteralGen : instanceGen+ COLON schemaEntityId ;
instanceLiteralGen : instanceGenId+ COLON schemaEntityId ;
instanceImportJdbcSection
: ((schemaEntityId | schemaAttributeId | schemaForeignId | typesideTypeId)
......@@ -148,10 +148,10 @@ instanceSql : STRING | MULTI_STRING ;
instanceQuotientCsvSection : instanceFile+ ;
instanceFile : STRING ;
instanceGen
: symbol
| instanceLiteralValue
;
instanceGenId
: symbol
| instanceLiteralValue
;
instanceEquation : instancePath EQUAL instanceEquationValue ;
......@@ -189,14 +189,23 @@ instancePath
;
// identity arrows are indicated with entity-names.
instanceArrowId : schemaEntityId | schemaForeignId;
instanceArrowId
: schemaEntityId
| schemaForeignId
| instanceGenId
;
instanceQuotientJdbcSection
: ((schemaEntityId | schemaAttributeId | schemaForeignId | typesideTypeId)
RARROW
instanceSql)+
: (instanceQuotientJdbcName RARROW instanceSql)+
allOptions
;
instanceQuotientJdbcName
: schemaEntityId
| schemaAttributeId
| schemaForeignId
| typesideTypeId
;
instanceQuotientSection
: EQUATIONS instanceQuotientEqn*
......
......@@ -904,7 +904,7 @@
[:instanceLiteralSection
"generators"
[:instanceLiteralGen
[:instanceGen [:symbol "e"]]
[:instanceGenId [:symbol "e"]]
":"
[:schemaEntityId [:symbol "Employee"]]]
"equations"
......
......@@ -603,27 +603,27 @@
[:instanceLiteralSection
"generators"
[:instanceLiteralGen
[:instanceGen [:symbol "u11"]]
[:instanceGenId [:symbol "u11"]]
":"
[:schemaEntityId [:symbol "u11"]]]
[:instanceLiteralGen
[:instanceGen [:symbol "u12"]]
[:instanceGenId [:symbol "u12"]]
":"
[:schemaEntityId [:symbol "u12"]]]
[:instanceLiteralGen
[:instanceGen [:symbol "u21"]]
[:instanceGenId [:symbol "u21"]]
":"
[:schemaEntityId [:symbol "u21"]]]
[:instanceLiteralGen
[:instanceGen [:symbol "u22"]]
[:instanceGenId [:symbol "u22"]]
":"
[:schemaEntityId [:symbol "u22"]]]
[:instanceLiteralGen
[:instanceGen [:symbol "u3"]]
[:instanceGenId [:symbol "u3"]]
":"
[:schemaEntityId [:symbol "u3"]]]
[:instanceLiteralGen
[:instanceGen [:symbol "u3x"]]
[:instanceGenId [:symbol "u3x"]]
":"
[:schemaEntityId [:symbol "u3x"]]]
"equations"
......
......@@ -271,7 +271,7 @@
[:instanceLiteralSection
"generators"
[:instanceLiteralGen
[:instanceGen [:symbol "de"]]
[:instanceGenId [:symbol "de"]]
":"
[:schemaEntityId [:symbol "SDeptEmp"]]]
"equations"
......
(file (program (kindDeclaration (typesideAssignment typeside (typesideId (symbol Ty)) = (typesideExp literal { (typesideLiteralSection java_types (typesideJavaTypeSig (typesideTypeId (symbol dom)) = (typesideJavaType "java.lang.Object")) java_constants (typesideJavaConstantSig (typesideConstantId dom) = (typesideJavaConstantValue "return input[0]")) allOptions) }))) (kindDeclaration (schemaAssignment schema (schemaId (symbol S)) = (schemaExp literal : (typesideKind (typesideRef (symbol Ty))) { (schemaLiteralSection entities (schemaEntityId (symbol SDeptEmp)) attributes (schemaAttributeSig (schemaAttributeId (symbol SdeptId)) : (schemaEntityId (symbol SDeptEmp)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol SmgrName)) : (schemaEntityId (symbol SDeptEmp)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol SempId)) : (schemaEntityId (symbol SDeptEmp)) -> (typesideTypeId (symbol dom))) allOptions) }))) (kindDeclaration (schemaAssignment schema (schemaId (symbol T)) = (schemaExp literal : (typesideKind (typesideRef (symbol Ty))) { (schemaLiteralSection entities (schemaEntityId (symbol TDept)) (schemaEntityId (symbol TEmp)) attributes (schemaAttributeSig (schemaAttributeId (symbol TempId)) : (schemaEntityId (symbol TEmp)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol TwrksIn)) : (schemaEntityId (symbol TEmp)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol TdeptId)) : (schemaEntityId (symbol TDept)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol TmgrId)) : (schemaEntityId (symbol TDept)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol TmgrName)) : (schemaEntityId (symbol TDept)) -> (typesideTypeId (symbol dom))) allOptions) }))) (kindDeclaration (schemaAssignment schema (schemaId (symbol ST)) = (schemaExp literal : (typesideKind (typesideRef (symbol Ty))) { (schemaLiteralSection imports (typesideImport (typesideRef (symbol S))) (typesideImport (typesideRef (symbol T))) allOptions) }))) (kindDeclaration (constraintAssignment constraints (constraintId (symbol theEDs)) = (constraintExp literal : (schemaRef (symbol ST)) { (constraintLiteralSection (constraintExpr forall (constraintUniversal (constraintGen (symbol d)) : (schemaEntityId (symbol TDept))) -> exists (constraintExistential (constraintGen (symbol e)) : (schemaEntityId (symbol TEmp))) where (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TdeptId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol e)))) . (schemaArrowId (schemaEntityId (symbol TwrksIn))))) (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TmgrId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol e)))) . (schemaArrowId (schemaEntityId (symbol TempId)))))) (constraintExpr forall (constraintUniversal (constraintGen (symbol e)) : (schemaEntityId (symbol TEmp))) -> exists (constraintExistential (constraintGen (symbol d)) : (schemaEntityId (symbol TDept))) where (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TdeptId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol e)))) . (schemaArrowId (schemaEntityId (symbol TwrksIn)))))) (constraintExpr forall (constraintUniversal (constraintGen (symbol de)) : (schemaEntityId (symbol SDeptEmp))) -> exists (constraintExistential (constraintGen (symbol d)) : (schemaEntityId (symbol TDept))) (constraintExistential (constraintGen (symbol e)) : (schemaEntityId (symbol TEmp))) where (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol de)))) . (schemaArrowId (schemaEntityId (symbol SdeptId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TdeptId))))) (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TdeptId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol e)))) . (schemaArrowId (schemaEntityId (symbol TwrksIn))))) (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol de)))) . (schemaArrowId (schemaEntityId (symbol SdeptId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TdeptId))))) (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol de)))) . (schemaArrowId (schemaEntityId (symbol SempId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol e)))) . (schemaArrowId (schemaEntityId (symbol TempId)))))) allOptions) }))) (kindDeclaration (instanceAssignment instance (instanceId (symbol I)) = (instanceExp literal : (schemaKind (schemaRef (symbol ST))) { (instanceLiteralSection generators (instanceLiteralGen (instanceGen (symbol de)) : (schemaEntityId (symbol SDeptEmp))) equations (instanceEquation (instancePath (instancePath (instanceArrowId (schemaEntityId (symbol de)))) . (instanceArrowId (schemaEntityId (symbol SdeptId)))) = (instanceEquationValue (instancePath (instanceArrowId (schemaEntityId (symbol cs)))))) (instanceEquation (instancePath (instancePath (instanceArrowId (schemaEntityId (symbol de)))) . (instanceArrowId (schemaEntityId (symbol SmgrName)))) = (instanceEquationValue (instancePath (instanceArrowId (schemaEntityId (symbol alice)))))) (instanceEquation (instancePath (instancePath (instanceArrowId (schemaEntityId (symbol de)))) . (instanceArrowId (schemaEntityId (symbol SempId)))) = (instanceEquationValue (instanceLiteral (instanceLiteralValue "1")))) allOptions) }))) (kindDeclaration (instanceAssignment instance (instanceId (symbol J)) = (instanceExp chase (constraintKind (constraintRef (symbol theEDs))) (instanceKind (instanceRef (symbol I)))))) (kindDeclaration (commandAssignment command (commandId (symbol JisOk1)) = (commandExp check (constraintRef (symbol theEDs)) (instanceRef (symbol J))))) (kindDeclaration (schemaAssignment schema (schemaId (symbol Sch)) = (schemaExp literal : (typesideKind (typesideRef (symbol Ty))) { (schemaLiteralSection entities (schemaEntityId (symbol E)) attributes (schemaAttributeSig (schemaAttributeId (symbol att1)) (schemaAttributeId (symbol att2)) (schemaAttributeId (symbol att3)) : (schemaEntityId (symbol E)) -> (typesideTypeId (symbol dom))) allOptions) }))) (kindDeclaration (constraintAssignment constraints (constraintId (symbol PkForSch)) = (constraintExp literal : (schemaRef (symbol Sch)) { (constraintLiteralSection (constraintExpr forall (constraintUniversal (constraintGen (symbol x)) (constraintGen (symbol y)) : (schemaEntityId (symbol E))) where (constraintUniversalEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol x)))) . (schemaArrowId (schemaEntityId (symbol att1)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol y)))) . (schemaArrowId (schemaEntityId (symbol att1))))) (constraintUniversalEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol x)))) . (schemaArrowId (schemaEntityId (symbol att2)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol y)))) . (schemaArrowId (schemaEntityId (symbol att3))))) -> where (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol x)))) . (schemaArrowId (schemaEntityId (symbol att3)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol y)))) . (schemaArrowId (schemaEntityId (symbol att3)))))) allOptions) })))) <EOF>)
\ No newline at end of file
(file (program (kindDeclaration (typesideAssignment typeside (typesideId (symbol Ty)) = (typesideExp literal { (typesideLiteralSection java_types (typesideJavaTypeSig (typesideTypeId (symbol dom)) = (typesideJavaType "java.lang.Object")) java_constants (typesideJavaConstantSig (typesideConstantId dom) = (typesideJavaConstantValue "return input[0]")) allOptions) }))) (kindDeclaration (schemaAssignment schema (schemaId (symbol S)) = (schemaExp literal : (typesideKind (typesideRef (symbol Ty))) { (schemaLiteralSection entities (schemaEntityId (symbol SDeptEmp)) attributes (schemaAttributeSig (schemaAttributeId (symbol SdeptId)) : (schemaEntityId (symbol SDeptEmp)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol SmgrName)) : (schemaEntityId (symbol SDeptEmp)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol SempId)) : (schemaEntityId (symbol SDeptEmp)) -> (typesideTypeId (symbol dom))) allOptions) }))) (kindDeclaration (schemaAssignment schema (schemaId (symbol T)) = (schemaExp literal : (typesideKind (typesideRef (symbol Ty))) { (schemaLiteralSection entities (schemaEntityId (symbol TDept)) (schemaEntityId (symbol TEmp)) attributes (schemaAttributeSig (schemaAttributeId (symbol TempId)) : (schemaEntityId (symbol TEmp)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol TwrksIn)) : (schemaEntityId (symbol TEmp)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol TdeptId)) : (schemaEntityId (symbol TDept)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol TmgrId)) : (schemaEntityId (symbol TDept)) -> (typesideTypeId (symbol dom))) (schemaAttributeSig (schemaAttributeId (symbol TmgrName)) : (schemaEntityId (symbol TDept)) -> (typesideTypeId (symbol dom))) allOptions) }))) (kindDeclaration (schemaAssignment schema (schemaId (symbol ST)) = (schemaExp literal : (typesideKind (typesideRef (symbol Ty))) { (schemaLiteralSection imports (typesideImport (typesideRef (symbol S))) (typesideImport (typesideRef (symbol T))) allOptions) }))) (kindDeclaration (constraintAssignment constraints (constraintId (symbol theEDs)) = (constraintExp literal : (schemaRef (symbol ST)) { (constraintLiteralSection (constraintExpr forall (constraintUniversal (constraintGen (symbol d)) : (schemaEntityId (symbol TDept))) -> exists (constraintExistential (constraintGen (symbol e)) : (schemaEntityId (symbol TEmp))) where (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TdeptId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol e)))) . (schemaArrowId (schemaEntityId (symbol TwrksIn))))) (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TmgrId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol e)))) . (schemaArrowId (schemaEntityId (symbol TempId)))))) (constraintExpr forall (constraintUniversal (constraintGen (symbol e)) : (schemaEntityId (symbol TEmp))) -> exists (constraintExistential (constraintGen (symbol d)) : (schemaEntityId (symbol TDept))) where (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TdeptId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol e)))) . (schemaArrowId (schemaEntityId (symbol TwrksIn)))))) (constraintExpr forall (constraintUniversal (constraintGen (symbol de)) : (schemaEntityId (symbol SDeptEmp))) -> exists (constraintExistential (constraintGen (symbol d)) : (schemaEntityId (symbol TDept))) (constraintExistential (constraintGen (symbol e)) : (schemaEntityId (symbol TEmp))) where (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol de)))) . (schemaArrowId (schemaEntityId (symbol SdeptId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TdeptId))))) (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TdeptId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol e)))) . (schemaArrowId (schemaEntityId (symbol TwrksIn))))) (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol de)))) . (schemaArrowId (schemaEntityId (symbol SdeptId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol d)))) . (schemaArrowId (schemaEntityId (symbol TdeptId))))) (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol de)))) . (schemaArrowId (schemaEntityId (symbol SempId)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol e)))) . (schemaArrowId (schemaEntityId (symbol TempId)))))) allOptions) }))) (kindDeclaration (instanceAssignment instance (instanceId (symbol I)) = (instanceExp literal : (schemaKind (schemaRef (symbol ST))) { (instanceLiteralSection generators (instanceLiteralGen (instanceGenId (symbol de)) : (schemaEntityId (symbol SDeptEmp))) equations (instanceEquation (instancePath (instancePath (instanceArrowId (schemaEntityId (symbol de)))) . (instanceArrowId (schemaEntityId (symbol SdeptId)))) = (instanceEquationValue (instancePath (instanceArrowId (schemaEntityId (symbol cs)))))) (instanceEquation (instancePath (instancePath (instanceArrowId (schemaEntityId (symbol de)))) . (instanceArrowId (schemaEntityId (symbol SmgrName)))) = (instanceEquationValue (instancePath (instanceArrowId (schemaEntityId (symbol alice)))))) (instanceEquation (instancePath (instancePath (instanceArrowId (schemaEntityId (symbol de)))) . (instanceArrowId (schemaEntityId (symbol SempId)))) = (instanceEquationValue (instanceLiteral (instanceLiteralValue "1")))) allOptions) }))) (kindDeclaration (instanceAssignment instance (instanceId (symbol J)) = (instanceExp chase (constraintKind (constraintRef (symbol theEDs))) (instanceKind (instanceRef (symbol I)))))) (kindDeclaration (commandAssignment command (commandId (symbol JisOk1)) = (commandExp check (constraintRef (symbol theEDs)) (instanceRef (symbol J))))) (kindDeclaration (schemaAssignment schema (schemaId (symbol Sch)) = (schemaExp literal : (typesideKind (typesideRef (symbol Ty))) { (schemaLiteralSection entities (schemaEntityId (symbol E)) attributes (schemaAttributeSig (schemaAttributeId (symbol att1)) (schemaAttributeId (symbol att2)) (schemaAttributeId (symbol att3)) : (schemaEntityId (symbol E)) -> (typesideTypeId (symbol dom))) allOptions) }))) (kindDeclaration (constraintAssignment constraints (constraintId (symbol PkForSch)) = (constraintExp literal : (schemaRef (symbol Sch)) { (constraintLiteralSection (constraintExpr forall (constraintUniversal (constraintGen (symbol x)) (constraintGen (symbol y)) : (schemaEntityId (symbol E))) where (constraintUniversalEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol x)))) . (schemaArrowId (schemaEntityId (symbol att1)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol y)))) . (schemaArrowId (schemaEntityId (symbol att1))))) (constraintUniversalEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol x)))) . (schemaArrowId (schemaEntityId (symbol att2)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol y)))) . (schemaArrowId (schemaEntityId (symbol att3))))) -> where (constraintExistentialEquation (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol x)))) . (schemaArrowId (schemaEntityId (symbol att3)))) = (constraintPath (constraintPath (schemaArrowId (schemaEntityId (symbol y)))) . (schemaArrowId (schemaEntityId (symbol att3)))))) allOptions) })))) <EOF>)
\ No newline at end of file
......@@ -193,9 +193,9 @@
[:instanceLiteralSection
"generators"
[:instanceLiteralGen
[:instanceGen [:symbol "XF667"]]
[:instanceGen [:symbol "XF891"]]
[:instanceGen [:symbol "XF221"]]
[:instanceGenId [:symbol "XF667"]]
[:instanceGenId [:symbol "XF891"]]
[:instanceGenId [:symbol "XF221"]]
":"
[:schemaEntityId [:symbol "T"]]]
"equations"
......@@ -347,10 +347,10 @@
[:instanceLiteralSection
"generators"
[:instanceLiteralGen
[:instanceGen [:symbol "XF22"]]
[:instanceGen [:symbol "aXF66"]]
[:instanceGen [:symbol "XF89"]]
[:instanceGen [:symbol "xxx"]]
[:instanceGenId [:symbol "XF22"]]
[:instanceGenId [:symbol "aXF66"]]
[:instanceGenId [:symbol "XF89"]]
[:instanceGenId [:symbol "xxx"]]
":"
[:schemaEntityId [:symbol "T"]]]
"equations"
......
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