GraphQL/exampleQueries/oms.graphql

	oms.graphql revision abdc8c3bcf5b761e9bebf51e6ba2bce659d29512
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrmquery OMS {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  oms(locId: "Basic/RelationsAndOrders.casl//oms/AntisymmetricRelation") {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    ...omsFields
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm}
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrmfragment omsFields on OMS {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  __typename
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  conservativityStatus {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    required
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    proved
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  consistencyCheckAttempts(limit: null) {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    action {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      evaluationState
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      message
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    reasonerConfiguration {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      configuredReasoner {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm        id
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm        displayName
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      premiseSelections {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm        selectedPremises(limit: null) {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm          locId
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm        }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      timeLimit
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    reasonerOutput {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      text
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    timeTaken
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    usedReasoner {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      id
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      displayName
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  description
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  displayName
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  freeNormalForm {
9c54d8e6dee330c19f895f29760af901190ab856Kris    locId
9c54d8e6dee330c19f895f29760af901190ab856Kris  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  freeNormalFormSignatureMorphism {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    id
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  labelHasFree
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  labelHasHiding
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  language {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    id
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    name
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    description
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  locId
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  logic {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    id
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    name
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
09ba3247163582bf2e30e17c4c154aa259ce038acilix  mappingsSource: mappings(limit: null, origin: source) {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    ... mappingsFields
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  mappingsTarget: mappings(limit: null, origin: target) {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    ... mappingsFields
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  name
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  nameExtension
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  nameExtensionIndex
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  nameFileRange {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    ...fileRangeFields
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  normalForm {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    locId
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  normalFormSignatureMorphism {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    id
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  origin
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  sentences(limit: null) {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    __typename
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    fileRange {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      ...fileRangeFields
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    locId
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    name
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    symbols(limit: null) {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      ...symbolFields
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    text
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    ... on Conjecture {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      ...conjectureFields
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  serialization {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    id
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  omsSignature: signature {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    id
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm}
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrmfragment conjectureFields on Conjecture {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  action {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    evaluationState
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    message
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  proofAttempts {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    action {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      evaluationState
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      message
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    reasonerConfiguration {
09ba3247163582bf2e30e17c4c154aa259ce038acilix      configuredReasoner {
09ba3247163582bf2e30e17c4c154aa259ce038acilix        id
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm        displayName
09ba3247163582bf2e30e17c4c154aa259ce038acilix      }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      premiseSelections {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm        selectedPremises(limit: null) {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm          locId
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm        }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    reasonerOutput {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      text
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    timeTaken
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    usedReasoner {
09ba3247163582bf2e30e17c4c154aa259ce038acilix      id
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm      displayName
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm}
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrmfragment symbolFields on Symbol {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  __typename
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  fileRange {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    ...fileRangeFields
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  fullName
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  kind
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  locId
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  name
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm}
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrmfragment mappingsFields on Mapping {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  conservativityStatus {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    required
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    proved
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  displayName
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  freenessParameterOMS {
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm    locId
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  }
da58597f9f9ecb17c4f545c4483a844a363bcc27pjrm  freenessParameterLanguage {
    id
    name
    description
  }
  locId
  name
  origin
  pending
  signatureMorphism {
    id
  }
  source {
    locId
  }
  target {
    locId
  }
  type
}

fragment fileRangeFields on FileRange {
  path
  startLine
  startColumn
  endLine
  endColumn
}