C# 클래스 Microsoft.Cci.Ast.LoopContract

A collection of collections of objects that describe a loop.

상속: Contract, ILoopContract

파일 보기 프로젝트 열기: visualmutator/visualmutator

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