类的使用
org.antlr.analysis.SemanticContext

使用SemanticContext的程序包

程序包	说明
org.antlr.analysis
org.antlr.tool

org.antlr.analysis中SemanticContext的使用

org.antlr.analysis中SemanticContext的子类

修饰符和类型	类	说明
static class	SemanticContext.AND
static class	SemanticContext.CommutativePredicate
static class	SemanticContext.FalsePredicate
static class	SemanticContext.NOT
static class	SemanticContext.OR
static class	SemanticContext.Predicate
static class	SemanticContext.TruePredicate

声明为SemanticContext的org.antlr.analysis中的字段

修饰符和类型	字段	说明
protected SemanticContext	SemanticContext.NOT.ctx
static SemanticContext	SemanticContext.EMPTY_SEMANTIC_CONTEXT	Create a default value for the semantic context shared among all NFAConfigurations that do not have an actual semantic context.
SemanticContext	NFAConfiguration.semanticContext	The set of semantic predicates associated with this NFA configuration.
protected SemanticContext	PredicateLabel.semanticContext	A tree of semantic predicates from the grammar AST if label==SEMPRED.

类型参数类型为SemanticContext的org.antlr.analysis中的字段

修饰符和类型	字段	说明
protected java.util.Set<SemanticContext>	SemanticContext.CommutativePredicate.operands
protected java.util.Map<DFAState,java.util.Map<java.lang.Integer,SemanticContext>>	DecisionProbe.stateToAltSetWithSemanticPredicatesMap	Track the predicates for each alt per DFA state; more than one DFA state might have syntactically ambig alt prediction.

返回SemanticContext的org.antlr.analysis中的方法

修饰符和类型	方法	说明
protected SemanticContext	LL1Analyzer._getPredicates(NFAState s, NFAState altStartState)
static SemanticContext	SemanticContext.and(SemanticContext a, SemanticContext b)
SemanticContext	SemanticContext.AND.combinePredicates(SemanticContext left, SemanticContext right)
abstract SemanticContext	SemanticContext.CommutativePredicate.combinePredicates(SemanticContext left, SemanticContext right)
SemanticContext	SemanticContext.OR.combinePredicates(SemanticContext left, SemanticContext right)
static SemanticContext[]	SemanticContext.factorAnd(SemanticContext a, SemanticContext b)
static SemanticContext[]	SemanticContext.factorOr(SemanticContext a, SemanticContext b)
SemanticContext	SemanticContext.CommutativePredicate.getGatedPredicateContext()
abstract SemanticContext	SemanticContext.getGatedPredicateContext()	Given a semantic context expression tree, return a tree with all nongated predicates set to true and then reduced.
SemanticContext	SemanticContext.NOT.getGatedPredicateContext()
SemanticContext	SemanticContext.Predicate.getGatedPredicateContext()
SemanticContext	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).
SemanticContext	LL1Analyzer.getPredicates(NFAState altStartState)	Return predicate expression found via epsilon edges from s.
SemanticContext	Label.getSemanticContext()
SemanticContext	PredicateLabel.getSemanticContext()
SemanticContext	DecisionProbe.getSemanticContextForAlt(DFAState d, int alt)	Each state in the DFA represents a different input sequence for an alt of the decision.
protected static SemanticContext	NFAToDFAConverter.getUnionOfPredicates(java.util.Map<?,SemanticContext> altToPredMap)	OR together all predicates from the alts.
static SemanticContext	SemanticContext.not(SemanticContext a)
static SemanticContext	SemanticContext.or(SemanticContext a, SemanticContext b)

返回变量类型为SemanticContext的类型的org.antlr.analysis中的方法

修饰符和类型	方法	说明
static java.util.Collection<SemanticContext>	SemanticContext.getAndOperands(SemanticContext context)
java.util.Set<? extends SemanticContext>	DFAState.getGatedSyntacticPredicatesInNFAConfigurations()
static java.util.Collection<SemanticContext>	SemanticContext.getOrOperands(SemanticContext context)
protected java.util.Map<java.lang.Integer,SemanticContext>	NFAToDFAConverter.getPredicatesPerNonDeterministicAlt(DFAState d, java.util.Set<java.lang.Integer> nondeterministicAlts)	Return a mapping from nondeterministc alt to combined list of predicates.

参数类型为SemanticContext的org.antlr.analysis中的方法

修饰符和类型	方法	说明
NFAConfiguration	DFAState.addNFAConfiguration(NFAState state, int alt, NFAContext context, SemanticContext semanticContext)
static SemanticContext	SemanticContext.and(SemanticContext a, SemanticContext b)
void	NFAToDFAConverter.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	SemanticContext.AND.combinePredicates(SemanticContext left, SemanticContext right)
abstract SemanticContext	SemanticContext.CommutativePredicate.combinePredicates(SemanticContext left, SemanticContext right)
SemanticContext	SemanticContext.OR.combinePredicates(SemanticContext left, SemanticContext right)
static SemanticContext[]	SemanticContext.factorAnd(SemanticContext a, SemanticContext b)
static SemanticContext[]	SemanticContext.factorOr(SemanticContext a, SemanticContext b)
static java.util.Collection<SemanticContext>	SemanticContext.getAndOperands(SemanticContext context)
static java.util.Collection<SemanticContext>	SemanticContext.getOrOperands(SemanticContext context)
static SemanticContext	SemanticContext.not(SemanticContext a)
static SemanticContext	SemanticContext.or(SemanticContext a, SemanticContext b)

类型变量类型为SemanticContext的org.antlr.analysis中的方法参数

修饰符和类型	方法	说明
protected static SemanticContext	NFAToDFAConverter.getUnionOfPredicates(java.util.Map<?,SemanticContext> altToPredMap)	OR together all predicates from the alts.
void	DecisionProbe.reportAltPredicateContext(DFAState d, java.util.Map<java.lang.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.

参数类型为SemanticContext的org.antlr.analysis中的构造器

构造器	说明
AND(SemanticContext a, SemanticContext b)
CommutativePredicate(SemanticContext a, SemanticContext b)
NFAConfiguration(int state, int alt, NFAContext context, SemanticContext semanticContext)
NOT(SemanticContext ctx)
OR(SemanticContext a, SemanticContext b)
PredicateLabel(SemanticContext semCtx)	Make a semantic predicates label

类型变量类型为SemanticContext的org.antlr.analysis中的构造器参数

构造器	说明
AND(java.util.HashSet<SemanticContext> contexts)
CommutativePredicate(java.util.HashSet<SemanticContext> contexts)
OR(java.util.HashSet<SemanticContext> contexts)

org.antlr.tool中SemanticContext的使用

参数类型为SemanticContext的org.antlr.tool中的方法

修饰符和类型	方法	说明
void	Grammar.synPredUsedInDFA(DFA dfa, SemanticContext semCtx)