Searched refs:predicates (Results 1 – 25 of 82) sorted by relevance
1234
1 /** Demonstrates how semantic predicates get hoisted out of the rule in 3 * how predicates can be used to distinguish between enum as a keyword and7 * the T_dec-1.dot file to see the predicates in action.
23 /** Demonstrates how semantic predicates get hoisted out of the rule in 25 * how predicates can be used to distinguish between enum as a keyword and29 * the T_dec-1.dot file to see the predicates in action.
166 Predicate<? super UiElement>[] predicates = new Predicate[finders.length]; in getPredicates() local168 predicates[i] = finders[i].predicate; in getPredicates()170 return predicates; in getPredicates()
283 public void setPredicates(Expression[] predicates) in setPredicates() argument286 m_predicates = predicates; in setPredicates()287 if(null != predicates) in setPredicates()289 for(int i = 0; i < predicates.length; i++) in setPredicates()291 predicates[i].exprSetParent(this); in setPredicates()
10 # Logical reductions on predicates44 # Logical operations on predicates
955 Expression[] predicates = new Expression[count]; in getCompiledPredicates() local957 compilePredicates(opPos, predicates); in getCompiledPredicates()959 return predicates; in getCompiledPredicates()998 private void compilePredicates(int opPos, Expression[] predicates) in compilePredicates() argument1004 predicates[i] = predicate(opPos); in compilePredicates()
251 * rules created for syntactic predicates. As they never have return values254 * As predicates cannot be inlined into the invoking rule, they need to878 * have to evaluate some predicates for this edge.880 dfaEdge(labelExpr, targetState, predicates) ::= <<881 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>) {1011 /* bind to recognizer so semantic predicates can be evaluated */1056 cyclicDFAEdge(labelExpr, targetStateNumber, edgeNumber, predicates) ::= <<1057 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>) {s = <targetStateNumber>;}<\n>1063 eotDFAEdge(targetStateNumber,edgeNumber, predicates) ::= <<1205 * to stack itself not top of stack. This is useful for predicates
330 * rules created for syntactic predicates. As they never have return values333 * As predicates cannot be inlined into the invoking rule, they need to935 * have to evaluate some predicates for this edge.937 dfaEdge(labelExpr, targetState, predicates) ::= <<938 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>)1109 cyclicDFAEdge(labelExpr, targetStateNumber, edgeNumber, predicates) ::= <<1111 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>)1121 eotDFAEdge(targetStateNumber,edgeNumber, predicates) ::= "goto s<targetStateNumber>;"1252 * to stack itself not top of stack. This is useful for predicates
242 …led for that input<endif><if(hasPredicateBlockedByAction)><\n>Semantic predicates were present but…254 …predicates at locations: <altToLocations.keys:{alt|alt <alt>: <altToLocations.(alt):{loc| line <lo…284 …led for that input<endif><if(hasPredicateBlockedByAction)><\n>Semantic predicates were present but…292 …s <alts; separator=",">. Resolve by left-factoring or using syntactic predicates or using backtra…
26 * rewrites weren't pulled from syntactic predicates.543 * Labels on tokens, rules carry into synpreds now so semantic predicates work.564 indicates when actions hid semantic predicates.724 * Insufficiently covered (with semantic predicates) alt warnings are now emitted before728 warning(203): T.g:2:3: The following alternatives are insufficiently covered with predicates: 1730 warning(203): T.g:2:3: Input B is insufficiently covered with predicates at loca734 Semantic predicates were present but were hidden by actions.739 …predicates. In this case, there are two predicates that indicate the semantic context in which the…742 warning(203): U.g:2:5: Input such as "A B" is insufficiently covered with predicates at locations: …743 Semantic predicates were present but were hidden by actions.[all …]
262 * rules created for syntactic predicates. As they never have return values265 * As predicates cannot be inlined into the invoking rule, they need to907 * have to evaluate some predicates for this edge.909 dfaEdge(labelExpr, targetState, predicates) ::= <<910 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>) {1092 cyclicDFAEdge(labelExpr, targetStateNumber, edgeNumber, predicates) ::= <<1093 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>) {s = <targetStateNumber>;}<\n>1099 eotDFAEdge(targetStateNumber,edgeNumber, predicates) ::= <<1244 * to stack itself not top of stack. This is useful for predicates
247 * rules created for syntactic predicates. As they never have return values250 * As predicates cannot be inlined into the invoking rule, they need to867 * have to evaluate some predicates for this edge.869 dfaEdge(labelExpr, targetState, predicates) ::= <<870 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>) {1012 cyclicDFAEdge(labelExpr, targetStateNumber, edgeNumber, predicates) ::= <<1013 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>) {s = <targetStateNumber>;}<\n>1019 eotDFAEdge(targetStateNumber,edgeNumber, predicates) ::= <<1155 * to stack itself not top of stack. This is useful for predicates
330 * rules created for syntactic predicates. As they never have return values333 * As predicates cannot be inlined into the invoking rule, they need to1026 * have to evaluate some predicates for this edge.1028 dfaEdge(labelExpr, targetState, predicates) ::= <<1029 if (<labelExpr>) <if(predicates)>and (<predicates>)<endif>:1141 # thus semantic predicates can be evaluated1196 cyclicDFAEdge(labelExpr, targetStateNumber, edgeNumber, predicates) ::= <<1197 if (<labelExpr>)<if(predicates)> and (<predicates>)<endif>:1204 eotDFAEdge(targetStateNumber,edgeNumber, predicates) ::= <<1347 * to stack itself not top of stack. This is useful for predicates
520 def create_from_predicates(predicates, builds, board, devserver, argument556 return Suite(predicates,590 def __init__(self, predicates, tag, builds, board, cf_getter, argument649 return all((f(test) for f in predicates))
22 ; Logical reductions on predicates38 ; Logical operations on predicates
266 * imaginary rules created for syntactic predicates. As they270 * predicates cannot be inlined into the invoking rule, they820 * productions, we may have to evaluate some predicates for823 dfaEdge(labelExpr, targetState, predicates) ::= <<824 if ( <labelExpr> )<if(predicates)> and ( <predicates> )<endif>984 cyclicDFAEdge(labelExpr, targetStateNumber, edgeNumber, predicates) ::= <<985 if ( <labelExpr> )<if(predicates)> and ( <predicates> )<endif>992 eotDFAEdge(targetStateNumber, edgeNumber, predicates) ::= <<1061 * predicates like {$function.size()>0 &&
297 * rules created for syntactic predicates. As they never have return values300 * As predicates cannot be inlined into the invoking rule, they need to943 * have to evaluate some predicates for this edge.945 dfaEdge(labelExpr, targetState, predicates) ::= <<946 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>) {1115 cyclicDFAEdge(labelExpr, targetStateNumber, edgeNumber, predicates) ::= <<1116 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>) {s = <targetStateNumber>;}<\n>1122 eotDFAEdge(targetStateNumber,edgeNumber, predicates) ::= <<1267 * to stack itself not top of stack. This is useful for predicates
272 * rules created for syntactic predicates. As they never have return values275 * As predicates cannot be inlined into the invoking rule, they need to936 * have to evaluate some predicates for this edge.938 dfaEdge(labelExpr, targetState, predicates) ::= <<939 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>) {1101 cyclicDFAEdge(labelExpr, targetStateNumber, edgeNumber, predicates) ::= <<1102 if ( (<labelExpr>) <if(predicates)>&& (<predicates>)<endif>) {s = <targetStateNumber>}<\n>1108 eotDFAEdge(targetStateNumber,edgeNumber, predicates) ::= <<1251 * to stack itself not top of stack. This is useful for predicates
70 * synpreds (): syntactic predicates497 * rules created for syntactic predicates. As they never have return values500 * As predicates cannot be inlined into the invoking rule, they need to1285 * have to evaluate some predicates for this edge.1287 dfaEdge(labelExpr, targetState, predicates) ::= <<1288 if ((<labelExpr>)<if(predicates)> and (<predicates>)<endif>) then1470 cyclicDFAEdge(labelExpr, targetStateNumber, edgeNumber, predicates) ::= <<1471 if ((<labelExpr>)<if(predicates)> and (<predicates>)<endif>) then1478 eotDFAEdge(targetStateNumber,edgeNumber, predicates) ::= <<1664 * to stack itself not top of stack. This is useful for predicates
437 with predicates, analysis made cyclic DFA. But this stops758 * Syntactic predicates did not get hoisting properly upon non-LL(*) decision. Other hoisting issue…937 * fixed a place where I was adding syn predicates into rewrite stuff.967 by left-factoring or using syntactic predicates with fixed k1004 * Reduce op for combining predicates was insanely slow sometimes and1113 with semantic/syntactic predicates if they exist. The DFA is then1122 Now, I uses predicates if available and emits no warnings.1133 * Fixed a bug in how predicates are collected. The definition of1135 gated predicates incorrectly missed a case where an edge should become1267 States with edges emanating that have predicates are specially[all …]
30 /** A semantic predicate failed during validation. Validation of predicates
30 /** When walking ahead with cyclic DFA or for syntactic predicates,
20 // subclasses to partially override the predicates of their superclasses without21 // having to re-add all the existing predicates.
2 ; When simplify a branch based on LVI predicates, we should replace the
420 * rules created for syntactic predicates. As they never have return values423 * As predicates cannot be inlined into the invoking rule, they need to1187 * have to evaluate some predicates for this edge.1189 dfaEdge(labelExpr, targetState, predicates) ::= <<1190 if ((<labelExpr>)<if(predicates)> && (<predicates>)<endif>)1387 cyclicDFAEdge(labelExpr, targetStateNumber, edgeNumber, predicates) ::= <<1388 if ((<labelExpr>)<if(predicates)> && (<predicates>)<endif>) {s = <targetStateNumber>;}<\n>1394 eotDFAEdge(targetStateNumber,edgeNumber, predicates) ::= <<1570 * to stack itself not top of stack. This is useful for predicates