C# (CSharp) IFixPointInfo Examples

Example #1

 public override IFactQuery <BoxedExpression, TVar> FactQuery
     (IFixPointInfo
     <APC, INumericalEnvironmentDomain <BoxedVariable <TVar>, BoxedExpression>
     > fixpoint)
 {
     return(new ConstantPropagationFactQuery <TVar> ());
 }

Example #2

File: Analysis.cs Project: claribou/Marvin

        public Predicate <APC> SaveFixPointInfo(IFixPointInfo <APC, Domain <E, V> > fixPointInfo)
        {
            this.fix_point_info = fixPointInfo;

            //todo: implement this
            return(pc => true);
        }

Example #3

File: CodeVisitor.cs Project: xiaochuwang/mono

 public Predicate <APC> SaveFixPointInfo(IFixPointInfo <APC, bool> fixPointInfo)
 {
     return(null);
 }

Example #4

 public abstract IFactQuery <BoxedExpression, TVar> FactQuery(
     IFixPointInfo <APC, TDomain> fixpoint);

Example #5

 public Predicate <APC> SaveFixPointInfo(IFixPointInfo <APC, TDomain> fixPointInfo)
 {
     FixPointInfo = fixPointInfo;
     return(a => false);
 }

Example #6

 public Predicate <APC> SaveFixPointInfo(IFixPointInfo <APC, ExprDomain <SymbolicValue> > fixPointInfo)
 {
     this.parent.SaveFixPointInfo(fixPointInfo);
     return(pc => true);
 }

Example #7

 public void SaveFixPointInfo(IFixPointInfo <APC, ExprDomain <TSymValue> > fixPointInfo)
 {
     this.fix_point_info = fixPointInfo;
 }

Example #8

File: HeapAnalysis.cs Project: pmq20/mono_forked

 public Predicate <APC> SaveFixPointInfo(IFixPointInfo <APC, Domain> fixPointInfo)
 {
     this.fixPointInfo = fixPointInfo;
     return(pc => true);
 }