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

A condition that must be maintained during the execution of a program.
상속: Ariant
파일 보기 프로젝트 열기: visualmutator/visualmutator 1 사용 예제들

보호된 메소드들

메소드 설명
Invariant ( BlockStatement containingBlock, Invariant template ) : System.Collections.Generic

Make a copy of an Invariant, changing the containing block.
Invariant ( Expression condition, ISourceLocation sourceLocation ) : System.Collections.Generic

Construct an invariant with the given condition and source location.

메소드 상세

Invariant() 보호된 메소드

Make a copy of an Invariant, changing the containing block.
protected Invariant ( BlockStatement containingBlock, Invariant template ) : System.Collections.Generic
containingBlock BlockStatement The new containing block.
template Invariant The Invariant to be copied.
리턴 System.Collections.Generic

Invariant() 보호된 메소드

Construct an invariant with the given condition and source location.
protected Invariant ( Expression condition, ISourceLocation sourceLocation ) : System.Collections.Generic
condition Expression
sourceLocation ISourceLocation
리턴 System.Collections.Generic