simple-graph-query 1.1.2 → 1.2.1

package/README.md

@@ -1,118 +1,8 @@
-# Forge Expression Evaluator
+# Simple Graph Expression Evaluator
 
-A TypeScript library for evaluating Forge language expressions with a browser-compatible UMD bundle.
-
-## Installation
-
-```bash
-npm install forge-expr-evaluator
-```
-
-## Usage
-
-### Browser (UMD Bundle)
-```html
-<script src="node_modules/forge-expr-evaluator/dist/forge-expr-evaluator.bundle.js"></script>
-<script>
-  const evaluator = new ForgeExprEvaluator.ForgeExprEvaluatorUtil(datum, sourceCode);
-  const result = evaluator.evaluateExpression("some Board", 0);
-  console.log(result);
-</script>
-```
-
-### Node.js
-```javascript
-const { ForgeExprEvaluatorUtil } = require('forge-expr-evaluator');
-
-const evaluator = new ForgeExprEvaluatorUtil(datum, sourceCode);
-const result = evaluator.evaluateExpression("some Board", 0);
-console.log(result);
-```
-
-### TypeScript
-```typescript
-import { ForgeExprEvaluatorUtil, DatumParsed } from 'forge-expr-evaluator';
-
-const datum: DatumParsed = {
-  parsed: {
-    instances: [/* your data */],
-    bitwidth: 4
-  },
-  data: "<alloy>...</alloy>"
-};
-
-const sourceCode = `
-  sig Board { ... }
-  // your Forge signatures and predicates
-`;
-
-const evaluator = new ForgeExprEvaluatorUtil(datum, sourceCode);
-const result = evaluator.evaluateExpression("some Board", 0);
-```
-
-## API
-
-### `ForgeExprEvaluatorUtil`
-
-#### Constructor
-```typescript
-new ForgeExprEvaluatorUtil(datum: DatumParsed, sourceCode: string)
-```
-
-#### Methods
-```typescript
-evaluateExpression(expression: string, instanceIndex?: number): EvaluationResult
-```
-
-### Types
-- `DatumParsed`: Data structure containing Forge model instances
-- `EvaluationResult`: Result of expression evaluation (value or error)
-- `EvalResult`: Successful evaluation result (string | number | boolean | Tuple[])
-
-## Features
-
-- ✅ Browser-compatible UMD bundle (~688 KiB)
-- ✅ TypeScript support with full type definitions
-- ✅ Evaluates Forge expressions against model data
-- ✅ No external dependencies in the bundle
-- ✅ Works with Sterling/Alloy data formats
-
-## Development
-
-```bash
-# Install dependencies
-npm install
-
-# Build the bundle
-npm run build
-
-# Run tests
-npm test
-
-# Serve demo locally
-npm run serve
-```
+A TypeScript library for evaluating relational + some more expressions with a browser-compatible UMD bundle.
 
 ## License
 
 MIT
 
-## Contributing
-
-1. Fork the repository
-2. Create a feature branch
-3. Make your changes
-4. Add tests if needed
-5. Submit a pull request
-
-## Credits
-
-_Note_: The evaluator makes use of a Forge parser built using ANTLR; this is largely taken from
-the [parser developed by Siddhartha Prasad](https://github.com/sidprasad/forge-antlr/)
-with some minor modifications to the grammar.
-
-## Related
-
-- [Forge Language](https://forge.binghamton.edu/)
-- [Alloy](https://alloytools.org/)
-- [Sterling Visualizer](https://sterling-js.github.io/)

package/dist/ForgeExprEvaluator.d.ts

@@ -20,6 +20,8 @@ export declare class ForgeExprEvaluator extends AbstractParseTreeVisitor<EvalRes
     constructor(datum: IDataInstance);
     private updateFreeVariables;
     private constructFreeVariableKey;
+    private tryVisitWithUnknownAsLabel;
+    private getLabelForValue;
     private cacheResult;
     private getIden;
     protected aggregateResult(aggregate: EvalResult, nextResult: EvalResult): EvalResult;

package/dist/forge-antlr/ForgeLexer.d.ts

@@ -8,110 +8,115 @@ export declare class ForgeLexer extends Lexer {
     static readonly RIGHT_SQUARE_TOK = 3;
     static readonly AS_TOK = 4;
     static readonly FILE_PATH_TOK = 5;
-    static readonly VAR_TOK = 6;
-    static readonly ABSTRACT_TOK = 7;
-    static readonly SIG_TOK = 8;
-    static readonly LEFT_CURLY_TOK = 9;
-    static readonly RIGHT_CURLY_TOK = 10;
-    static readonly EXTENDS_TOK = 11;
-    static readonly IN_TOK = 12;
-    static readonly PLUS_TOK = 13;
-    static readonly LONE_TOK = 14;
-    static readonly SOME_TOK = 15;
-    static readonly ONE_TOK = 16;
-    static readonly TWO_TOK = 17;
-    static readonly SET_TOK = 18;
-    static readonly FUNC_TOK = 19;
-    static readonly PFUNC_TOK = 20;
-    static readonly DISJ_TOK = 21;
-    static readonly COLON_TOK = 22;
-    static readonly WHEAT_TOK = 23;
-    static readonly PRED_TOK = 24;
-    static readonly DOT_TOK = 25;
-    static readonly FUN_TOK = 26;
-    static readonly LEFT_PAREN_TOK = 27;
-    static readonly RIGHT_PAREN_TOK = 28;
-    static readonly ASSERT_TOK = 29;
-    static readonly RUN_TOK = 30;
-    static readonly CHECK_TOK = 31;
-    static readonly FOR_TOK = 32;
-    static readonly BUT_TOK = 33;
-    static readonly EXACTLY_TOK = 34;
-    static readonly NONE_TOK = 35;
-    static readonly UNIV_TOK = 36;
-    static readonly IDEN_TOK = 37;
-    static readonly MINUS_TOK = 38;
-    static readonly IS_TOK = 39;
-    static readonly SAT_TOK = 40;
-    static readonly UNSAT_TOK = 41;
-    static readonly THEOREM_TOK = 42;
-    static readonly FORGE_ERROR_TOK = 43;
-    static readonly CHECKED_TOK = 44;
-    static readonly TEST_TOK = 45;
-    static readonly EXPECT_TOK = 46;
-    static readonly SUITE_TOK = 47;
-    static readonly BAR_TOK = 48;
-    static readonly ALL_TOK = 49;
-    static readonly SUFFICIENT_TOK = 50;
-    static readonly NECESSARY_TOK = 51;
-    static readonly CONSISTENT_TOK = 52;
-    static readonly INCONSISTENT_TOK = 53;
-    static readonly WITH_TOK = 54;
-    static readonly LET_TOK = 55;
-    static readonly BIND_TOK = 56;
-    static readonly OR_TOK = 57;
-    static readonly XOR_TOK = 58;
-    static readonly IFF_TOK = 59;
-    static readonly IMP_TOK = 60;
-    static readonly ELSE_TOK = 61;
-    static readonly AND_TOK = 62;
-    static readonly UNTIL_TOK = 63;
-    static readonly RELEASE_TOK = 64;
-    static readonly SINCE_TOK = 65;
-    static readonly TRIGGERED_TOK = 66;
-    static readonly NEG_TOK = 67;
-    static readonly ALWAYS_TOK = 68;
-    static readonly EVENTUALLY_TOK = 69;
-    static readonly AFTER_TOK = 70;
-    static readonly BEFORE_TOK = 71;
-    static readonly ONCE_TOK = 72;
-    static readonly HISTORICALLY_TOK = 73;
-    static readonly CARD_TOK = 74;
-    static readonly PPLUS_TOK = 75;
-    static readonly AMP_TOK = 76;
-    static readonly SUBT_TOK = 77;
-    static readonly SUPT_TOK = 78;
-    static readonly PRIME_TOK = 79;
-    static readonly TILDE_TOK = 80;
-    static readonly EXP_TOK = 81;
-    static readonly STAR_TOK = 82;
-    static readonly AT_TOK = 83;
-    static readonly BACKQUOTE_TOK = 84;
-    static readonly THIS_TOK = 85;
-    static readonly SEXPR_TOK = 86;
-    static readonly INST_TOK = 87;
-    static readonly EVAL_TOK = 88;
-    static readonly EXAMPLE_TOK = 89;
-    static readonly ARROW_TOK = 90;
-    static readonly EQ_TOK = 91;
-    static readonly LT_TOK = 92;
-    static readonly GT_TOK = 93;
-    static readonly LEQ_TOK = 94;
-    static readonly GEQ_TOK = 95;
-    static readonly NI_TOK = 96;
-    static readonly NO_TOK = 97;
-    static readonly SUM_TOK = 98;
-    static readonly INT_TOK = 99;
-    static readonly OPTION_TOK = 100;
-    static readonly COMMA_TOK = 101;
-    static readonly SLASH_TOK = 102;
-    static readonly NUM_CONST_TOK = 103;
-    static readonly IDENTIFIER_TOK = 104;
-    static readonly WS = 105;
-    static readonly CCOMMENT = 106;
-    static readonly COMMENT = 107;
-    static readonly MULTCOMMENT = 108;
-    static readonly LANG_DECL = 109;
+    static readonly TRUE_TOK = 6;
+    static readonly FALSE_TOK = 7;
+    static readonly TRUE_HASH_TOK = 8;
+    static readonly FALSE_HASH_TOK = 9;
+    static readonly VAR_TOK = 10;
+    static readonly ABSTRACT_TOK = 11;
+    static readonly SIG_TOK = 12;
+    static readonly LEFT_CURLY_TOK = 13;
+    static readonly RIGHT_CURLY_TOK = 14;
+    static readonly EXTENDS_TOK = 15;
+    static readonly IN_TOK = 16;
+    static readonly PLUS_TOK = 17;
+    static readonly LONE_TOK = 18;
+    static readonly SOME_TOK = 19;
+    static readonly ONE_TOK = 20;
+    static readonly TWO_TOK = 21;
+    static readonly SET_TOK = 22;
+    static readonly FUNC_TOK = 23;
+    static readonly PFUNC_TOK = 24;
+    static readonly DISJ_TOK = 25;
+    static readonly COLON_TOK = 26;
+    static readonly WHEAT_TOK = 27;
+    static readonly PRED_TOK = 28;
+    static readonly DOT_TOK = 29;
+    static readonly FUN_TOK = 30;
+    static readonly LEFT_PAREN_TOK = 31;
+    static readonly RIGHT_PAREN_TOK = 32;
+    static readonly ASSERT_TOK = 33;
+    static readonly RUN_TOK = 34;
+    static readonly CHECK_TOK = 35;
+    static readonly FOR_TOK = 36;
+    static readonly BUT_TOK = 37;
+    static readonly EXACTLY_TOK = 38;
+    static readonly NONE_TOK = 39;
+    static readonly UNIV_TOK = 40;
+    static readonly IDEN_TOK = 41;
+    static readonly MINUS_TOK = 42;
+    static readonly IS_TOK = 43;
+    static readonly SAT_TOK = 44;
+    static readonly UNSAT_TOK = 45;
+    static readonly THEOREM_TOK = 46;
+    static readonly FORGE_ERROR_TOK = 47;
+    static readonly CHECKED_TOK = 48;
+    static readonly TEST_TOK = 49;
+    static readonly EXPECT_TOK = 50;
+    static readonly SUITE_TOK = 51;
+    static readonly BAR_TOK = 52;
+    static readonly ALL_TOK = 53;
+    static readonly SUFFICIENT_TOK = 54;
+    static readonly NECESSARY_TOK = 55;
+    static readonly CONSISTENT_TOK = 56;
+    static readonly INCONSISTENT_TOK = 57;
+    static readonly WITH_TOK = 58;
+    static readonly LET_TOK = 59;
+    static readonly BIND_TOK = 60;
+    static readonly OR_TOK = 61;
+    static readonly XOR_TOK = 62;
+    static readonly IFF_TOK = 63;
+    static readonly IMP_TOK = 64;
+    static readonly ELSE_TOK = 65;
+    static readonly AND_TOK = 66;
+    static readonly UNTIL_TOK = 67;
+    static readonly RELEASE_TOK = 68;
+    static readonly SINCE_TOK = 69;
+    static readonly TRIGGERED_TOK = 70;
+    static readonly NEG_TOK = 71;
+    static readonly ALWAYS_TOK = 72;
+    static readonly EVENTUALLY_TOK = 73;
+    static readonly AFTER_TOK = 74;
+    static readonly BEFORE_TOK = 75;
+    static readonly ONCE_TOK = 76;
+    static readonly HISTORICALLY_TOK = 77;
+    static readonly CARD_TOK = 78;
+    static readonly PPLUS_TOK = 79;
+    static readonly AMP_TOK = 80;
+    static readonly SUBT_TOK = 81;
+    static readonly SUPT_TOK = 82;
+    static readonly PRIME_TOK = 83;
+    static readonly TILDE_TOK = 84;
+    static readonly EXP_TOK = 85;
+    static readonly STAR_TOK = 86;
+    static readonly AT_TOK = 87;
+    static readonly BACKQUOTE_TOK = 88;
+    static readonly THIS_TOK = 89;
+    static readonly SEXPR_TOK = 90;
+    static readonly INST_TOK = 91;
+    static readonly EVAL_TOK = 92;
+    static readonly EXAMPLE_TOK = 93;
+    static readonly ARROW_TOK = 94;
+    static readonly EQ_TOK = 95;
+    static readonly LABEL_EQ_TOK = 96;
+    static readonly LT_TOK = 97;
+    static readonly GT_TOK = 98;
+    static readonly LEQ_TOK = 99;
+    static readonly GEQ_TOK = 100;
+    static readonly NI_TOK = 101;
+    static readonly NO_TOK = 102;
+    static readonly SUM_TOK = 103;
+    static readonly INT_TOK = 104;
+    static readonly OPTION_TOK = 105;
+    static readonly COMMA_TOK = 106;
+    static readonly SLASH_TOK = 107;
+    static readonly NUM_CONST_TOK = 108;
+    static readonly IDENTIFIER_TOK = 109;
+    static readonly WS = 110;
+    static readonly CCOMMENT = 111;
+    static readonly COMMENT = 112;
+    static readonly MULTCOMMENT = 113;
+    static readonly LANG_DECL = 114;
     static readonly channelNames: string[];
     static readonly modeNames: string[];
     static readonly ruleNames: string[];

package/dist/forge-antlr/ForgeParser.d.ts

@@ -14,110 +14,115 @@ export declare class ForgeParser extends Parser {
     static readonly RIGHT_SQUARE_TOK = 3;
     static readonly AS_TOK = 4;
     static readonly FILE_PATH_TOK = 5;
-    static readonly VAR_TOK = 6;
-    static readonly ABSTRACT_TOK = 7;
-    static readonly SIG_TOK = 8;
-    static readonly LEFT_CURLY_TOK = 9;
-    static readonly RIGHT_CURLY_TOK = 10;
-    static readonly EXTENDS_TOK = 11;
-    static readonly IN_TOK = 12;
-    static readonly PLUS_TOK = 13;
-    static readonly LONE_TOK = 14;
-    static readonly SOME_TOK = 15;
-    static readonly ONE_TOK = 16;
-    static readonly TWO_TOK = 17;
-    static readonly SET_TOK = 18;
-    static readonly FUNC_TOK = 19;
-    static readonly PFUNC_TOK = 20;
-    static readonly DISJ_TOK = 21;
-    static readonly COLON_TOK = 22;
-    static readonly WHEAT_TOK = 23;
-    static readonly PRED_TOK = 24;
-    static readonly DOT_TOK = 25;
-    static readonly FUN_TOK = 26;
-    static readonly LEFT_PAREN_TOK = 27;
-    static readonly RIGHT_PAREN_TOK = 28;
-    static readonly ASSERT_TOK = 29;
-    static readonly RUN_TOK = 30;
-    static readonly CHECK_TOK = 31;
-    static readonly FOR_TOK = 32;
-    static readonly BUT_TOK = 33;
-    static readonly EXACTLY_TOK = 34;
-    static readonly NONE_TOK = 35;
-    static readonly UNIV_TOK = 36;
-    static readonly IDEN_TOK = 37;
-    static readonly MINUS_TOK = 38;
-    static readonly IS_TOK = 39;
-    static readonly SAT_TOK = 40;
-    static readonly UNSAT_TOK = 41;
-    static readonly THEOREM_TOK = 42;
-    static readonly FORGE_ERROR_TOK = 43;
-    static readonly CHECKED_TOK = 44;
-    static readonly TEST_TOK = 45;
-    static readonly EXPECT_TOK = 46;
-    static readonly SUITE_TOK = 47;
-    static readonly BAR_TOK = 48;
-    static readonly ALL_TOK = 49;
-    static readonly SUFFICIENT_TOK = 50;
-    static readonly NECESSARY_TOK = 51;
-    static readonly CONSISTENT_TOK = 52;
-    static readonly INCONSISTENT_TOK = 53;
-    static readonly WITH_TOK = 54;
-    static readonly LET_TOK = 55;
-    static readonly BIND_TOK = 56;
-    static readonly OR_TOK = 57;
-    static readonly XOR_TOK = 58;
-    static readonly IFF_TOK = 59;
-    static readonly IMP_TOK = 60;
-    static readonly ELSE_TOK = 61;
-    static readonly AND_TOK = 62;
-    static readonly UNTIL_TOK = 63;
-    static readonly RELEASE_TOK = 64;
-    static readonly SINCE_TOK = 65;
-    static readonly TRIGGERED_TOK = 66;
-    static readonly NEG_TOK = 67;
-    static readonly ALWAYS_TOK = 68;
-    static readonly EVENTUALLY_TOK = 69;
-    static readonly AFTER_TOK = 70;
-    static readonly BEFORE_TOK = 71;
-    static readonly ONCE_TOK = 72;
-    static readonly HISTORICALLY_TOK = 73;
-    static readonly CARD_TOK = 74;
-    static readonly PPLUS_TOK = 75;
-    static readonly AMP_TOK = 76;
-    static readonly SUBT_TOK = 77;
-    static readonly SUPT_TOK = 78;
-    static readonly PRIME_TOK = 79;
-    static readonly TILDE_TOK = 80;
-    static readonly EXP_TOK = 81;
-    static readonly STAR_TOK = 82;
-    static readonly AT_TOK = 83;
-    static readonly BACKQUOTE_TOK = 84;
-    static readonly THIS_TOK = 85;
-    static readonly SEXPR_TOK = 86;
-    static readonly INST_TOK = 87;
-    static readonly EVAL_TOK = 88;
-    static readonly EXAMPLE_TOK = 89;
-    static readonly ARROW_TOK = 90;
-    static readonly EQ_TOK = 91;
-    static readonly LT_TOK = 92;
-    static readonly GT_TOK = 93;
-    static readonly LEQ_TOK = 94;
-    static readonly GEQ_TOK = 95;
-    static readonly NI_TOK = 96;
-    static readonly NO_TOK = 97;
-    static readonly SUM_TOK = 98;
-    static readonly INT_TOK = 99;
-    static readonly OPTION_TOK = 100;
-    static readonly COMMA_TOK = 101;
-    static readonly SLASH_TOK = 102;
-    static readonly NUM_CONST_TOK = 103;
-    static readonly IDENTIFIER_TOK = 104;
-    static readonly WS = 105;
-    static readonly CCOMMENT = 106;
-    static readonly COMMENT = 107;
-    static readonly MULTCOMMENT = 108;
-    static readonly LANG_DECL = 109;
+    static readonly TRUE_TOK = 6;
+    static readonly FALSE_TOK = 7;
+    static readonly TRUE_HASH_TOK = 8;
+    static readonly FALSE_HASH_TOK = 9;
+    static readonly VAR_TOK = 10;
+    static readonly ABSTRACT_TOK = 11;
+    static readonly SIG_TOK = 12;
+    static readonly LEFT_CURLY_TOK = 13;
+    static readonly RIGHT_CURLY_TOK = 14;
+    static readonly EXTENDS_TOK = 15;
+    static readonly IN_TOK = 16;
+    static readonly PLUS_TOK = 17;
+    static readonly LONE_TOK = 18;
+    static readonly SOME_TOK = 19;
+    static readonly ONE_TOK = 20;
+    static readonly TWO_TOK = 21;
+    static readonly SET_TOK = 22;
+    static readonly FUNC_TOK = 23;
+    static readonly PFUNC_TOK = 24;
+    static readonly DISJ_TOK = 25;
+    static readonly COLON_TOK = 26;
+    static readonly WHEAT_TOK = 27;
+    static readonly PRED_TOK = 28;
+    static readonly DOT_TOK = 29;
+    static readonly FUN_TOK = 30;
+    static readonly LEFT_PAREN_TOK = 31;
+    static readonly RIGHT_PAREN_TOK = 32;
+    static readonly ASSERT_TOK = 33;
+    static readonly RUN_TOK = 34;
+    static readonly CHECK_TOK = 35;
+    static readonly FOR_TOK = 36;
+    static readonly BUT_TOK = 37;
+    static readonly EXACTLY_TOK = 38;
+    static readonly NONE_TOK = 39;
+    static readonly UNIV_TOK = 40;
+    static readonly IDEN_TOK = 41;
+    static readonly MINUS_TOK = 42;
+    static readonly IS_TOK = 43;
+    static readonly SAT_TOK = 44;
+    static readonly UNSAT_TOK = 45;
+    static readonly THEOREM_TOK = 46;
+    static readonly FORGE_ERROR_TOK = 47;
+    static readonly CHECKED_TOK = 48;
+    static readonly TEST_TOK = 49;
+    static readonly EXPECT_TOK = 50;
+    static readonly SUITE_TOK = 51;
+    static readonly BAR_TOK = 52;
+    static readonly ALL_TOK = 53;
+    static readonly SUFFICIENT_TOK = 54;
+    static readonly NECESSARY_TOK = 55;
+    static readonly CONSISTENT_TOK = 56;
+    static readonly INCONSISTENT_TOK = 57;
+    static readonly WITH_TOK = 58;
+    static readonly LET_TOK = 59;
+    static readonly BIND_TOK = 60;
+    static readonly OR_TOK = 61;
+    static readonly XOR_TOK = 62;
+    static readonly IFF_TOK = 63;
+    static readonly IMP_TOK = 64;
+    static readonly ELSE_TOK = 65;
+    static readonly AND_TOK = 66;
+    static readonly UNTIL_TOK = 67;
+    static readonly RELEASE_TOK = 68;
+    static readonly SINCE_TOK = 69;
+    static readonly TRIGGERED_TOK = 70;
+    static readonly NEG_TOK = 71;
+    static readonly ALWAYS_TOK = 72;
+    static readonly EVENTUALLY_TOK = 73;
+    static readonly AFTER_TOK = 74;
+    static readonly BEFORE_TOK = 75;
+    static readonly ONCE_TOK = 76;
+    static readonly HISTORICALLY_TOK = 77;
+    static readonly CARD_TOK = 78;
+    static readonly PPLUS_TOK = 79;
+    static readonly AMP_TOK = 80;
+    static readonly SUBT_TOK = 81;
+    static readonly SUPT_TOK = 82;
+    static readonly PRIME_TOK = 83;
+    static readonly TILDE_TOK = 84;
+    static readonly EXP_TOK = 85;
+    static readonly STAR_TOK = 86;
+    static readonly AT_TOK = 87;
+    static readonly BACKQUOTE_TOK = 88;
+    static readonly THIS_TOK = 89;
+    static readonly SEXPR_TOK = 90;
+    static readonly INST_TOK = 91;
+    static readonly EVAL_TOK = 92;
+    static readonly EXAMPLE_TOK = 93;
+    static readonly ARROW_TOK = 94;
+    static readonly EQ_TOK = 95;
+    static readonly LABEL_EQ_TOK = 96;
+    static readonly LT_TOK = 97;
+    static readonly GT_TOK = 98;
+    static readonly LEQ_TOK = 99;
+    static readonly GEQ_TOK = 100;
+    static readonly NI_TOK = 101;
+    static readonly NO_TOK = 102;
+    static readonly SUM_TOK = 103;
+    static readonly INT_TOK = 104;
+    static readonly OPTION_TOK = 105;
+    static readonly COMMA_TOK = 106;
+    static readonly SLASH_TOK = 107;
+    static readonly NUM_CONST_TOK = 108;
+    static readonly IDENTIFIER_TOK = 109;
+    static readonly WS = 110;
+    static readonly CCOMMENT = 111;
+    static readonly COMMENT = 112;
+    static readonly MULTCOMMENT = 113;
+    static readonly LANG_DECL = 114;
     static readonly RULE_predDecl = 0;
     static readonly RULE_parseExpr = 1;
     static readonly RULE_alloyModule = 2;
@@ -646,6 +651,11 @@ export declare class ConstContext extends ParserRuleContext {
     IDEN_TOK(): TerminalNode | undefined;
     number(): NumberContext | undefined;
     MINUS_TOK(): TerminalNode | undefined;
+    TRUE_TOK(): TerminalNode | undefined;
+    FALSE_TOK(): TerminalNode | undefined;
+    TRUE_HASH_TOK(): TerminalNode | undefined;
+    FALSE_HASH_TOK(): TerminalNode | undefined;
+    FILE_PATH_TOK(): TerminalNode | undefined;
     constructor(parent: ParserRuleContext | undefined, invokingState: number);
     get ruleIndex(): number;
     enterRule(listener: ForgeListener): void;
@@ -769,6 +779,7 @@ export declare class ArrowOpContext extends ParserRuleContext {
 export declare class CompareOpContext extends ParserRuleContext {
     IN_TOK(): TerminalNode | undefined;
     EQ_TOK(): TerminalNode | undefined;
+    LABEL_EQ_TOK(): TerminalNode | undefined;
     LT_TOK(): TerminalNode | undefined;
     GT_TOK(): TerminalNode | undefined;
     LEQ_TOK(): TerminalNode | undefined;