Rezistor = proc(int:x1,int:y1,int:x2,int:y2) returns(void);

Requires x1>108, x1<630, y1>50, y1<435, x2>108, x2<630, y2>50, y2<435

Ограничения на входные данные. Элемент должен рисоваться в рабочей области экрана.

Modifies x2,y2

Изменяется вторая координата (т.е. конец рисуемого объекта) в зависимости от угла расположения рисуемого элемента к оси ох. Изменяемая координата, таким образом, придаёт элементу правильное расположение (под углом 90 или 45 градусов к оси ох).

Effects На экране рисуется резистор, от начальной точки с координатами (х1,у1) к конечной точке с координатами (х2,у2).

Condensator = proc(int:x1,int:y1,int:x2,int:y2) returns(void);

Requires x1>108, x1<630, y1>50, y1<435, x2>108, x2<630, y2>50, y2<435

Ограничения на входные данные. Элемент должен рисоваться в рабочей области экрана.

Modifies x2,y2

Изменяется вторая координата (т.е. конец рисуемого объекта) в зависимости от угла расположения рисуемого элемента к оси ох. Изменяемая координата, таким образом, придаёт элементу правильное расположение (под углом 90 или 45 градусов к оси ох).

Effects На экране рисуется конденсатор, от начальной точки с координатами (х1,у1) к конечной точке с координатами (х2,у2).

Catushka = proc(int:x1,int:y1,int:x2,int:y2) returns(void);

Requires x1>108, x1<630, y1>50, y1<435, x2>108, x2<630, y2>50, y2<435

Ограничения на входные данные. Элемент должен рисоваться в рабочей области экрана.

Modifies x2,y2

Изменяется вторая координата (т.е. конец рисуемого объекта) в зависимости от угла расположения рисуемого элемента к оси ох. Изменяемая координата, таким образом, придаёт элементу правильное расположение (под углом 90 или 45 градусов к оси ох).