patch 9.0.2084: Vim9: abstract static methods are possible
Commit:
https://github.com/vim/vim/commit/ef9e3f8924363939ff45fa385f50f57146ff365c
Author: Yegappan Lakshmanan <yegap...@yahoo.com>
Date: Thu Nov 2 20:43:57 2023 +0100
patch 9.0.2084: Vim9: abstract static methods are possible
Problem: Vim9: abstract static methods are possible
Solution: Disallow abstract static methods
fixes: #13462
closes: #13466
Signed-off-by: Yegappan Lakshmanan <yegap...@yahoo.com>
Signed-off-by: Christian Brabandt <c...@256bit.org>
diff --git a/runtime/doc/vim9class.txt b/runtime/doc/vim9class.txt
index 91d9e5ec9..505cbe62f 100644
--- a/runtime/doc/vim9class.txt
+++ b/runtime/doc/vim9class.txt
@@ -411,6 +411,8 @@ prefix when defining the method: >
abstract static def SetColor()
endclass
<
+A static method in an abstract class cannot be an abstract method.
+
*E1373*
A class extending the abstract class must implement all the abstract methods.
The signature (arguments, argument types and return type) must be exactly the
diff --git a/src/errors.h b/src/errors.h
index f8e1dfe91..26ecf0940 100644
--- a/src/errors.h
+++ b/src/errors.h
@@ -3494,8 +3494,8 @@ EXTERN char e_duplicate_variable_str[]
INIT(= N_("E1369: Duplicate variable: %s"));
EXTERN char e_cannot_define_new_method_as_static[]
INIT(= N_("E1370: Cannot define a \"new\" method as static"));
-EXTERN char e_abstract_must_be_followed_by_def_or_static[]
- INIT(= N_("E1371: Abstract must be followed by \"def\" or \"static\""));
+EXTERN char e_abstract_must_be_followed_by_def[]
+ INIT(= N_("E1371: Abstract must be followed by \"def\""));
EXTERN char e_abstract_method_in_concrete_class[]
INIT(= N_("E1372: Abstract method \"%s\" cannot be defined in a
concrete class"));
EXTERN char e_abstract_method_str_not_found[]
diff --git a/src/testdir/test_vim9_class.vim b/src/testdir/test_vim9_class.vim
index a8d0fd669..b3d984124 100644
--- a/src/testdir/test_vim9_class.vim
+++ b/src/testdir/test_vim9_class.vim
@@ -35,7 +35,7 @@ def Test_class_basic()
END
v9.CheckSourceFailure(lines, 'E475: Invalid argument: noclass Something', 2)
- # Only the completed word "class" should be recognized
+ # Only the complete word "class" should be recognized
lines =<< trim END
vim9script
abstract classy Something
@@ -4186,8 +4186,8 @@ enddef
def Test_lockvar_islocked()
# Can't lock class/object variable
# Lock class/object variable's value
- # Lock item of variabl's value (a list item)
- # varible is at index 1 within class/object
+ # Lock item of variable's value (a list item)
+ # variable is at index 1 within class/object
var lines =<< trim END
vim9script
@@ -5585,7 +5585,7 @@ def Test_abstract_method()
abstract this.val = 10
endclass
END
- v9.CheckSourceFailure(lines, 'E1371: Abstract must be followed by "def" or
"static"', 3)
+ v9.CheckSourceFailure(lines, 'E1371: Abstract must be followed by "def"', 3)
# Use a static abstract method
lines =<< trim END
@@ -5593,14 +5593,8 @@ def Test_abstract_method()
abstract class A
abstract static def Foo(): number
endclass
- class B extends A
- static def Foo(): number
- return 4
- enddef
- endclass
- assert_equal(4, B.Foo())
END
- v9.CheckSourceSuccess(lines)
+ v9.CheckSourceFailure(lines, 'E1371: Abstract must be followed by "def"', 3)
# Type mismatch between abstract method and concrete method
lines =<< trim END
@@ -5616,17 +5610,6 @@ def Test_abstract_method()
END
v9.CheckSourceFailure(lines, 'E1383: Method "Foo": type mismatch, expected
func(string, number): list<number> but got func(number, string): list<string>',
9)
- # Use an abstract class to invoke an abstract method
- # FIXME: This should fail
- lines =<< trim END
- vim9script
- abstract class A
- abstract static def Foo()
- endclass
- A.Foo()
- END
- v9.CheckSourceSuccess(lines)
-
# Invoke an abstract method from a def function
lines =<< trim END
vim9script
@@ -5645,6 +5628,18 @@ def Test_abstract_method()
Bar(b)
END
v9.CheckSourceSuccess(lines)
+
+ # Use a static method in an abstract class
+ lines =<< trim END
+ vim9script
+ abstract class A
+ static def Foo(): string
+ return 'foo'
+ enddef
+ endclass
+ assert_equal('foo', A.Foo())
+ END
+ v9.CheckSourceSuccess(lines)
enddef
" Test for calling a class method from a subclass
diff --git a/src/version.c b/src/version.c
index 6bac0de53..7511e5c18 100644
--- a/src/version.c
+++ b/src/version.c
@@ -704,6 +704,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 2084,
/**/
2083,
/**/
diff --git a/src/vim9class.c b/src/vim9class.c
index 436b2a8a9..ede310b45 100644
--- a/src/vim9class.c
+++ b/src/vim9class.c
@@ -1571,9 +1571,9 @@ early_ret:
abstract_method = TRUE;
p = skipwhite(pa + 8);
- if (STRNCMP(p, "def", 3) != 0 && STRNCMP(p, "static", 6) != 0)
+ if (STRNCMP(p, "def", 3) != 0)
{
- emsg(_(e_abstract_must_be_followed_by_def_or_static));
+ emsg(_(e_abstract_must_be_followed_by_def));
break;
}
}
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to vim_dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/vim_dev/E1qydrI-0002aT-NU%40256bit.org.
