summaryrefslogtreecommitdiffstats
path: root/tests/diagnostics/interfaces
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2025-06-17 21:36:10 -0700
committerGitHub <noreply@github.com>2025-06-17 21:36:10 -0700
commit4d517794eaac7dfe6196e9a36d709d66c5720492 (patch)
treea7e65d8307b4e25f2a7bafcc9a2de1666c8b689e /tests/diagnostics/interfaces
parentb9799e6137fb1d173cefd823521bb70b09ac435a (diff)
LanguageServer: Enhance auto completion for override. (#7465)
* Add additional completion keywords. * LanguageServer: Enhance auto completion for `override`.
Diffstat (limited to 'tests/diagnostics/interfaces')
-rw-r--r--tests/diagnostics/interfaces/interface-override.slang28
1 files changed, 28 insertions, 0 deletions
diff --git a/tests/diagnostics/interfaces/interface-override.slang b/tests/diagnostics/interfaces/interface-override.slang
new file mode 100644
index 000000000..12539895b
--- /dev/null
+++ b/tests/diagnostics/interfaces/interface-override.slang
@@ -0,0 +1,28 @@
+//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK):
+
+interface IBase
+{
+ int f();
+}
+
+interface IDerived : IBase
+{
+ //CHECK-DAG: ([[# @LINE+1]]): error 30311:
+ __init() {}
+
+ property int value{
+ get;
+
+ //CHECK-DAG: ([[# @LINE+1]]): error 30311:
+ set{ }
+ }
+
+ __subscript(int index)->int
+ {
+ //CHECK-DAG: ([[# @LINE+1]]): error 30311:
+ get{}
+ }
+
+ //CHECK-DAG: ([[# @LINE+1]]): error 30312:
+ override int f() {}
+} \ No newline at end of file