public List <BoxedExpression> ExtractAssertions(
IMethodResult <Variable> mr,
SimpleStringAbstractDomain <BoxedVariable <Variable>, BoxedExpression> astate,
IExpressionContext <Local, Parameter, Method, Field, Type, Expression, Variable> context,
IDecodeMetaData <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> metaDataDecoder)
{
StringValueAnalysis an = mr as StringValueAnalysis;
if (an == null)
{
return(null);
}
BoxedExpressionReader <Local, Parameter, Method, Field, Property, Event, Type, Variable, Expression, Attribute, Assembly> br = new BoxedExpressionReader <Local, Parameter, Method, Field, Property, Event, Type, Variable, Expression, Attribute, Assembly>(context, metaDataDecoder);
return(an.ToListOfBoxedExpressions(astate, br));
}
