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