Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Syntax checking in in General class axioms view broken #302

Closed
RalphBln opened this issue Jan 14, 2016 · 0 comments
Closed

Syntax checking in in General class axioms view broken #302

RalphBln opened this issue Jan 14, 2016 · 0 comments

Comments

@RalphBln
Copy link

Starting to type in the GCA view results in an exception (see below).

Syntax checking and highlighting remains functional after the exception but autocompletion stops working.

[AWT-EventQueue-0] ERROR ExpressionEditor    An error occurred whilst checking an expression. Expression:  
org.semanticweb.owlapi.manchestersyntax.renderer.ParserException: Encountered |EOF| at line 1 column 2. Expected one of:
Class name
Object property name
Data property name
inv
Functional
inverse
InverseFunctional
(
Asymmetric
Transitive
Irreflexive
{
Symmetric
Reflexive

at org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl$ExceptionBuilder.build(ManchesterOWLSyntaxParserImpl.java:2441) ~[owlapi-osgidistribution.jar:4.1.3.20151118-2017]
at org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl.parseAxiom(ManchesterOWLSyntaxParserImpl.java:2582) ~[owlapi-osgidistribution.jar:4.1.3.20151118-2017]
at org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl.parseClassAxiom(ManchesterOWLSyntaxParserImpl.java:2587) ~[owlapi-osgidistribution.jar:4.1.3.20151118-2017]
at org.protege.editor.owl.ui.clsdescriptioneditor.OWLClassAxiomChecker.createObject(OWLClassAxiomChecker.java:42) ~[protege-editor-owl.jar:na]
at org.protege.editor.owl.ui.clsdescriptioneditor.OWLClassAxiomChecker.check(OWLClassAxiomChecker.java:34) ~[protege-editor-owl.jar:na]
at org.protege.editor.owl.ui.clsdescriptioneditor.ExpressionEditor.checkExpression(ExpressionEditor.java:213) [protege-editor-owl.jar:na]
at org.protege.editor.owl.ui.clsdescriptioneditor.ExpressionEditor.handleTimer(ExpressionEditor.java:227) [protege-editor-owl.jar:na]
at org.protege.editor.owl.ui.clsdescriptioneditor.ExpressionEditor.access$100(ExpressionEditor.java:45) [protege-editor-owl.jar:na]
at org.protege.editor.owl.ui.clsdescriptioneditor.ExpressionEditor$2.actionPerformed(ExpressionEditor.java:113) [protege-editor-owl.jar:na]
at javax.swing.Timer.fireActionPerformed(Timer.java:313) [na:1.8.0_40]
at javax.swing.Timer$DoPostEvent.run(Timer.java:245) [na:1.8.0_40]
at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311) [na:1.8.0_40]
at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:749) [na:1.8.0_40]
at java.awt.EventQueue.access$500(EventQueue.java:97) [na:1.8.0_40]
at java.awt.EventQueue$3.run(EventQueue.java:702) [na:1.8.0_40]
at java.awt.EventQueue$3.run(EventQueue.java:696) [na:1.8.0_40]
at java.security.AccessController.doPrivileged(Native Method) [na:1.8.0_40]
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:75) [na:1.8.0_40]
at java.awt.EventQueue.dispatchEvent(EventQueue.java:719) [na:1.8.0_40]
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201) [na:1.8.0_40]
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116) [na:1.8.0_40]
at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105) [na:1.8.0_40]
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) [na:1.8.0_40]
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93) [na:1.8.0_40]
at java.awt.EventDispatchThread.run(EventDispatchThread.java:82) [na:1.8.0_40]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant