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() }); }