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

A condition that must be true at the start of every iteration of a loop.

상속: Invariant, ILoopInvariant

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

Private Properties

프로퍼티	타입	설명
LoopInvariant	System.Collections.Generic

공개 메소드들

메소드	설명
Dispatch ( ICodeAndContractVisitor visitor ) : void	Calls visitor.Visit(ILoopInvariant).
Dispatch ( SourceVisitor visitor ) : void	Calls visitor.Visit(LoopInvariant).
LoopInvariant ( Expression condition, ISourceLocation sourceLocation ) : System.Collections.Generic	Allocates a condition that must be true at the start of every iteration of a loop.
MakeCopyFor ( BlockStatement containingBlock ) : LoopInvariant	Makes a copy of this invariant, changing the Condition.ContainingBlock to the given block.
SetContainingExpression ( Expression containingExpression ) : 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.

비공개 메소드들

메소드	설명
LoopInvariant ( BlockStatement containingBlock, LoopInvariant template ) : System.Collections.Generic	A copy constructor that allocates an instance that is the same as the given template, except for its containing block.

메소드 상세

Dispatch() 공개 메소드

Calls visitor.Visit(ILoopInvariant).

public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor	ICodeAndContractVisitor
리턴	void

Dispatch() 공개 메소드

Calls visitor.Visit(LoopInvariant).

public Dispatch ( SourceVisitor visitor ) : void
visitor	SourceVisitor
리턴	void

LoopInvariant() 공개 메소드

Allocates a condition that must be true at the start of every iteration of a loop.

public LoopInvariant ( Expression condition, ISourceLocation sourceLocation ) : System.Collections.Generic
condition	Expression	The condition that must be true at the start of every iteration of a loop.
sourceLocation	ISourceLocation	The source location corresponding to the newly allocated source item.
리턴	System.Collections.Generic

MakeCopyFor() 공개 메소드

Makes a copy of this invariant, changing the Condition.ContainingBlock to the given block.

public MakeCopyFor ( BlockStatement containingBlock ) : LoopInvariant
containingBlock	BlockStatement
리턴	LoopInvariant

SetContainingExpression() 공개 메소드

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 SetContainingExpression ( Expression containingExpression ) : void
containingExpression	Expression
리턴	void