ogma-language-cocospec: Add NE operator to CoCoSpec grammar. Refs #71.

Requirements that contain inequalities in conditions in the TL formulas fail to be parsed correctly by Ogma. This commit modifies the CoCoSpec grammar so that inequality is supported by the language.
nasa · Feb 1, 2023 · aa32090 · aa32090
1 parent 1da5b94
commit aa32090
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ogma-language-cocospec/grammar/CoCoSpec.cf b/ogma-language-cocospec/grammar/CoCoSpec.cf
@@ -81,6 +81,7 @@ NumOp2Minus. NumOp2In ::= "-" ;
 NumOp2Mult . NumOp2In ::= "*" ;
 
 BoolNumOp2Eq . BoolNumOp ::= "=" ;
+BoolNumOp2Ne . BoolNumOp ::= "<>" ;
 BoolNumOp2Le . BoolNumOp ::= "<=" ;
 BoolNumOp2Lt . BoolNumOp ::= "<" ;
 BoolNumOp2Gt . BoolNumOp ::= ">" ;