Mapping
A mapping between two OMS
Implements
Fields
conservativityStatus (
ConservativityStatus!)
The ConservativityStatus of this Mapping
displayName (
String!)
The human-friendly name of this Mapping
fileVersion (
FileVersion!)
The FileVersion to which this object belongs
freenessParameterLanguage (
Language)
The Language of the Mapping's freeness parameter
freenessParameterOMS (
OMS)
The OMS of the Mapping's freeness parameter
locId (
ID!)
The Loc/Id of the document
name (
String!)
The technical name of this Mapping
origin (
MappingOrigin!)
The origin of this Mapping
pending (
Boolean!)
True if there are open proofs in this Mapping
signatureMorphism (
SignatureMorphism!)
The SignatureMorphism that this Mapping uses
source (
OMS!)
The source of the Mapping
target (
OMS!)
The target of the Mapping
type (
MappingType!)
The type of this Mapping