CoDeSys v2.3

[capzap]

А вот это уже не смешно (d1: DATE):

Вложение 16141

а попробуйте преобразовать один тип в другой через _TO_ ,компилятор будет ругаться, так почему же он должен корректно производить арифметические действия с несовместимыми типами?

ЗЫ

d1:=DATE#2015-01-13 - T#1h;
d2:=DATE_TO_DWORD(DATE#2015-01-13);
d3:=TIME_TO_DWORD(T#1h);
d4:=DWORD_TO_DATE(d2-d3);

[Yegor]

а попробуйте

Это уже будет обход бага. Мы проверяем неявное, а не явное приведение типов.

почему же он должен корректно производить арифметические действия с несовместимыми типами?

Он должен вываливаться с ошибкой типизации примерно вот так:

sshot.png

Зависимость результата от порядка слагаемых в таком случае говорит о приведении по левому операнду. Значит, должно происходить неявное приведение правого операнда к совместимому налево типу, но этого явно не происходит. Это примерно как reinterpret_cast когда должно быть static_cast (C++). Представьте, что пытаясь сложить REAL#3.42 и DINT#5 в DINT вы получаете DINT#12000334 вместо ошибки (если сильная типизация) или DINT#8 с предупреждением о потере точности (если слабая типизация). Но именно такая хрень типа DINT#12000334 получается с комбинацией "DATE слева TIME справа". И по всем признакам (вроде необходимости делать REAL_TO_DINT) языки IEC61131 должны быть сильно типизированными.

Даже ещё проще. Если возможно неявное приведение TIME к DATE в качестве одного из арифметических операндов, то должно быть возможно и приведение в качестве правого операнда присваивания, но ведь его нет:

sshot.png

Тупо баг компилятора, причём в третьей версии то же самое.

[capzap]

Если возможно неявное приведение TIME к DATE в качестве одного из арифметических операндов

нет там никакого приведения, арифмитическая операция в процессоре идет не типами данных,а 32-разрядными словами, код я привел как получается ложная дата

[Yegor]

нет там никакого приведения

Implicit type conversion, also known as coercion, is an automatic type conversion by the compiler.

Не будь приведения, была бы ошибка (см. скриншот 1 в посте №342).

арифмитическая операция в процессоре идет не типами данных,а 32-разрядными словами

Типы у процессора свои (32-разрядное целое — один из них).

код я привел как получается ложная дата

Не важно как и не важно ложная ли. Попытка сложить DATE и TIME с целью получить DATE должна считаться ошибкой в любом случае примерно как попытка сложить DINT и REAL в DINT (оба этих типа тоже можно интерпретировать как 32-разрядные целочисленные — см. на скриншоте как я заставляю это делать компилятор C++). У кодесиса факап ещё на этапе семантического анализа в части типобезопасности, а не на этапе кодогенерации или исполнения.

[Yegor]

Картина маслом: симулятор смотрит на компилятор с недоумением и молчит

inthashtrue.png

[capzap]

Не будь приведения, была бы ошибка (см. скриншот 1 в посте №342).... ...я заставляю это делать компилятор C++).

ошибка потому что из меньшего вычитается большее значения, компилятор начинает проверять можно ли такое находит что типы не совместимы и выыдает ругательство, а компилятор кодесисовский и какой то другой, да под разные процессоры совершенно разные, уж если на то пошло сравните как обращается с типами тот же Си и яваскрипт

[Марат Перухин]

Подскажите как в CoDeSys привязать визуализацию процесса к программе? Например, должно происходить наполнение бака жидкостью до определенного момента, после чего начинается опорожнение.

[Николаев Андрей]

Алгоритм описывается в программе. И только в программе.
А визуализация привязывается просто к значениям переменной. В визуализации добавляете бар, и указываете в нем переменную, отвечающую за уровень бака. И БАР будет просто отображать значение этой переменной.

[adamst]

Подскажите как в CoDeSys привязать визуализацию процесса к программе? Например, должно происходить наполнение бака жидкостью до определенного момента, после чего начинается опорожнение.

на ютубе видел примеры работы с барами по визуализации вот у этого человека в частности http://www.youtube.com/user/nhfdybr/videos

[adamst]

подскажите пожалуйста нормальные методы загонять bit в word и нооборот
вот тут я выложил пример http://www.owen.ru/forum/showthread....l=1#post172551 не уверен что действую правильно