Поделиться через


Класс Quotations.Expr (F#)

Цитируемые выражения, аннотированные с помощью значений Type.

Пространство имен/путь к модулю: Microsoft.FSharp.Quotations

Сборка: FSharp.Core (в FSharp.Core.dll)

type Expr =
 class
  static member AddressOf : Expr -> Expr
  static member AddressSet : Expr * Expr -> Expr
  static member Application : Expr * Expr -> Expr
  static member Applications : Expr * Expr list list -> Expr
  static member Call : Expr * MethodInfo * Expr list -> Expr
  static member Call : MethodInfo * Expr list -> Expr
  static member Cast : Expr -> Expr<'T>
  static member Coerce : Expr * Type -> Expr
  static member DefaultValue : Type -> Expr
  static member Deserialize : Type * Type list * Expr list * byte [] -> Expr
  static member FieldGet : Expr * FieldInfo -> Expr
  static member FieldGet : FieldInfo -> Expr
  static member FieldSet : Expr * FieldInfo * Expr -> Expr
  static member FieldSet : FieldInfo * Expr -> Expr
  static member ForIntegerRangeLoop : Var * Expr * Expr * Expr -> Expr
  member this.GetFreeVars : unit -> seq<Var>
  static member GlobalVar : string -> Expr<'T>
  static member IfThenElse : Expr * Expr * Expr -> Expr
  static member Lambda : Var * Expr -> Expr
  static member Let : Var * Expr * Expr -> Expr
  static member LetRecursive : Var * Expr list * Expr -> Expr
  static member NewArray : Type * Expr list -> Expr
  static member NewDelegate : Type * Var list * Expr -> Expr
  static member NewObject : ConstructorInfo * Expr list -> Expr
  static member NewRecord : Type * Expr list -> Expr
  static member NewTuple : Expr list -> Expr
  static member NewUnionCase : UnionCaseInfo * Expr list -> Expr
  static member PropertyGet : PropertyInfo * Expr list option -> Expr
  static member PropertyGet : Expr * PropertyInfo * Expr list option -> Expr
  static member PropertySet : PropertyInfo * Expr * Expr list option -> Expr
  static member PropertySet : Expr * PropertyInfo * Expr * Expr list option -> Expr
  static member Quote : Expr -> Expr
  static member RegisterReflectedDefinitions : Assembly * string * byte [] -> unit
  static member Sequential : Expr * Expr -> Expr
  member this.Substitute : (Var -> Expr option) -> Expr
  member this.ToString : bool -> string
  static member TryFinally : Expr * Expr -> Expr
  static member TryGetReflectedDefinition : MethodBase -> Expr option
  static member TryWith : Expr * Var * Expr * Var * Expr -> Expr
  static member TupleGet : Expr * int -> Expr
  static member TypeTest : Expr * Type -> Expr
  static member UnionCaseTest : Expr * UnionCaseInfo -> Expr
  static member Value : 'T -> Expr
  static member Value : obj * Type -> Expr
  static member Var : Var -> Expr
  static member VarSet : Var * Expr -> Expr
  static member WhileLoop : Expr * Expr -> Expr
  member this.CustomAttributes :  Expr list
  member this.Type :  Type
 end

Заметки

В скомпилированных сборках имя этого типа — FSharpExpr.При обращении к данному типу из языка, отличного от F#, или посредством отражения следует использовать это имя.

Члены экземпляра

Элемент

Описание

CustomAttributes

Возвращает настраиваемые атрибуты выражения.

GetFreeVars

Получает свободные переменные выражения в виде списка.

Substitute

Выполняет подстановку в заданном выражении, используя указанные функции для сопоставления переменных с новыми значениями.Функции должны давать согласованные результаты при каждом применении.В случае захвата переменной может произойти переименование переменной в целевом выражении.

ToString

Форматирует выражение в виде строки.

Тип

Возвращает тип выражения.

Статические члены

Элемент

Описание

AddressOf

Создает выражение, представляющее получение адреса значения.

AddressSet

Создает выражение, представляющее задание значения, которое хранится по определенному адресу.

Приложение

Создает выражение, представляющее применение значения функции первого класса к одному аргументу.

Приложения

Создает выражение, представляющее применение значения функции первого класса к нескольким аргументам.

Call

Создает выражение, которое представляет вызов метода экземпляра, связанного с объектом.

Cast

Возвращает новое типизированное выражение на основании базового выражения, аннотированного типом времени выполнения.Для использования этой функции, как правило, требуется аннотация типа, и использование неверной аннотации может позднее привести к исключению времени выполнения.

Coerce

Создает выражение, представляющее приведение выражения к типу

DefaultValue

Создает выражение, представляющее вызов конструктора объекта по умолчанию

Deserialize

При использовании синтаксиса цитирования (<@ @>) и связанных с ним цитируемых типизированных выражений данная функция вызывается автоматически.Байты являются сериализованным двоичным представлением несвязанной формы указанного выражения и аргумент Type любой тип в сборке, где указанное выражение происходит, помогает ограничить интерпретацию ссылок на различные сборки в байтах.

FieldGet

Создает выражение, представляющее доступ к полю объекта.

FieldSet

Создает выражение, представляющее запись в поле объекта.

ForIntegerRangeLoop

Создает выражение for, представляющее применение циклов к диапазонам целых чисел.

GlobalVar

Получает или создает новую переменную с заданными именем и типом из глобального пула общих переменных, индексированных по имени и типу.Тип задается явным или выводимым параметром типа.

IfThenElse

Создает выражение if...then...else.

Lambda

Создает выражение, представляющее конструирование значения функции F#.

Let

Создает выражения, связанные с конструкциями let.

LetRecursive

Создает рекурсивные выражения, связанные с конструкциями let rec.

NewArray

Создает выражение, представляющее создание значения массива, инициализируемого с помощью заданных элементов.

NewDelegate

Создает выражение, представляющее создание значения делегата для заданного типа.

NewObject

Создает выражение, представляющее вызов конструктора объекта.

NewRecord

Создает выражения конструирования записей.

NewTuple

Создает выражение, представляющее создание значения кортежа F#.

NewUnionCase

Создает выражение, представляющее создание значения варианта объединения.

PropertyGet

Создает выражение, представляющее чтение статического свойства.

PropertySet

Создает выражение, представляющее запись в статическое свойство.

Quote

Создает выражение, представляющее вложенный литерал цитирования.

RegisterReflectedDefinitions

Позволяет интерактивным средам, таким как F# Interactive, явно регистрировать сериализованные ресурсы, представляющие сохраняемые определения верхнего уровня.Строка указывает уникальное имя добавляемого ресурса.Формат байтов — кодировка, созданная компилятором F#.

Последовательный

Создает выражение, представляющее последовательное выполнение одного выражения за другим.

TryFinally

Создает вычисление, представляющее конструкцию try...finally.

TryGetReflectedDefinition

Пытается найти сохраненное определение отражения для указанного метода.Сохраненные определения отражения добавляются в сборку F# с помощью атрибута ReflectedDefinition.

TryWith

Создает выражение, представляющее конструкцию try...with для фильтрации и перехвата исключений.

TupleGet

Создает выражение, представляющее получение поля кортежа.

TypeTest

Создает выражение, представляющее проверку типа.

UnionCaseTest

Создает выражение, представляющее проверку принадлежности значения к конкретному варианту объединения.

Значение

Создает выражение, представляющее константное значение.

Значение

Создает выражение, представляющее константное значение определенного типа.

Var

Создает выражение, представляющее переменную.

VarSet

Создает выражение, представляющее задание значения изменяемой переменной.

WhileLoop

Создает выражение, представляющее цикл while.

Платформы

Windows 8, Windows 7, Windows Server 2012, Windows 2008 Server R2

Сведения о версии

Основной версии библиотеки F#

Поддерживается в: 2.0, 4.0, портативное

См. также

Ссылки

Пространство имен Microsoft.FSharp.Quotations (F#)