mirror of
https://github.com/slint-ui/slint.git
synced 2025-10-01 22:31:14 +00:00
40 lines
1.8 KiB
Text
40 lines
1.8 KiB
Text
/* LICENSE BEGIN
|
||
This file is part of the SixtyFPS Project -- https://sixtyfps.io
|
||
Copyright (c) 2020 Olivier Goffart <olivier.goffart@sixtyfps.io>
|
||
Copyright (c) 2020 Simon Hausmann <simon.hausmann@sixtyfps.io>
|
||
|
||
SPDX-License-Identifier: GPL-3.0-only
|
||
This file is also available under commercial licensing terms.
|
||
Please contact info@sixtyfps.io for more information.
|
||
LICENSE END */
|
||
SuperSimple := Rectangle {
|
||
property<duration> p1: 3s + 1ms;
|
||
// ^warning{Properties of type duration are not supported yet for public API. The property will not be exposed.}
|
||
property<int> p2: 3s + 1;
|
||
// ^error{Cannot convert float to duration}
|
||
property<int> p3: 3s - 1;
|
||
// ^error{Cannot convert float to duration}
|
||
property<int> p4: 3 / 1ms;
|
||
// ^error{Cannot convert \(ms⁻¹\) to int}
|
||
|
||
property<duration> p5: 3ms * 1;
|
||
// ^warning{Properties of type duration are not supported yet for public API. The property will not be exposed.}
|
||
property<duration> p6: 3ms * 1s;
|
||
// ^error{Cannot convert \(ms²\) to duration}
|
||
// ^^warning{Properties of type duration are not supported yet for public API. The property will not be exposed.}
|
||
|
||
property<int> p7: "hello" * 1;
|
||
// ^error{Cannot convert string to float}
|
||
|
||
property<int> p8: 1 - "hello" - 1;
|
||
// ^error{Cannot convert string to float}
|
||
|
||
property<string> p9: 1 + "hello" + 1;
|
||
property<int> p10: "hello" + 1ms;
|
||
// ^error{Cannot convert duration to string}
|
||
|
||
property<length> p11: 1ms * 1px *3px / 1deg * 3 / (30px * 1s - 3px * 1ms) * 2deg;
|
||
property<int> p12: 1ms * 3s / 3px / (2deg * 5turn) * 2s / 3phx;
|
||
// ^error{Cannot convert \(ms³×phx⁻¹×px⁻¹×deg⁻²\) to int}
|
||
}
|
||
|