Scalar Types​

Description​

The command create scalar type defines a new scalar type for use in the current branch.

If name is qualified with a module name, then the type is created in that module, otherwise it is created in the current module. The type name must be distinct from that of any existing schema item in the module.

If the abstract keyword is specified, the created type will be abstract.

All non-abstract scalar types must have an underlying core implementation. For user-defined scalar types this means that create scalar type must have another non-abstract scalar type as its supertype.

The most common use of create scalar type is to define a scalar subtype with constraints.

Most sub-commands and options of this command are identical to the SDL scalar type declaration. The following subcommands are allowed in the create scalar type block:

create annotation annotation-name := value;

Set scalar type’s annotation-name to value.

See create annotation for details.

create constraint constraint-name ...

Define a new constraint for this scalar type. See create constraint for details.

Examples​

Create a new non-negative integer type:

create scalar type posint64 extending int64 {
    create constraint min_value(0);
};

Create a new enumerated type:

create scalar type Color
    extending enum<Black, White, Red>;

Description​

The command alter scalar type changes the definition of a scalar type. name must be a name of an existing scalar type, optionally qualified with a module name.

The following subcommands are allowed in the alter scalar type block:

rename to newname;

Change the name of the scalar type to newname.

extending ...

Alter the supertype list. It works the same way as in alter type.

alter annotation annotation-name;

Alter scalar type annotation-name. See alter annotation for details.

drop annotation annotation-name

Remove scalar type’s annotation-name from value. See drop annotation for details.

alter constraint constraint-name ...

Alter the definition of a constraint for this scalar type. See alter constraint for details.

drop constraint constraint-name

Remove a constraint from this scalar type. See drop constraint for details.

All the subcommands allowed in the create scalar type block are also valid subcommands for alter scalar type block.

Examples​

Define a new constraint on a scalar type:

alter scalar type posint64 {
    create constraint max_value(100);
};

Add one more label to an enumerated type:

alter scalar type Color
    extending enum<Black, White, Red, Green>;

Description​

The command drop scalar type removes a scalar type.

Parameters​

name

The name (optionally qualified with a module name) of an existing scalar type.

Example​

Remove a scalar type:

drop scalar type posint64;