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(); }