Метод | Описание | |
---|---|---|
AssumeStatement ( ) : System.Collections.Generic | ||
AssumeStatement ( System.Compiler.Expression booleanExpr ) : System.Collections.Generic | ||
AssumeStatement ( System.Compiler.Expression booleanExpr, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic |
public AssumeStatement ( ) : System.Collections.Generic | ||
Результат | System.Collections.Generic |
public AssumeStatement ( System.Compiler.Expression booleanExpr ) : System.Collections.Generic | ||
booleanExpr | System.Compiler.Expression | |
Результат | System.Collections.Generic |
public AssumeStatement ( System.Compiler.Expression booleanExpr, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic | ||
booleanExpr | System.Compiler.Expression | |
sourceContext | System.Compiler.SourceContext | |
Результат | System.Collections.Generic |