simple-graph-query 1.2.1 → 1.2.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -20,7 +20,6 @@ export declare class ForgeExprEvaluator extends AbstractParseTreeVisitor<EvalRes
20
20
  constructor(datum: IDataInstance);
21
21
  private updateFreeVariables;
22
22
  private constructFreeVariableKey;
23
- private tryVisitWithUnknownAsLabel;
24
23
  private getLabelForValue;
25
24
  private cacheResult;
26
25
  private getIden;
@@ -8,115 +8,111 @@ export declare class ForgeLexer extends Lexer {
8
8
  static readonly RIGHT_SQUARE_TOK = 3;
9
9
  static readonly AS_TOK = 4;
10
10
  static readonly FILE_PATH_TOK = 5;
11
- static readonly TRUE_TOK = 6;
12
- static readonly FALSE_TOK = 7;
13
- static readonly TRUE_HASH_TOK = 8;
14
- static readonly FALSE_HASH_TOK = 9;
15
- static readonly VAR_TOK = 10;
16
- static readonly ABSTRACT_TOK = 11;
17
- static readonly SIG_TOK = 12;
18
- static readonly LEFT_CURLY_TOK = 13;
19
- static readonly RIGHT_CURLY_TOK = 14;
20
- static readonly EXTENDS_TOK = 15;
21
- static readonly IN_TOK = 16;
22
- static readonly PLUS_TOK = 17;
23
- static readonly LONE_TOK = 18;
24
- static readonly SOME_TOK = 19;
25
- static readonly ONE_TOK = 20;
26
- static readonly TWO_TOK = 21;
27
- static readonly SET_TOK = 22;
28
- static readonly FUNC_TOK = 23;
29
- static readonly PFUNC_TOK = 24;
30
- static readonly DISJ_TOK = 25;
31
- static readonly COLON_TOK = 26;
32
- static readonly WHEAT_TOK = 27;
33
- static readonly PRED_TOK = 28;
34
- static readonly DOT_TOK = 29;
35
- static readonly FUN_TOK = 30;
36
- static readonly LEFT_PAREN_TOK = 31;
37
- static readonly RIGHT_PAREN_TOK = 32;
38
- static readonly ASSERT_TOK = 33;
39
- static readonly RUN_TOK = 34;
40
- static readonly CHECK_TOK = 35;
41
- static readonly FOR_TOK = 36;
42
- static readonly BUT_TOK = 37;
43
- static readonly EXACTLY_TOK = 38;
44
- static readonly NONE_TOK = 39;
45
- static readonly UNIV_TOK = 40;
46
- static readonly IDEN_TOK = 41;
47
- static readonly MINUS_TOK = 42;
48
- static readonly IS_TOK = 43;
49
- static readonly SAT_TOK = 44;
50
- static readonly UNSAT_TOK = 45;
51
- static readonly THEOREM_TOK = 46;
52
- static readonly FORGE_ERROR_TOK = 47;
53
- static readonly CHECKED_TOK = 48;
54
- static readonly TEST_TOK = 49;
55
- static readonly EXPECT_TOK = 50;
56
- static readonly SUITE_TOK = 51;
57
- static readonly BAR_TOK = 52;
58
- static readonly ALL_TOK = 53;
59
- static readonly SUFFICIENT_TOK = 54;
60
- static readonly NECESSARY_TOK = 55;
61
- static readonly CONSISTENT_TOK = 56;
62
- static readonly INCONSISTENT_TOK = 57;
63
- static readonly WITH_TOK = 58;
64
- static readonly LET_TOK = 59;
65
- static readonly BIND_TOK = 60;
66
- static readonly OR_TOK = 61;
67
- static readonly XOR_TOK = 62;
68
- static readonly IFF_TOK = 63;
69
- static readonly IMP_TOK = 64;
70
- static readonly ELSE_TOK = 65;
71
- static readonly AND_TOK = 66;
72
- static readonly UNTIL_TOK = 67;
73
- static readonly RELEASE_TOK = 68;
74
- static readonly SINCE_TOK = 69;
75
- static readonly TRIGGERED_TOK = 70;
76
- static readonly NEG_TOK = 71;
77
- static readonly ALWAYS_TOK = 72;
78
- static readonly EVENTUALLY_TOK = 73;
79
- static readonly AFTER_TOK = 74;
80
- static readonly BEFORE_TOK = 75;
81
- static readonly ONCE_TOK = 76;
82
- static readonly HISTORICALLY_TOK = 77;
83
- static readonly CARD_TOK = 78;
84
- static readonly PPLUS_TOK = 79;
85
- static readonly AMP_TOK = 80;
86
- static readonly SUBT_TOK = 81;
87
- static readonly SUPT_TOK = 82;
88
- static readonly PRIME_TOK = 83;
89
- static readonly TILDE_TOK = 84;
90
- static readonly EXP_TOK = 85;
91
- static readonly STAR_TOK = 86;
92
- static readonly AT_TOK = 87;
93
- static readonly BACKQUOTE_TOK = 88;
94
- static readonly THIS_TOK = 89;
95
- static readonly SEXPR_TOK = 90;
96
- static readonly INST_TOK = 91;
97
- static readonly EVAL_TOK = 92;
98
- static readonly EXAMPLE_TOK = 93;
99
- static readonly ARROW_TOK = 94;
100
- static readonly EQ_TOK = 95;
101
- static readonly LABEL_EQ_TOK = 96;
102
- static readonly LT_TOK = 97;
103
- static readonly GT_TOK = 98;
104
- static readonly LEQ_TOK = 99;
105
- static readonly GEQ_TOK = 100;
106
- static readonly NI_TOK = 101;
107
- static readonly NO_TOK = 102;
108
- static readonly SUM_TOK = 103;
109
- static readonly INT_TOK = 104;
110
- static readonly OPTION_TOK = 105;
111
- static readonly COMMA_TOK = 106;
112
- static readonly SLASH_TOK = 107;
113
- static readonly NUM_CONST_TOK = 108;
114
- static readonly IDENTIFIER_TOK = 109;
115
- static readonly WS = 110;
116
- static readonly CCOMMENT = 111;
117
- static readonly COMMENT = 112;
118
- static readonly MULTCOMMENT = 113;
119
- static readonly LANG_DECL = 114;
11
+ static readonly VAR_TOK = 6;
12
+ static readonly ABSTRACT_TOK = 7;
13
+ static readonly SIG_TOK = 8;
14
+ static readonly LEFT_CURLY_TOK = 9;
15
+ static readonly RIGHT_CURLY_TOK = 10;
16
+ static readonly EXTENDS_TOK = 11;
17
+ static readonly IN_TOK = 12;
18
+ static readonly PLUS_TOK = 13;
19
+ static readonly LONE_TOK = 14;
20
+ static readonly SOME_TOK = 15;
21
+ static readonly ONE_TOK = 16;
22
+ static readonly TWO_TOK = 17;
23
+ static readonly SET_TOK = 18;
24
+ static readonly FUNC_TOK = 19;
25
+ static readonly PFUNC_TOK = 20;
26
+ static readonly DISJ_TOK = 21;
27
+ static readonly COLON_TOK = 22;
28
+ static readonly WHEAT_TOK = 23;
29
+ static readonly PRED_TOK = 24;
30
+ static readonly DOT_TOK = 25;
31
+ static readonly FUN_TOK = 26;
32
+ static readonly LEFT_PAREN_TOK = 27;
33
+ static readonly RIGHT_PAREN_TOK = 28;
34
+ static readonly ASSERT_TOK = 29;
35
+ static readonly RUN_TOK = 30;
36
+ static readonly CHECK_TOK = 31;
37
+ static readonly FOR_TOK = 32;
38
+ static readonly BUT_TOK = 33;
39
+ static readonly EXACTLY_TOK = 34;
40
+ static readonly NONE_TOK = 35;
41
+ static readonly UNIV_TOK = 36;
42
+ static readonly IDEN_TOK = 37;
43
+ static readonly MINUS_TOK = 38;
44
+ static readonly IS_TOK = 39;
45
+ static readonly SAT_TOK = 40;
46
+ static readonly UNSAT_TOK = 41;
47
+ static readonly THEOREM_TOK = 42;
48
+ static readonly FORGE_ERROR_TOK = 43;
49
+ static readonly CHECKED_TOK = 44;
50
+ static readonly TEST_TOK = 45;
51
+ static readonly EXPECT_TOK = 46;
52
+ static readonly SUITE_TOK = 47;
53
+ static readonly BAR_TOK = 48;
54
+ static readonly ALL_TOK = 49;
55
+ static readonly SUFFICIENT_TOK = 50;
56
+ static readonly NECESSARY_TOK = 51;
57
+ static readonly CONSISTENT_TOK = 52;
58
+ static readonly INCONSISTENT_TOK = 53;
59
+ static readonly WITH_TOK = 54;
60
+ static readonly LET_TOK = 55;
61
+ static readonly BIND_TOK = 56;
62
+ static readonly OR_TOK = 57;
63
+ static readonly XOR_TOK = 58;
64
+ static readonly IFF_TOK = 59;
65
+ static readonly IMP_TOK = 60;
66
+ static readonly ELSE_TOK = 61;
67
+ static readonly AND_TOK = 62;
68
+ static readonly UNTIL_TOK = 63;
69
+ static readonly RELEASE_TOK = 64;
70
+ static readonly SINCE_TOK = 65;
71
+ static readonly TRIGGERED_TOK = 66;
72
+ static readonly NEG_TOK = 67;
73
+ static readonly ALWAYS_TOK = 68;
74
+ static readonly EVENTUALLY_TOK = 69;
75
+ static readonly AFTER_TOK = 70;
76
+ static readonly BEFORE_TOK = 71;
77
+ static readonly ONCE_TOK = 72;
78
+ static readonly HISTORICALLY_TOK = 73;
79
+ static readonly CARD_TOK = 74;
80
+ static readonly PPLUS_TOK = 75;
81
+ static readonly AMP_TOK = 76;
82
+ static readonly SUBT_TOK = 77;
83
+ static readonly SUPT_TOK = 78;
84
+ static readonly PRIME_TOK = 79;
85
+ static readonly TILDE_TOK = 80;
86
+ static readonly EXP_TOK = 81;
87
+ static readonly STAR_TOK = 82;
88
+ static readonly AT_TOK = 83;
89
+ static readonly BACKQUOTE_TOK = 84;
90
+ static readonly THIS_TOK = 85;
91
+ static readonly SEXPR_TOK = 86;
92
+ static readonly INST_TOK = 87;
93
+ static readonly EVAL_TOK = 88;
94
+ static readonly EXAMPLE_TOK = 89;
95
+ static readonly ARROW_TOK = 90;
96
+ static readonly GET_LABEL_TOK = 91;
97
+ static readonly EQ_TOK = 92;
98
+ static readonly LT_TOK = 93;
99
+ static readonly GT_TOK = 94;
100
+ static readonly LEQ_TOK = 95;
101
+ static readonly GEQ_TOK = 96;
102
+ static readonly NI_TOK = 97;
103
+ static readonly NO_TOK = 98;
104
+ static readonly SUM_TOK = 99;
105
+ static readonly INT_TOK = 100;
106
+ static readonly OPTION_TOK = 101;
107
+ static readonly COMMA_TOK = 102;
108
+ static readonly SLASH_TOK = 103;
109
+ static readonly NUM_CONST_TOK = 104;
110
+ static readonly IDENTIFIER_TOK = 105;
111
+ static readonly WS = 106;
112
+ static readonly CCOMMENT = 107;
113
+ static readonly COMMENT = 108;
114
+ static readonly MULTCOMMENT = 109;
115
+ static readonly LANG_DECL = 110;
120
116
  static readonly channelNames: string[];
121
117
  static readonly modeNames: string[];
122
118
  static readonly ruleNames: string[];
@@ -14,115 +14,111 @@ export declare class ForgeParser extends Parser {
14
14
  static readonly RIGHT_SQUARE_TOK = 3;
15
15
  static readonly AS_TOK = 4;
16
16
  static readonly FILE_PATH_TOK = 5;
17
- static readonly TRUE_TOK = 6;
18
- static readonly FALSE_TOK = 7;
19
- static readonly TRUE_HASH_TOK = 8;
20
- static readonly FALSE_HASH_TOK = 9;
21
- static readonly VAR_TOK = 10;
22
- static readonly ABSTRACT_TOK = 11;
23
- static readonly SIG_TOK = 12;
24
- static readonly LEFT_CURLY_TOK = 13;
25
- static readonly RIGHT_CURLY_TOK = 14;
26
- static readonly EXTENDS_TOK = 15;
27
- static readonly IN_TOK = 16;
28
- static readonly PLUS_TOK = 17;
29
- static readonly LONE_TOK = 18;
30
- static readonly SOME_TOK = 19;
31
- static readonly ONE_TOK = 20;
32
- static readonly TWO_TOK = 21;
33
- static readonly SET_TOK = 22;
34
- static readonly FUNC_TOK = 23;
35
- static readonly PFUNC_TOK = 24;
36
- static readonly DISJ_TOK = 25;
37
- static readonly COLON_TOK = 26;
38
- static readonly WHEAT_TOK = 27;
39
- static readonly PRED_TOK = 28;
40
- static readonly DOT_TOK = 29;
41
- static readonly FUN_TOK = 30;
42
- static readonly LEFT_PAREN_TOK = 31;
43
- static readonly RIGHT_PAREN_TOK = 32;
44
- static readonly ASSERT_TOK = 33;
45
- static readonly RUN_TOK = 34;
46
- static readonly CHECK_TOK = 35;
47
- static readonly FOR_TOK = 36;
48
- static readonly BUT_TOK = 37;
49
- static readonly EXACTLY_TOK = 38;
50
- static readonly NONE_TOK = 39;
51
- static readonly UNIV_TOK = 40;
52
- static readonly IDEN_TOK = 41;
53
- static readonly MINUS_TOK = 42;
54
- static readonly IS_TOK = 43;
55
- static readonly SAT_TOK = 44;
56
- static readonly UNSAT_TOK = 45;
57
- static readonly THEOREM_TOK = 46;
58
- static readonly FORGE_ERROR_TOK = 47;
59
- static readonly CHECKED_TOK = 48;
60
- static readonly TEST_TOK = 49;
61
- static readonly EXPECT_TOK = 50;
62
- static readonly SUITE_TOK = 51;
63
- static readonly BAR_TOK = 52;
64
- static readonly ALL_TOK = 53;
65
- static readonly SUFFICIENT_TOK = 54;
66
- static readonly NECESSARY_TOK = 55;
67
- static readonly CONSISTENT_TOK = 56;
68
- static readonly INCONSISTENT_TOK = 57;
69
- static readonly WITH_TOK = 58;
70
- static readonly LET_TOK = 59;
71
- static readonly BIND_TOK = 60;
72
- static readonly OR_TOK = 61;
73
- static readonly XOR_TOK = 62;
74
- static readonly IFF_TOK = 63;
75
- static readonly IMP_TOK = 64;
76
- static readonly ELSE_TOK = 65;
77
- static readonly AND_TOK = 66;
78
- static readonly UNTIL_TOK = 67;
79
- static readonly RELEASE_TOK = 68;
80
- static readonly SINCE_TOK = 69;
81
- static readonly TRIGGERED_TOK = 70;
82
- static readonly NEG_TOK = 71;
83
- static readonly ALWAYS_TOK = 72;
84
- static readonly EVENTUALLY_TOK = 73;
85
- static readonly AFTER_TOK = 74;
86
- static readonly BEFORE_TOK = 75;
87
- static readonly ONCE_TOK = 76;
88
- static readonly HISTORICALLY_TOK = 77;
89
- static readonly CARD_TOK = 78;
90
- static readonly PPLUS_TOK = 79;
91
- static readonly AMP_TOK = 80;
92
- static readonly SUBT_TOK = 81;
93
- static readonly SUPT_TOK = 82;
94
- static readonly PRIME_TOK = 83;
95
- static readonly TILDE_TOK = 84;
96
- static readonly EXP_TOK = 85;
97
- static readonly STAR_TOK = 86;
98
- static readonly AT_TOK = 87;
99
- static readonly BACKQUOTE_TOK = 88;
100
- static readonly THIS_TOK = 89;
101
- static readonly SEXPR_TOK = 90;
102
- static readonly INST_TOK = 91;
103
- static readonly EVAL_TOK = 92;
104
- static readonly EXAMPLE_TOK = 93;
105
- static readonly ARROW_TOK = 94;
106
- static readonly EQ_TOK = 95;
107
- static readonly LABEL_EQ_TOK = 96;
108
- static readonly LT_TOK = 97;
109
- static readonly GT_TOK = 98;
110
- static readonly LEQ_TOK = 99;
111
- static readonly GEQ_TOK = 100;
112
- static readonly NI_TOK = 101;
113
- static readonly NO_TOK = 102;
114
- static readonly SUM_TOK = 103;
115
- static readonly INT_TOK = 104;
116
- static readonly OPTION_TOK = 105;
117
- static readonly COMMA_TOK = 106;
118
- static readonly SLASH_TOK = 107;
119
- static readonly NUM_CONST_TOK = 108;
120
- static readonly IDENTIFIER_TOK = 109;
121
- static readonly WS = 110;
122
- static readonly CCOMMENT = 111;
123
- static readonly COMMENT = 112;
124
- static readonly MULTCOMMENT = 113;
125
- static readonly LANG_DECL = 114;
17
+ static readonly VAR_TOK = 6;
18
+ static readonly ABSTRACT_TOK = 7;
19
+ static readonly SIG_TOK = 8;
20
+ static readonly LEFT_CURLY_TOK = 9;
21
+ static readonly RIGHT_CURLY_TOK = 10;
22
+ static readonly EXTENDS_TOK = 11;
23
+ static readonly IN_TOK = 12;
24
+ static readonly PLUS_TOK = 13;
25
+ static readonly LONE_TOK = 14;
26
+ static readonly SOME_TOK = 15;
27
+ static readonly ONE_TOK = 16;
28
+ static readonly TWO_TOK = 17;
29
+ static readonly SET_TOK = 18;
30
+ static readonly FUNC_TOK = 19;
31
+ static readonly PFUNC_TOK = 20;
32
+ static readonly DISJ_TOK = 21;
33
+ static readonly COLON_TOK = 22;
34
+ static readonly WHEAT_TOK = 23;
35
+ static readonly PRED_TOK = 24;
36
+ static readonly DOT_TOK = 25;
37
+ static readonly FUN_TOK = 26;
38
+ static readonly LEFT_PAREN_TOK = 27;
39
+ static readonly RIGHT_PAREN_TOK = 28;
40
+ static readonly ASSERT_TOK = 29;
41
+ static readonly RUN_TOK = 30;
42
+ static readonly CHECK_TOK = 31;
43
+ static readonly FOR_TOK = 32;
44
+ static readonly BUT_TOK = 33;
45
+ static readonly EXACTLY_TOK = 34;
46
+ static readonly NONE_TOK = 35;
47
+ static readonly UNIV_TOK = 36;
48
+ static readonly IDEN_TOK = 37;
49
+ static readonly MINUS_TOK = 38;
50
+ static readonly IS_TOK = 39;
51
+ static readonly SAT_TOK = 40;
52
+ static readonly UNSAT_TOK = 41;
53
+ static readonly THEOREM_TOK = 42;
54
+ static readonly FORGE_ERROR_TOK = 43;
55
+ static readonly CHECKED_TOK = 44;
56
+ static readonly TEST_TOK = 45;
57
+ static readonly EXPECT_TOK = 46;
58
+ static readonly SUITE_TOK = 47;
59
+ static readonly BAR_TOK = 48;
60
+ static readonly ALL_TOK = 49;
61
+ static readonly SUFFICIENT_TOK = 50;
62
+ static readonly NECESSARY_TOK = 51;
63
+ static readonly CONSISTENT_TOK = 52;
64
+ static readonly INCONSISTENT_TOK = 53;
65
+ static readonly WITH_TOK = 54;
66
+ static readonly LET_TOK = 55;
67
+ static readonly BIND_TOK = 56;
68
+ static readonly OR_TOK = 57;
69
+ static readonly XOR_TOK = 58;
70
+ static readonly IFF_TOK = 59;
71
+ static readonly IMP_TOK = 60;
72
+ static readonly ELSE_TOK = 61;
73
+ static readonly AND_TOK = 62;
74
+ static readonly UNTIL_TOK = 63;
75
+ static readonly RELEASE_TOK = 64;
76
+ static readonly SINCE_TOK = 65;
77
+ static readonly TRIGGERED_TOK = 66;
78
+ static readonly NEG_TOK = 67;
79
+ static readonly ALWAYS_TOK = 68;
80
+ static readonly EVENTUALLY_TOK = 69;
81
+ static readonly AFTER_TOK = 70;
82
+ static readonly BEFORE_TOK = 71;
83
+ static readonly ONCE_TOK = 72;
84
+ static readonly HISTORICALLY_TOK = 73;
85
+ static readonly CARD_TOK = 74;
86
+ static readonly PPLUS_TOK = 75;
87
+ static readonly AMP_TOK = 76;
88
+ static readonly SUBT_TOK = 77;
89
+ static readonly SUPT_TOK = 78;
90
+ static readonly PRIME_TOK = 79;
91
+ static readonly TILDE_TOK = 80;
92
+ static readonly EXP_TOK = 81;
93
+ static readonly STAR_TOK = 82;
94
+ static readonly AT_TOK = 83;
95
+ static readonly BACKQUOTE_TOK = 84;
96
+ static readonly THIS_TOK = 85;
97
+ static readonly SEXPR_TOK = 86;
98
+ static readonly INST_TOK = 87;
99
+ static readonly EVAL_TOK = 88;
100
+ static readonly EXAMPLE_TOK = 89;
101
+ static readonly ARROW_TOK = 90;
102
+ static readonly GET_LABEL_TOK = 91;
103
+ static readonly EQ_TOK = 92;
104
+ static readonly LT_TOK = 93;
105
+ static readonly GT_TOK = 94;
106
+ static readonly LEQ_TOK = 95;
107
+ static readonly GEQ_TOK = 96;
108
+ static readonly NI_TOK = 97;
109
+ static readonly NO_TOK = 98;
110
+ static readonly SUM_TOK = 99;
111
+ static readonly INT_TOK = 100;
112
+ static readonly OPTION_TOK = 101;
113
+ static readonly COMMA_TOK = 102;
114
+ static readonly SLASH_TOK = 103;
115
+ static readonly NUM_CONST_TOK = 104;
116
+ static readonly IDENTIFIER_TOK = 105;
117
+ static readonly WS = 106;
118
+ static readonly CCOMMENT = 107;
119
+ static readonly COMMENT = 108;
120
+ static readonly MULTCOMMENT = 109;
121
+ static readonly LANG_DECL = 110;
126
122
  static readonly RULE_predDecl = 0;
127
123
  static readonly RULE_parseExpr = 1;
128
124
  static readonly RULE_alloyModule = 2;
@@ -651,11 +647,6 @@ export declare class ConstContext extends ParserRuleContext {
651
647
  IDEN_TOK(): TerminalNode | undefined;
652
648
  number(): NumberContext | undefined;
653
649
  MINUS_TOK(): TerminalNode | undefined;
654
- TRUE_TOK(): TerminalNode | undefined;
655
- FALSE_TOK(): TerminalNode | undefined;
656
- TRUE_HASH_TOK(): TerminalNode | undefined;
657
- FALSE_HASH_TOK(): TerminalNode | undefined;
658
- FILE_PATH_TOK(): TerminalNode | undefined;
659
650
  constructor(parent: ParserRuleContext | undefined, invokingState: number);
660
651
  get ruleIndex(): number;
661
652
  enterRule(listener: ForgeListener): void;
@@ -779,7 +770,6 @@ export declare class ArrowOpContext extends ParserRuleContext {
779
770
  export declare class CompareOpContext extends ParserRuleContext {
780
771
  IN_TOK(): TerminalNode | undefined;
781
772
  EQ_TOK(): TerminalNode | undefined;
782
- LABEL_EQ_TOK(): TerminalNode | undefined;
783
773
  LT_TOK(): TerminalNode | undefined;
784
774
  GT_TOK(): TerminalNode | undefined;
785
775
  LEQ_TOK(): TerminalNode | undefined;
@@ -1175,6 +1165,7 @@ export declare class Expr17Context extends ParserRuleContext {
1175
1165
  TILDE_TOK(): TerminalNode | undefined;
1176
1166
  EXP_TOK(): TerminalNode | undefined;
1177
1167
  STAR_TOK(): TerminalNode | undefined;
1168
+ GET_LABEL_TOK(): TerminalNode | undefined;
1178
1169
  constructor(parent: ParserRuleContext | undefined, invokingState: number);
1179
1170
  get ruleIndex(): number;
1180
1171
  enterRule(listener: ForgeListener): void;