C# Класс Microsoft.Cci.Ast.Postcondition

A condition that must be true at the end of a method.

Наследование: MethodContractItem, IPostcondition

Private Properties

Свойство	Тип	Описание
Postcondition	System.Collections.Generic

Метод	Описание
Dispatch ( ICodeAndContractVisitor visitor ) : void	Calls visitor.Visit(IPostcondition).
Dispatch ( SourceVisitor visitor ) : void	Calls visitor.Visit(Postcondition).
MakeCopyFor ( BlockStatement containingBlock ) : Postcondition	Makes a copy of this post condition, changing the containing block to the given block.
Postcondition ( Expression condition, ISourceLocation sourceLocation ) : System.Collections.Generic	Allocates a condition that must be true at the end of a method.

Метод	Описание
Postcondition ( BlockStatement containingBlock, Postcondition template ) : System.Collections.Generic	A copy constructor that allocates an instance that is the same as the given template, except for its containing block.

Calls visitor.Visit(IPostcondition).

public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor	ICodeAndContractVisitor
Результат	void

Calls visitor.Visit(Postcondition).

public Dispatch ( SourceVisitor visitor ) : void
visitor	SourceVisitor
Результат	void

Makes a copy of this post condition, changing the containing block to the given block.

public MakeCopyFor ( BlockStatement containingBlock ) : Postcondition
containingBlock	BlockStatement
Результат	Postcondition

Allocates a condition that must be true at the end of a method.

public Postcondition ( Expression condition, ISourceLocation sourceLocation ) : System.Collections.Generic
condition	Expression	The condition that must be true at the end of the method that is associated with this Postcondition instance.
sourceLocation	ISourceLocation	The source location corresponding to the newly allocated source item.
Результат	System.Collections.Generic