C# (CSharp) Microsoft.Research.DataStructures Microsoft.Research.DataStructures.Pair Examples

Example #1

 protected override INumericalAbstractDomain <BoxedExpression> HelperForJoin(
     INumericalAbstractDomain <BoxedExpression> newState,
     INumericalAbstractDomain <BoxedExpression> prevState, Microsoft.Research.DataStructures.Pair <APC, APC> edge)
 {
     return(((StripeWithIntervalsForUnsafeCode)newState).Join((StripeWithIntervalsForUnsafeCode)prevState, edge.Two));
 }

Example #2

File: ExpressionCodeVisitor.cs Project: nomada2/CodeContracts

 // Made virtual to count the # of join points in the SyntacticComplexityAnalysis
 virtual public bool Join(Microsoft.Research.DataStructures.Pair <APC, APC> edge, bool newState, bool prevState, out bool weaker, bool widen)
 {
     weaker = false;
     return(true);
 }

Example #3

 protected override INumericalAbstractDomain <BoxedExpression> HelperForWidening(
     INumericalAbstractDomain <BoxedExpression> newState,
     INumericalAbstractDomain <BoxedExpression> prevState, Microsoft.Research.DataStructures.Pair <APC, APC> edge)
 {
     return((INumericalAbstractDomain <BoxedExpression>)newState.Widening(prevState));
 }