Type

Type

QL is a statically typed language, so each variable must have a declared type.

QL是一种静态类型的语言，因此每个变量必须具有声明的类型。

A type is a set of values. For example, the type int is the set of integers. Note that a value can belong to more than one of these sets, which means that it can have more than one type.

类型是一组值。例如，int类型是整数的集合。请注意，一个值可以属于这些集合中的一个以上，这意味着它可以有多个类型。

The kinds of types in QL are primitive types, classes, character types, class domain types, algebraic datatypes, type unions, and database types.

QL类型基本种类有 classes, character types, class domain types, algebraic datatypes, type unions, and database types.

类

定义一个类：

1. class关键字
2. 类名，大写字母开头
3. extends 继承的类（至少一个基本类型）
4. 主体，大括号

class OneTwoThree extends int {
  OneTwoThree() { // characteristic predicate
    this = 1 or this = 2 or this = 3
  }

  string getAString() { // member predicate
    result = "One, two or three: " + this.toString()
  }

  predicate isEven() { // member predicate
    this = 2
  }
}

定义了一个类OneTwoThree，它包含了值1、2和3。特征谓词（this）代表 “整数1、2、3中的一个 “这一逻辑属性。

一个有效类：

• 不能继承自己
• 不能继承final class（类比Java final关键词修饰的类）
• 不得继承不兼容的类型。更多信息，请参见 类型兼容性。

类主体

类主体可以包含：

• 特征谓词声明
• 任意数量的成员谓词声明
• 任何数量的字段声明

特征谓词

它们是在类的主体中定义的谓词。它们是使用变量 this 限制类中可能的值的逻辑属性。

成员谓词

这些谓词只适用于特定类的成员。可以对值调用成员谓词。

例如，可以使用上 述类中的成员谓词：

1.(OneTwoThree).getAString()

此调用返回结果”One, two or three: 1”。

表达式(OneTwoThree) 是一个类型转换(cast)。它确保 1 的类型是 OneTwoThree，而不仅仅是 int。因此，它可以访问成员谓词 getAString(). 成员谓词特别有用，因为可以将它们链接在一起。

例如，可以使用 toUpperCase()，它是为字符串定义的内置函数：

1.(OneTwoThree).getAString().toUpperCase()

此调用返回 “ONE, TWO OR THREE: 1”. 注意 特征谓词和成员谓词通常使用变量 this。这个变量总是引用类的一个成员，在 这种情况下是属于类 OneTwoThree 的值。类中的特征值是该类中的特征值。 在成员谓词中，这与谓词的任何其他参数的作用方式相同。 Fields 这些是在类的主体中声明的变量。一个类的主体中可以有任意数量的字段声明。

注

特性谓词和成员谓词经常使用变量this。这个变量总是指类的成员–本例中是属于类OneTwoThree的值。在特性谓词中，变量this约束了类中的值。在成员谓词中，this的作用与谓词的任何其他参数相同。

Field 字段

These are variables declared in the body of a class. A class can have any number of field declarations (that is, variable declarations) within its body. You can use these variables in predicate declarations inside the class. Much like the variable this, fields must be constrained in the characteristic predicate.

这些是在类的主体中声明的变量。一个类的主体中可以有任意数量的字段声明（也就是变量声明）。你可以在类内部的谓词声明中使用这些变量。和变量this一样，字段必须在特性谓词中受到约束。