Numerous errors in the OpenJML analysis of MyThaiStar
The analysis of the selected 4 source files from MyThaiStar within the Demonstrator leads to 100 errors. For instance, the analysis of the file BookingmanagementImpl.java leads to 101 errors, see file enclosed.errBookingmanagementImpl.java
The analysis needs to be refined to reduce the number of errors in order to keep only the true errors bound to the selected code.
- For instance, the first error in the above example is: BookingmanagementImpl.java:13: error: package javax.annotation.security does not exist import javax.annotation.security.RolesAllowed;
which simply indicates that some import file could not be found. Commenting out the useless import clauses or pointing to the location of the available classes may resolve the error.
- Likewise for the errors below
BookingmanagementImpl.java:60: error: cannot find symbol public class BookingmanagementImpl extends AbstractComponentFacade implements Bookingmanagement { ^ symbol: class AbstractComponentFacade BookingmanagementImpl.java:60: error: cannot find symbol public class BookingmanagementImpl extends AbstractComponentFacade implements Bookingmanagement {
that could be resolved by helping OpenJML to find the needed source files in java/mtsj/core/src/main/java/com/devonfw/application/mtsj/general/logic/base.
- A certain number of errors are due to symbols in the code such as: BookingmanagementImpl.java:58: error: cannot find symbol @Named ^ symbol: class Named BookingmanagementImpl.java:59: error: cannot find symbol @Transactional ^ symbol: class Transactional
Can we remove/change them into something understandable by OpenJML?