public override void ExitRule(IParseTreeListener listener) { ILtlListener typedListener = listener as ILtlListener; if (typedListener != null) { typedListener.ExitProposition(this); } }
public override void EnterRule(IParseTreeListener listener) { ILtlListener typedListener = listener as ILtlListener; if (typedListener != null) { typedListener.EnterNegation(this); } }