l_violation.java

public interface Car {
  public void startEngine();
}

public Ferrari implements Car {
  ...
  @Override
  public double startEngine() {
         //logic ...
  }
}
=public Tesla implements Car{
  ...
  @Override
  public double startEngine() {
         if (!IsCharged)
            return;
       //logic ...
  }
}

public void letStartEngine(Car car) {
   car.startEngine();
}