AARCHMRS Schema 2.9.6

↚ Home

Parameters.Integer object

A signed integer parameter.

object

Properties Type Description
_meta Meta
See Meta for more information.
_type
Enum
Parameters.Integer
configured_by ParameterAbstract
See definitions.configured_by in ParameterAbstract for more information.
constraints ParameterAbstract
See definitions.constraints in ParameterAbstract for more information.
description ParameterAbstract
See definitions.description in ParameterAbstract for more information.
name◊ ParameterAbstract
See definitions.name in ParameterAbstract for more information.
title ParameterAbstract
See definitions.title in ParameterAbstract for more information.
values◊
oneOf [
array
integer
]

The current domain (possible values) of this Parameters.Integer.

oneOf array
oneOf Index
oneOf
  • integer
Examples
1
[
    -1, 
    {
        "_type": "Index", 
        "start": 5, 
        "end": 8
    }
]
[
    2, 
    4, 
    8, 
    16
]
Additional Properties
Not Allowed
◊ Required
Properties marked with ◊ are required properties.
Examples
{
    "_type": "Parameters.Integer", 
    "name": "NUM_CORES", 
    "constraints": [
        {
            "_type": "AST.BinaryOp", 
            "left": {
                "_type": "AST.BinaryOp", 
                "left": {
                    "_type": "AST.Identifier", 
                    "value": "NUM_CORES"
                }, 
                "op": ">", 
                "right": {
                    "_type": "AST.Integer", 
                    "value": 1
                }
            }, 
            "op": "==>", 
            "right": {
                "_type": "AST.Identifier", 
                "value": "MULTICORE"
            }
        }
    ], 
    "values": [
        {
            "_type": "Index", 
            "start": 1, 
            "end": 8
        }
    ]
}

Schema http://json-schema.org/draft-04/schema#

{
  "additionalProperties": false,
  "info": [
    "A signed integer parameter."
  ],
  "examples": [
    {
      "_type": "Parameters.Integer",
      "name": "NUM_CORES",
      "constraints": [
        {
          "_type": "AST.BinaryOp",
          "left": {
            "_type": "AST.BinaryOp",
            "left": {
              "_type": "AST.Identifier",
              "value": "NUM_CORES"
            },
            "op": ">",
            "right": {
              "_type": "AST.Integer",
              "value": 1
            }
          },
          "op": "==>",
          "right": {
            "_type": "AST.Identifier",
            "value": "MULTICORE"
          }
        }
      ],
      "values": [
        {
          "_type": "Index",
          "start": 1,
          "end": 8
        }
      ]
    }
  ],
  "properties": {
    "_meta": {
      "$ref": "../Meta.json"
    },
    "_type": {
      "enum": [
        "Parameters.Integer"
      ]
    },
    "name": {
      "$ref": "ParameterAbstract.json#/definitions/name"
    },
    "title": {
      "$ref": "ParameterAbstract.json#/definitions/title"
    },
    "description": {
      "$ref": "ParameterAbstract.json#/definitions/description"
    },
    "constraints": {
      "$ref": "ParameterAbstract.json#/definitions/constraints"
    },
    "configured_by": {
      "$ref": "ParameterAbstract.json#/definitions/configured_by"
    },
    "values": {
      "info": [
        "The current domain (possible values) of this $(Parameters.Integer)."
      ],
      "examples": [
        1,
        [
          -1,
          {
            "_type": "Index",
            "start": 5,
            "end": 8
          }
        ],
        [
          2,
          4,
          8,
          16
        ]
      ],
      "oneOf": [
        {
          "type": "array",
          "items": {
            "oneOf": [
              {
                "$ref": "../Index.json"
              },
              {
                "type": "integer"
              }
            ]
          }
        },
        {
          "$ref": "../Index.json"
        },
        {
          "type": "integer"
        }
      ]
    }
  },
  "required": [
    "name",
    "values"
  ],
  "title": "Parameters.Integer",
  "$schema": "http://json-schema.org/draft-04/schema#",
  "type": "object"
}