public NavigationTargetListener(Antlr4EditorNavigationSource navigationSource, ITextSnapshot snapshot, IList <IToken> tokens) { Contract.Requires <ArgumentNullException>(navigationSource != null, "navigationSource"); Contract.Requires <ArgumentNullException>(snapshot != null, "snapshot"); Contract.Requires <ArgumentNullException>(tokens != null, "tokens"); _navigationSource = navigationSource; _snapshot = snapshot; _tokens = tokens; }
public NavigationTargetListener([NotNull] Antlr4EditorNavigationSource navigationSource, [NotNull] ITextSnapshot snapshot, [NotNull] IList <IToken> tokens) { Requires.NotNull(navigationSource, nameof(navigationSource)); Requires.NotNull(snapshot, nameof(snapshot)); Requires.NotNull(tokens, nameof(tokens)); _navigationSource = navigationSource; _snapshot = snapshot; _tokens = tokens; }
public NavigationTargetListener(Antlr4EditorNavigationSource navigationSource, ITextSnapshot snapshot, IList<IToken> tokens) { Contract.Requires<ArgumentNullException>(navigationSource != null, "navigationSource"); Contract.Requires<ArgumentNullException>(snapshot != null, "snapshot"); Contract.Requires<ArgumentNullException>(tokens != null, "tokens"); _navigationSource = navigationSource; _snapshot = snapshot; _tokens = tokens; }