UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2 stars 0 forks source link

(0.2) validator bugs #140

Open MattWindsor91 opened 1 year ago

MattWindsor91 commented 1 year ago
java.lang.NullPointerException: Cannot invoke "robostar.robocert.Endpoint.isWorld()" because the return value of "robostar.robocert.impl.MessageImpl.getTo()" is null
    at robostar.robocert.impl.MessageImpl.isOutbound(MessageImpl.java:327)
    at robostar.robocert.impl.MessageImpl.eIsSet(MessageImpl.java:477)
    at org.eclipse.emf.ecore.impl.BasicEObjectImpl.eIsSet(BasicEObjectImpl.java:1280)
    at org.eclipse.emf.ecore.util.EObjectValidator.validate_DataValueConforms(EObjectValidator.java:832)
    at org.eclipse.emf.ecore.util.EObjectValidator.validate_EveryDataValueConforms(EObjectValidator.java:820)
    at org.eclipse.emf.ecore.util.EObjectValidator.validate_EveryDefaultConstraint(EObjectValidator.java:363)
    at org.eclipse.emf.ecore.util.EObjectValidator$DynamicEClassValidator.validate(EObjectValidator.java:1426)
    at org.eclipse.emf.ecore.util.EObjectValidator.validate(EObjectValidator.java:333)
    at org.eclipse.xtext.validation.CompositeEValidator.validate(CompositeEValidator.java:151)
    at org.eclipse.emf.ecore.util.Diagnostician.doValidate(Diagnostician.java:299)
    at org.eclipse.emf.ecore.util.Diagnostician.validate(Diagnostician.java:245)
    at org.eclipse.xtext.validation.CancelableDiagnostician.validate(CancelableDiagnostician.java:41)
    at org.eclipse.emf.ecore.util.Diagnostician.validate(Diagnostician.java:200)
    at org.eclipse.emf.ecore.util.Diagnostician.validate(Diagnostician.java:142)
    at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:147)
    at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:125)
    at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91)
    at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92)
    at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1)
    at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27)
    at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58)
    at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27)
    at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70)
    at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525)
    at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497)
    at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136)
    at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50)
    at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87)
    at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68)
    at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)

and

java.lang.IllegalArgumentException: can't resolve event if endpoints not within SpecificationGroup
    at robostar.robocert.util.resolve.EventResolverImpl.lambda$0(EventResolverImpl.java:55)
    at java.base/java.util.Optional.orElseThrow(Optional.java:403)
    at robostar.robocert.util.resolve.EventResolverImpl.resolve(EventResolverImpl.java:54)
    at robostar.robocert.textual.validation.seq.MessageValidator.checkEventTopicHasConnection(MessageValidator.java:83)
    at jdk.internal.reflect.GeneratedMethodAccessor45.invoke(Unknown Source)
    at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.base/java.lang.reflect.Method.invoke(Method.java:568)
    at org.eclipse.xtext.validation.AbstractDeclarativeValidator$MethodWrapper.invoke(AbstractDeclarativeValidator.java:129)
    at org.eclipse.xtext.validation.AbstractDeclarativeValidator.internalValidate(AbstractDeclarativeValidator.java:337)
    at org.eclipse.xtext.validation.AbstractInjectableValidator.validate(AbstractInjectableValidator.java:72)
    at org.eclipse.xtext.validation.CompositeEValidator.validate(CompositeEValidator.java:151)
    at org.eclipse.emf.ecore.util.Diagnostician.doValidate(Diagnostician.java:299)
    at org.eclipse.emf.ecore.util.Diagnostician.validate(Diagnostician.java:245)
    at org.eclipse.xtext.validation.CancelableDiagnostician.validate(CancelableDiagnostician.java:41)
    at org.eclipse.emf.ecore.util.Diagnostician.validate(Diagnostician.java:200)
    at org.eclipse.emf.ecore.util.Diagnostician.validate(Diagnostician.java:142)
    at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:147)
    at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:125)
    at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91)
    at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92)
    at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1)
    at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27)
    at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58)
    at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27)
    at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70)
    at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525)
    at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497)
    at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136)
    at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50)
    at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87)
    at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68)
    at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)