C# 클래스 Microsoft.Zing.TraceStatement
파일 보기
프로젝트 열기: ZingModelChecker/Zing
1 사용 예제들
공개 메소드들
메소드 |
설명 |
|
TraceStatement ( ) : System.Collections.Generic |
|
|
TraceStatement ( ExpressionList operands ) : System.Collections.Generic |
|
|
TraceStatement ( ExpressionList operands, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic |
|
|
메소드 상세
public TraceStatement ( ) : System.Collections.Generic |
리턴 |
System.Collections.Generic |
|
public TraceStatement ( ExpressionList operands ) : System.Collections.Generic |
operands |
ExpressionList |
|
리턴 |
System.Collections.Generic |
|
public TraceStatement ( ExpressionList operands, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic |
operands |
ExpressionList |
|
sourceContext |
System.Compiler.SourceContext |
|
리턴 |
System.Collections.Generic |
|