Exemplos de SyntacticComparisonOutcome em C# (CSharp)

Exemplo n.º 1

Arquivo: InferenceHelper.cs Projeto: wang-xinhong/CodeContracts

            private SyntacticComparisonOutcome Join(SyntacticComparisonOutcome compareLeft, SyntacticComparisonOutcome compareRight)
            {
                if (compareLeft == compareRight)
                {
                    return(compareLeft);
                }
                if (compareLeft == SyntacticComparisonOutcome.Equal)
                {
                    return(compareRight);
                }
                if (compareRight == SyntacticComparisonOutcome.Equal)
                {
                    return(compareLeft);
                }

                return(SyntacticComparisonOutcome.Top);
            }

Exemplo n.º 2

Arquivo: InferenceDB.cs Projeto: asvishnyakov/CodeContracts

    private SyntacticComparisonOutcome Join(SyntacticComparisonOutcome compareLeft, SyntacticComparisonOutcome compareRight)
    {
      if (compareLeft == compareRight)
      {
        return compareLeft;
      }
      if (compareLeft == SyntacticComparisonOutcome.Equal)
      {
        return compareRight;
      }
      if (compareRight == SyntacticComparisonOutcome.Equal)
      {
        return compareLeft;
      }

      return SyntacticComparisonOutcome.Top;
    }