search

lu-cs-sde / metadl

MetaDL: Datalog analyzing Datalog, Java or any language of your choice
BSD 2-Clause "Simplified" License
16 stars 2 forks source link

MissingOverride check reports on private methods #13

Open alexdura opened 2 years ago

alexdura commented 2 years ago

In Java, private methods do not override methods from their superclasses. But the MissingOverride check reports on this.