slint/internal/compiler/tests/syntax/basic/dialog.slint
Olivier Goffart 5d4c390b0f
Compiler: Error when assigning to compile time properties
Some property need to be known at compile time. We already had checks
that the binding is a compile time constant, but there was no check to
prevent, say

    self.row = 42;

which wouldn't work or could even cause panic or miscompilation of
generated code

Closes #4037
2023-12-12 21:51:56 +01:00

60 lines
2 KiB
Text

// Copyright © SixtyFPS GmbH <info@slint.dev>
// SPDX-License-Identifier: GPL-3.0-only OR LicenseRef-Slint-Royalty-free-1.1 OR LicenseRef-Slint-commercial
import { StandardButton } from "std-widgets.slint";
MyDiag1 := Dialog {
Rectangle {}
StandardButton { kind: cancel; }
Rectangle {}
// ^error{A Dialog can have only one child element that is not a StandardButton}
}
MyDiag2 := Dialog {
// ^error{A Dialog must have a single child element that is not StandardButton}
StandardButton { kind: reset; }
StandardButton {
kind: cancel;
col: 42;
// ^error{col used outside of a GridLayout}
rowspan: 2;
// ^error{rowspan used outside of a GridLayout}
}
}
MyDiag3 := Dialog {
Rectangle { }
StandardButton { kind: ok; }
StandardButton { }
// ^error{The `kind` property of the StandardButton in a Dialog must be set}
StandardButton { kind: true ? ok : cancel; }
// ^error{The `kind` property of the StandardButton in a Dialog must be known at compile-time}
StandardButton { kind: ok; }
// ^error{Duplicated `kind`: There are two StandardButton in this Dialog with the same kind}
}
MyDialog4 := Dialog {
StandardButton { kind: ok; }
r := Rectangle { dialog-button-role: accept; }
Rectangle { dialog-button-role: none; }
// ^error{The `dialog-button-role` cannot be set explicitly to none}
Rectangle { dialog-button-role: true ? accept : reject; }
// ^error{The `dialog-button-role` property must be known at compile-time}
Rectangle {
Rectangle { dialog-button-role: accept; }
// ^error{dialog-button-role used outside of a Dialog}
}
init => {
r.dialog-button-role = DialogButtonRole.action;
// ^error{The property must be known at compile time and cannot be changed at runtime}
}
}
export Test := Rectangle {
MyDiag1 {}
MyDiag2 {}
MyDiag3 {}
MyDialog4 {}
}