Jump to content
Psycho_Mind

[Resolvido] Erro C# com Code Constracts

Recommended Posts

Psycho_Mind

Boas.

Estou a utilizar o Code Contracts que me está a dar um erro de visibilidade, que de fato consta no mannual do Code Contrats e esclarecem o porque,

"All members mentioned in a contract must be at least as visible as the method in which they appear. For

instance, a private eld cannot be mentioned in a precondition for a public method: clients wouldn't be

able to validate such a contract before they call the method."

mas o meu problema está a ser o não conseguir alterar o código de forma a que deixe de dar o erro. Deixo o código que estou a utilizar:

class CalculoComContratos
   {
       private int num;
       private int den;
       public CalculoComContratos(int numerador, int denominador)
       {
           num = numerador;
           den = denominador;
       }
       public int Divide()
       {
           Contract.Requires(den > 0);
           if (den > 0)
               return num / den;
           return num;
       }
   }
   class Program
   {
       static void Main(string[] args)
       {
           CalculoComContratos calc = new CalculoComContratos(4, 0);
           Console.WriteLine("O resultado é {0}", calc.Divide());
           Console.ReadLine();
       }
   }
}

Edited by pmg
Falta LP

Share this post


Link to post
Share on other sites
Psycho_Mind

Penso que tem a ver com o teu den ser uma variavel privada.

Experimenta trocar por uma propriedade publica.

Isso foi logo o que fiz...

public int den;

...quando li o manual, mas continuo a obter o mesmo erro.

Share this post


Link to post
Share on other sites
pikax

public int den nao e' uma propriedade!

public int den{get;set;}//propriedade auto-implementada


Por muito mais que que estude só aprendo uma coisa, que ainda tenho muita coisa para aprender.

A beleza de um código está em decompor problemas complexos em pequenos blocos simples.

"learn how to do it manually first, then use the wizzy tool to save time."

"Kill the baby, don't be afraid of starting all over again. Fail soon, learn fast."

Share this post


Link to post
Share on other sites
Psycho_Mind

Já devia de ter aprendido que em Windows nada se resolve sem reiniciar o pc :)

Não sei se foi disso, mas parece que já funciona.

Obrigado a todos.

Abraço.

Share this post


Link to post
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Guest
Reply to this topic...

×   Pasted as rich text.   Restore formatting

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.


×
×
  • Create New...

Important Information

By using this site you accept our Terms of Use and Privacy Policy. We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.