public static Func <LabeledSymbol <APC, SymbolicValue>, string> Printer <SymbolicValue>
(IExpressionContextProvider <LabeledSymbol <APC, SymbolicValue>, SymbolicValue> contextProvider,
IMethodDriver <LabeledSymbol <APC, SymbolicValue>, SymbolicValue> methodDriver)
where SymbolicValue : IEquatable <SymbolicValue>
{
return(new PrinterImpl <SymbolicValue> (contextProvider, methodDriver).PrintAt);
}
public FullExpressionDecoder(IMetaDataProvider metaDataProvider, IExpressionContextProvider <E, V> contextProvider)
{
ContextProvider = contextProvider;
this.MetaDataProvider = metaDataProvider;
this.VariableVisitor = new VisitorForVariable <V, E> ();
this.UnderlyingVariableVisitor = new VisitorForUnderlyingVariable <V, E> ();
this.UnaryExpressionVisitor = new VisitorForIsUnaryExpression <V, E> ();
this.BinaryExpressionVisitor = new VisitorForIsBinaryExpression <V, E> ();
this.VariablesInVisitor = new VisitorForVariablesIn <V, E> (contextProvider);
this.ValueOfVisitor = new VisitorForValueOf <V, E> ();
this.SizeOfVisitor = new VisitorForSizeOf <V, E> ();
this.IsInstVisitor = new VisitorForIsInst <V, E> ();
this.IsNullVisitor = new VisitorForIsNull <V, E> ();
}
public BasicFacts(IExpressionContextProvider <Expression, Variable> contextProvider, IFactBase <Variable> factBase, Predicate <APC> isUnreachable)
{
this.ContextProvider = contextProvider;
this.FactBase = factBase;
this.isUnreachable = isUnreachable;
}
public ConstantEvaluator (IExpressionContextProvider<TExpr, TVar> contextProvider,
IMetaDataProvider metaDataProvider)
{
context_provider = contextProvider;
meta_data_provider = metaDataProvider;
}
public SimpleLogicInference(IExpressionContextProvider <Expression, Variable> contextProvider, IFactBase <Variable> factBase, Predicate <APC> isUnreachable)
: base(contextProvider, factBase, isUnreachable)
{
}
public ExpressionAssumeDecoder(IExpressionContextProvider <E, V> contextProvider)
{
this.context_provider = contextProvider;
}
public VisitorForVariablesIn(IExpressionContextProvider <E, V> contextProvider)
{
this.contextProvider = contextProvider;
}
public PrinterImpl(IExpressionContextProvider <LabeledSymbol <APC, SymbolicValue>, SymbolicValue> contextProvider,
IMethodDriver <LabeledSymbol <APC, SymbolicValue>, SymbolicValue> methodDriver)
{
this.context_provider = contextProvider;
this.method_driver = methodDriver;
}
public ValueExpressionDecoder(IMetaDataProvider metaDataProvider, IExpressionContextProvider <TExpr, TVar> contextProvider)
: base(metaDataProvider, contextProvider)
{
operator_for = new VisitorForOperatorFor();
type_of = new VisitorForTypeOf();
}