OMS

An Ontology, Model or Specification (OMS)

Implements

Fields

action (Action!)

Information about the (to be) performed action

conservativityStatus (ConservativityStatus!)

The conservativity status of this OMS

consistencyCheckAttempts ([ConsistencyCheckAttempt!]!)

The attempts to check this OMS's consistency

Argument Type Description
limit Int

Maximum number of entries to list

The default value is 20.

skip Int

Skip the first n entries

The default value is 0.

consistencyStatus (ConsistencyStatus!)

The consistency status of this ConsistencyCheckAttempt

description (String)

The description of this OMS

displayName (String!)

The human-friendly name of this OMS

document (Document!)

The Document containing this OMS

fileVersion (FileVersion!)

The FileVersion to which this object belongs

freeNormalForm (OMS)

The free normal form of this OMS

freeNormalFormSignatureMorphism (SignatureMorphism)

The signature morphism leading to the free normal form

labelHasFree (Boolean!)

Flag indicating whether this OMS uses freeness

labelHasHiding (Boolean!)

Flag indicating whether this OMS uses hiding

language (Language!)

The Language of this OMS

locId (ID!)

The Loc/Id of the document

logic (Logic!)

The Logic of this OMS

mappings ([Mapping]!)

Mappings of which this OMS is the the source or the target

Argument Type Description
limit Int

Maximum number of entries to list

The default value is 20.

origin LinkOrigin

Specifies which end of the link the current OMS is

The default value is any.

skip Int

Skip the first n entries

The default value is 0.

name (String!)

The technical name of this OMS

nameExtension (String!)

The technical name extension of this OMS

nameExtensionIndex (Int!)

The index of this OMS by the name+extension

nameFileRange (FileRange)

The Range of the name of this OMS

normalForm (OMS)

The normal form of this OMS

normalFormSignatureMorphism (SignatureMorphism)

The signature morphism leading to the normal form

origin (OMSOrigin!)

The origin of this OMS

sentences ([Sentence!]!)

All sentneces in this OMS

Argument Type Description
limit Int

Maximum number of entries to list

The default value is 20.

skip Int

Skip the first n entries

The default value is 0.

serialization (Serialization)

The Serialization of this OMS

signature (Signature!)

The Signature of this OMS