internal IntegerModel(IntegerModelFactory factory, ITypeSymbol type, IntHandle value) { Contract.Requires <ArgumentNullException>(factory != null, nameof(factory)); Contract.Requires <ArgumentException>(value.Expression != null, nameof(value)); this.Factory = factory; this.Type = type; this.Value = value; }
internal IntegerValueModel(IntegerModelFactory factory, ITypeSymbol type, IntHandle value) : base(factory, type, value) { Contract.Requires(value.Expression.Kind == SmtLibStandard.ExpressionKind.Interpretation); }