oml editor suggestions

[NicolasRouquette]

Control-space typically shows a list of possible completions.

• The completions should be filtered based on what is acceptable in the current context.

  • Completion for vocabulary restrictions

  Example:

      concept Concern :> analysis:MeasuredElement, base:AggregatedElement, base:IdentifiedElement [
    	  restricts all relation base:aggregates to Concern
    	  restricts all relation base:isAggregatedIn to Concern
      ]
  

  There are two places where completion would be useful.

  • Immediately after 'restricts all relation'.
    Filter for relations whose domain is the same as or a generalization of the context entity (e.g. Concern in this example)

  • Immediately after 'to'.
    Filter for entities that are the same or a specialization of the relation (e.g. base:aggregates or base:isAggregatedIn in this example).

  • Completion for description assertions

  Example:

  	ci WBS : project:WorkPackage [
   	project:realizes WP06.04:06.04.10.GNC
   ]
  

  There are two places where completion would be useful.

  • For selecting a relation (e.g., project:realizes) or a scalar property.
    Filter for relations/properties whose domain is the same as or a generalization of the instance classifier(s) (e.g. project:WorkPackage in this example)
  • After a relation, for selecting a suitable instance (e.g. WP06.04:06.04.10.GNC).
    Filter for instances classified by an entity that is the same or a specialization of the relation range (e.g., project:realizes).