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

A collection of collections of objects that describe a loop.

Наследование: Contract, ILoopContract

Private Properties

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

Открытые методы

Метод	Описание
Dispatch ( ICodeAndContractVisitor visitor ) : void	Calls visitor.Visit(ILoopInvariant).
LoopContract ( IEnumerable invariants, IEnumerable writes ) : System.Collections.Generic	Allocates a collection of collections of objects that describe a loop.
LoopContract ( IEnumerable invariants, IEnumerable writes, IEnumerable variants ) : System.Collections.Generic	Allocates a collection of collections of objects that describe a loop.
MakeCopyFor ( BlockStatement containingBlock ) : LoopContract	Makes a copy of this contract, changing the containing block to the given block.
SetContainingBlock ( BlockStatement containingBlock ) : void	Completes the two stage construction of this object. This allows bottom up parsers to construct an Expression before constructing the containing Expression. This method should be called once only and must be called before this object is made available to client code. The construction code itself should also take care not to call any other methods or property/event accessors on the object until after this method has been called.

Защищенные методы

Метод	Описание
CheckForErrorsAndReturnTrueIfAnyAreFound ( ) : bool	Checks for errors and return true if any are found.

Приватные методы

Метод	Описание
GetWrites ( ) : IEnumerable
LoopContract ( LoopContract template ) : System.Collections.Generic	A copy constructor that allocates an instance that is the same as the given template.

Описание методов

CheckForErrorsAndReturnTrueIfAnyAreFound() защищенный Метод

Checks for errors and return true if any are found.

protected CheckForErrorsAndReturnTrueIfAnyAreFound ( ) : bool
Результат	bool

Dispatch() публичный Метод

Calls visitor.Visit(ILoopInvariant).

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

LoopContract() публичный Метод

Allocates a collection of collections of objects that describe a loop.

public LoopContract ( IEnumerable invariants, IEnumerable writes ) : System.Collections.Generic
invariants	IEnumerable	A possibly empty or null list of loop invariants.
writes	IEnumerable	A possibly empty list of expressions that each represents a set of memory locations that may be written to by the body of the loop.
Результат	System.Collections.Generic

LoopContract() публичный Метод

Allocates a collection of collections of objects that describe a loop.

public LoopContract ( IEnumerable invariants, IEnumerable writes, IEnumerable variants ) : System.Collections.Generic
invariants	IEnumerable	A possibly empty or null list of loop invariants.
writes	IEnumerable	A possibly empty list of expressions that each represents a set of memory locations that may be written to by the body of the loop.
variants	IEnumerable	A possibly empty list or null list of loop variants.
Результат	System.Collections.Generic

MakeCopyFor() публичный Метод

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

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

SetContainingBlock() публичный Метод

Completes the two stage construction of this object. This allows bottom up parsers to construct an Expression before constructing the containing Expression. This method should be called once only and must be called before this object is made available to client code. The construction code itself should also take care not to call any other methods or property/event accessors on the object until after this method has been called.

public SetContainingBlock ( BlockStatement containingBlock ) : void
containingBlock	BlockStatement
Результат	void