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