Issue 10934: 9.18 Undefined syntax (qvt-rtf) Source: Nomos Software (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: 9.18 Undefined syntax --------------------- The syntax for TransformationName, DirectionName, MappingName, PropertyName and VariableName is undefined. Presumably each of these is an Identifier (below) when defining, but a PathNameCS when referencing. The syntax for PackageName is undefined. Presumably it is an OCL PathNameCS. The syntax for ValueOCLExpr is undefined. This is presumably an OclExpressionCS. The syntax for BooleanOCLExpr is undefined. This could be an OclExpressionCS of Boolean type but ... The syntax for SlotOwnerOCLExpr is undefined. This could be an OclExpressionCS of Class type but ... If BooleanOCLExpr and SlotOwnerOCLExpr are parsed as OclExpressionCS the 'default' prefix causes a major ambiguity for 'default(...).xx' as a parenthesised slot owner or function call. It is necessary to make 'default' a reserved word within OCL expressions. Suggest: define BooleanOCLExpr and SlotOwnerOCLExpr very narrowly. Predicate ::= SimpleNameCS ("." SimpleNameCS)* "=" OclExpressionCS Assignment ::= ["default"] SimpleNameCS ("." SimpleNameCS)* ":=" OclExpressionCS Resolution: Revised Text: Actions taken: March 25, 2007: received issue Discussion: Resolution: DEFERRED End of Annotations:===== s is issue # 10934 From: "Ed Willink" 9.18 Undefined syntax --------------------- The syntax for TransformationName, DirectionName, MappingName, PropertyName and VariableName is undefined. Presumably each of these is an Identifier (below) when defining, but a PathNameCS when referencing. The syntax for PackageName is undefined. Presumably it is an OCL PathNameCS. The syntax for ValueOCLExpr is undefined. This is presumably an OclExpressionCS. The syntax for BooleanOCLExpr is undefined. This could be an OclExpressionCS of Boolean type but ... The syntax for SlotOwnerOCLExpr is undefined. This could be an OclExpressionCS of Class type but ... If BooleanOCLExpr and SlotOwnerOCLExpr are parsed as OclExpressionCS the 'default' prefix causes a major ambiguity for 'default(...).xx' as a parenthesised slot owner or function call. It is necessary to make 'default' a reserved word within OCL expressions. Suggest: define BooleanOCLExpr and SlotOwnerOCLExpr very narrowly. Predicate ::= SimpleNameCS ("." SimpleNameCS)* "=" OclExpressionCS Assignment ::= ["default"] SimpleNameCS ("." SimpleNameCS)* ":=" OclExpressionCS