Часы VDM++

Я реализовал генератор случайных чисел в vdm++. Но я хотел, чтобы сид был временем часов с компьютера. Кто-нибудь знает, есть ли функция vdm++, эквивалентная функции С++ time(NULL)?

Спасибо.


clock vdm++
person broclan    schedule 03.12.2012    source источник

Ответы (1)


arrow_upward
3
arrow_downward

Не существует какой-либо встроенной библиотеки для получения системного времени, такого как time(NULL), но легко создать такую ​​функцию на Java и связать ее с вашей моделью, если вы используете Overture IDE для VDM.

В руководстве пользователя Overture есть соответствующий раздел: 14.1 Определение собственных библиотек Java для использования в Overture.< /а>

Вам нужно создать файл jar с классом java, который дает вам системное время следующим образом:

public class SystemTime
{
    public static Value time()
    {
        return new RealValue(System.currentTimeMillis());
    }
}

И его аналог VDM:

class SystemTime

operations
public static time : () ==> real
time() == is not yet specified;

end SystemTime

Затем поместите файл jar и vdm внутрь проекта следующим образом: Project root/lib/systemtime.jar systemtime.vdmpp

Теперь вы можете использовать операцию VDM SystemTime`time() для получения системного времени.

person Lausdahl    schedule 04.12.2012