Uses of Class
org.antlr.analysis.SemanticContext
Packages that use SemanticContext
-
Uses of SemanticContext in org.antlr.analysis
Subclasses of SemanticContext in org.antlr.analysisModifier and TypeClassDescriptionstatic classstatic classstatic classstatic classstatic classstatic classstatic classFields in org.antlr.analysis declared as SemanticContextModifier and TypeFieldDescriptionprotected SemanticContextSemanticContext.NOT.ctxstatic final SemanticContextSemanticContext.EMPTY_SEMANTIC_CONTEXTCreate a default value for the semantic context shared among all NFAConfigurations that do not have an actual semantic context.NFAConfiguration.semanticContextThe set of semantic predicates associated with this NFA configuration.protected SemanticContextPredicateLabel.semanticContextA tree of semantic predicates from the grammar AST if label==SEMPRED.Fields in org.antlr.analysis with type parameters of type SemanticContextModifier and TypeFieldDescriptionprotected final Set<SemanticContext> SemanticContext.CommutativePredicate.operandsprotected Map<DFAState, Map<Integer, SemanticContext>> DecisionProbe.stateToAltSetWithSemanticPredicatesMapTrack the predicates for each alt per DFA state; more than one DFA state might have syntactically ambig alt prediction.Methods in org.antlr.analysis that return SemanticContextModifier and TypeMethodDescriptionprotected SemanticContextLL1Analyzer._getPredicates(NFAState s, NFAState altStartState) static SemanticContextSemanticContext.and(SemanticContext a, SemanticContext b) SemanticContext.AND.combinePredicates(SemanticContext left, SemanticContext right) abstract SemanticContextSemanticContext.CommutativePredicate.combinePredicates(SemanticContext left, SemanticContext right) SemanticContext.OR.combinePredicates(SemanticContext left, SemanticContext right) static SemanticContext[]SemanticContext.factorAnd(SemanticContext a, SemanticContext b) static SemanticContext[]SemanticContext.factorOr(SemanticContext a, SemanticContext b) SemanticContext.CommutativePredicate.getGatedPredicateContext()abstract SemanticContextSemanticContext.getGatedPredicateContext()Given a semantic context expression tree, return a tree with all nongated predicates set to true and then reduced.SemanticContext.NOT.getGatedPredicateContext()SemanticContext.Predicate.getGatedPredicateContext()DFAState.getGatedPredicatesInNFAConfigurations()For gated productions, we need an OR'd list of all predicates for the target of an edge so we can gate the edge based upon the predicates associated with taking that path (if any).LL1Analyzer.getPredicates(NFAState altStartState) Return predicate expression found via epsilon edges from s.Label.getSemanticContext()PredicateLabel.getSemanticContext()DecisionProbe.getSemanticContextForAlt(DFAState d, int alt) Each state in the DFA represents a different input sequence for an alt of the decision.protected static SemanticContextNFAToDFAConverter.getUnionOfPredicates(Map<?, SemanticContext> altToPredMap) OR together all predicates from the alts.static SemanticContextSemanticContext.not(SemanticContext a) static SemanticContextSemanticContext.or(SemanticContext a, SemanticContext b) Methods in org.antlr.analysis that return types with arguments of type SemanticContextModifier and TypeMethodDescriptionstatic Collection<SemanticContext> SemanticContext.getAndOperands(SemanticContext context) Set<? extends SemanticContext> static Collection<SemanticContext> SemanticContext.getOrOperands(SemanticContext context) protected Map<Integer, SemanticContext> NFAToDFAConverter.getPredicatesPerNonDeterministicAlt(DFAState d, Set<Integer> nondeterministicAlts) Return a mapping from nondeterministc alt to combined list of predicates.Methods in org.antlr.analysis with parameters of type SemanticContextModifier and TypeMethodDescriptionDFAState.addNFAConfiguration(NFAState state, int alt, NFAContext context, SemanticContext semanticContext) static SemanticContextSemanticContext.and(SemanticContext a, SemanticContext b) voidNFAToDFAConverter.closure(NFAState p, int alt, NFAContext context, SemanticContext semanticContext, DFAState d, boolean collectPredicates) Where can we get from NFA state p traversing only epsilon transitions? Add new NFA states + context to DFA state d.SemanticContext.AND.combinePredicates(SemanticContext left, SemanticContext right) abstract SemanticContextSemanticContext.CommutativePredicate.combinePredicates(SemanticContext left, SemanticContext right) SemanticContext.OR.combinePredicates(SemanticContext left, SemanticContext right) static SemanticContext[]SemanticContext.factorAnd(SemanticContext a, SemanticContext b) static SemanticContext[]SemanticContext.factorOr(SemanticContext a, SemanticContext b) static Collection<SemanticContext> SemanticContext.getAndOperands(SemanticContext context) static Collection<SemanticContext> SemanticContext.getOrOperands(SemanticContext context) static SemanticContextSemanticContext.not(SemanticContext a) static SemanticContextSemanticContext.or(SemanticContext a, SemanticContext b) Method parameters in org.antlr.analysis with type arguments of type SemanticContextModifier and TypeMethodDescriptionprotected static SemanticContextNFAToDFAConverter.getUnionOfPredicates(Map<?, SemanticContext> altToPredMap) OR together all predicates from the alts.voidDecisionProbe.reportAltPredicateContext(DFAState d, Map<Integer, ? extends SemanticContext> altPredicateContext) Report the list of predicates found for each alternative; copy the list because this set gets altered later by the method tryToResolveWithSemanticPredicates() while flagging NFA configurations in d as resolved.Constructors in org.antlr.analysis with parameters of type SemanticContextModifierConstructorDescriptionNFAConfiguration(int state, int alt, NFAContext context, SemanticContext semanticContext) NOT(SemanticContext ctx) OR(SemanticContext a, SemanticContext b) PredicateLabel(SemanticContext semCtx) Make a semantic predicates labelConstructor parameters in org.antlr.analysis with type arguments of type SemanticContextModifierConstructorDescriptionAND(HashSet<SemanticContext> contexts) CommutativePredicate(HashSet<SemanticContext> contexts) OR(HashSet<SemanticContext> contexts) -
Uses of SemanticContext in org.antlr.tool
Methods in org.antlr.tool with parameters of type SemanticContext