public override Object VisitConditionNumLe([NotNull] MFSHParser.ConditionNumLeContext context) { MFSHParser.ConditionValueNumContext[] values = context.conditionValueNum(); return(new MIConditional.CStateNumLe { Lhs = values[0].GetText(), Rhs = values[1].GetText() }); }
/// <summary> /// Visit a parse tree produced by <see cref="MFSHParser.conditionNumLe"/>. /// <para> /// The default implementation returns the result of calling <see cref="AbstractParseTreeVisitor{Result}.VisitChildren(IRuleNode)"/> /// on <paramref name="context"/>. /// </para> /// </summary> /// <param name="context">The parse tree.</param> /// <return>The visitor result.</return> public virtual Result VisitConditionNumLe([NotNull] MFSHParser.ConditionNumLeContext context) { return(VisitChildren(context)); }