internal BooleanModel(BooleanModelFactory factory, ITypeSymbol type, BoolHandle 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 BooleanValueModel(BooleanModelFactory factory, ITypeSymbol type, BoolHandle value)
: base(factory, type, value)
{
Contract.Requires(value.Expression.Kind == ExpressionKind.Interpretation);
}
