[v1,0/3] userdiff: Java updates

Message ID	20230203232339.216592-1-rybak.a.v@gmail.com (mailing list archive)
Headers	show Return-Path: <git-owner@vger.kernel.org> From: Andrei Rybak <rybak.a.v@gmail.com> To: git@vger.kernel.org Cc: Jeff King <peff@peff.net>, Paolo Bonzini <pbonzini@redhat.com>, Johannes Sixt <j6t@kdbg.org>, Tassilo Horn <tsdh@gnu.org> Subject: [PATCH v1 0/3] userdiff: Java updates Date: Sat, 4 Feb 2023 00:23:36 +0100 Message-Id: <20230203232339.216592-1-rybak.a.v@gmail.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Precedence: bulk
Series	userdiff: Java updates \| expand [v1,0/3] userdiff: Java updates [v1,1/3] userdiff: support Java type parameters [v1,2/3] userdiff: support Java record types [v1,3/3] userdiff: support Java sealed classes

Message ID

20230203232339.216592-1-rybak.a.v@gmail.com (mailing list archive)

Headers

From: Andrei Rybak <rybak.a.v@gmail.com>
To: git@vger.kernel.org
Cc: Jeff King <peff@peff.net>, Paolo Bonzini <pbonzini@redhat.com>,
        Johannes Sixt <j6t@kdbg.org>, Tassilo Horn <tsdh@gnu.org>
Subject: [PATCH v1 0/3] userdiff: Java updates
Date: Sat,  4 Feb 2023 00:23:36 +0100
Message-Id: <20230203232339.216592-1-rybak.a.v@gmail.com>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Precedence: bulk

Series

userdiff: Java updates | expand

Message

Andrei Rybak Feb. 3, 2023, 11:23 p.m. UTC

Three patches to improve builtin userdiff support for Java features.  Some
pretty old features -- type parameters aka generics are actually older than Git,
and some quite recent features of Java: records and sealed classes, released in
Java 16 and Java 17 correspondingly, both from 2021.

https://en.wikipedia.org/wiki/Java_version_history

Andrei Rybak (3):
  userdiff: support Java type parameters
  userdiff: support Java record types
  userdiff: support Java sealed classes

 t/t4018/java-class-type-parameters                     | 6 ++++++
 t/t4018/java-class-type-parameters-implements          | 6 ++++++
 t/t4018/java-interface-type-parameters                 | 6 ++++++
 t/t4018/java-interface-type-parameters-extends         | 6 ++++++
 t/t4018/java-non-sealed                                | 8 ++++++++
 t/t4018/java-record                                    | 6 ++++++
 t/t4018/java-record-type-parameters                    | 6 ++++++
 t/t4018/java-sealed                                    | 7 +++++++
 t/t4018/java-sealed-permits                            | 6 ++++++
 t/t4018/java-sealed-type-parameters                    | 6 ++++++
 t/t4018/java-sealed-type-parameters-implements-permits | 6 ++++++
 t/t4018/java-sealed-type-parameters-permits            | 6 ++++++
 userdiff.c                                             | 2 +-
 13 files changed, 76 insertions(+), 1 deletion(-)
 create mode 100644 t/t4018/java-class-type-parameters
 create mode 100644 t/t4018/java-class-type-parameters-implements
 create mode 100644 t/t4018/java-interface-type-parameters
 create mode 100644 t/t4018/java-interface-type-parameters-extends
 create mode 100644 t/t4018/java-non-sealed
 create mode 100644 t/t4018/java-record
 create mode 100644 t/t4018/java-record-type-parameters
 create mode 100644 t/t4018/java-sealed
 create mode 100644 t/t4018/java-sealed-permits
 create mode 100644 t/t4018/java-sealed-type-parameters
 create mode 100644 t/t4018/java-sealed-type-parameters-implements-permits
 create mode 100644 t/t4018/java-sealed-type-parameters-permits

Comments

Tassilo Horn Feb. 4, 2023, 9:22 a.m. UTC | #1

Andrei Rybak <rybak.a.v@gmail.com> writes:

Hi Andrei,

> Three patches to improve builtin userdiff support for Java features.
> Some pretty old features -- type parameters aka generics are actually
> older than Git, and some quite recent features of Java: records and
> sealed classes, released in Java 16 and Java 17 correspondingly, both
> from 2021.

Thanks for including me being the last contributor to java userdiff.
The patches look good from my POV and are safe-guarded with tests, so
I'm all for it.

Bye,
Tassilo