C# Class Microsoft.Cci.Ast.Postcondition

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

Inheritance: MethodContractItem, IPostcondition

Private Properties

Property	Type	Description
Postcondition	System.Collections.Generic

Method	Description
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.

Method	Description
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
return	void

Calls visitor.Visit(Postcondition).

public Dispatch ( SourceVisitor visitor ) : void
visitor	SourceVisitor
return	void

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

public MakeCopyFor ( BlockStatement containingBlock ) : Postcondition
containingBlock	BlockStatement
return	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.
return	System.Collections.Generic