org.antlr.v4.runtime.atn

Class SemanticContext.AND

java.lang.Object

org.antlr.v4.runtime.atn.SemanticContext

org.antlr.v4.runtime.atn.SemanticContext.Operator

org.antlr.v4.runtime.atn.SemanticContext.AND

Enclosing class:

SemanticContext

public static class SemanticContext.AND
extends SemanticContext.Operator

A semantic context which is true whenever none of the contained contexts is false.

Nested Class Summary

Nested classes/interfaces inherited from class org.antlr.v4.runtime.atn.SemanticContext

SemanticContext.AND, SemanticContext.Operator, SemanticContext.OR, SemanticContext.PrecedencePredicate, SemanticContext.Predicate

Field Summary

Fields

Modifier and Type	Field and Description
SemanticContext[]	opnds

Fields inherited from class org.antlr.v4.runtime.atn.SemanticContext

NONE

Constructor Summary

Constructors

Constructor and Description
SemanticContext.AND(SemanticContext a, SemanticContext b)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
boolean	eval(Recognizer<?,?> parser, RuleContext parserCallStack) For context independent predicates, we evaluate them without a local context (i.e., null context).
SemanticContext	evalPrecedence(Recognizer<?,?> parser, RuleContext parserCallStack) Evaluate the precedence predicates for the context and reduce the result.
java.util.Collection<SemanticContext>	getOperands() Gets the operands for the semantic context operator.
int	hashCode()
java.lang.String	toString()

Methods inherited from class org.antlr.v4.runtime.atn.SemanticContext

and, or

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

opnds

public final SemanticContext[] opnds

Constructor Detail

SemanticContext.AND

public SemanticContext.AND(SemanticContext a,
                   SemanticContext b)

Method Detail

getOperands

public java.util.Collection<SemanticContext> getOperands()

Description copied from class: SemanticContext.Operator

Gets the operands for the semantic context operator.

Specified by:

getOperands in class SemanticContext.Operator

Returns:

a collection of SemanticContext operands for the operator.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

eval

public boolean eval(Recognizer<?,?> parser,
           RuleContext parserCallStack)

For context independent predicates, we evaluate them without a local context (i.e., null context). That way, we can evaluate them without having to create proper rule-specific context during prediction (as opposed to the parser, which creates them naturally). In a practical sense, this avoids a cast exception from RuleContext to myruleContext.

For context dependent predicates, we must pass in a local context so that references such as $arg evaluate properly as _localctx.arg. We only capture context dependent predicates in the context in which we begin prediction, so we passed in the outer context here in case of context dependent predicate evaluation.

The evaluation of predicates by this context is short-circuiting, but unordered.

Specified by:

eval in class SemanticContext

evalPrecedence

public SemanticContext evalPrecedence(Recognizer<?,?> parser,
                             RuleContext parserCallStack)

Description copied from class: SemanticContext

Evaluate the precedence predicates for the context and reduce the result.

Overrides:

evalPrecedence in class SemanticContext

Parameters:

parser - The parser instance.

Returns:

The simplified semantic context after precedence predicates are evaluated, which will be one of the following values.

• SemanticContext.NONE: if the predicate simplifies to true after precedence predicates are evaluated.
• null: if the predicate simplifies to false after precedence predicates are evaluated.
• this: if the semantic context is not changed as a result of precedence predicate evaluation.
• A non-null SemanticContext: the new simplified semantic context after precedence predicates are evaluated.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object