/// <summary>
		/// Initializes a new instance of the <see cref="SpoofaxParseTableFormat"/> class.
		/// </summary>
		/// <param name="factory">The term factory.</param>
		/// <param name="productionFormat">The production format.</param>
		public SpoofaxParseTableFormat(TermFactory factory, IProductionFormat<ITerm> productionFormat)
		{
			#region Contract
			Contract.Requires<ArgumentNullException>(factory != null);
			Contract.Requires<ArgumentNullException>(productionFormat != null);
			#endregion
			this.factory = factory;
			this.productionFormat = productionFormat;
		}
Beispiel #2
0
		/// <summary>
		/// Builds a collection of annotations.
		/// </summary>
		/// <param name="sut">The Subject Under Test.</param>
		/// <returns>The collection of annotations.</returns>
		private IReadOnlyCollection<ITerm> BuildAnnos(TermFactory sut)
		{
			var annos = new ITerm[]
			{
				sut.String("Annotation")
			};
			return annos;
		}