Может ли постусловие JML для метода класса содержать вызов другого вызова метода Например, у меня есть этот класс: public class A { public int doA(x) { ... } public int doB(int x, int y) { ... } } Для постусловия doB я...

Пожалуйста, помогите получить исключение в using (ServiceHost host = new ServiceHost(typeof(HelloService.HelloService))) в приведенном ниже коде. Исключение: в качестве базового адреса можно использовать только абсолютный URI....