Method | Description | |
---|---|---|
AssertStatement ( ) : System |
Allocates a statement that asserts that a condition must always be true when execution reaches it. For example the assert statement of Spec#.
|
|
AssertStatement ( IAssertStatement assertStatement ) : System |
Allocates a copy of a statement that asserts that a condition must always be true when execution reaches it. For example the assert statement of Spec#.
|
|
Dispatch ( ICodeVisitor visitor ) : void |
Calls the visitor.Visit(IAssertStatement) method.
|
public AssertStatement ( IAssertStatement assertStatement ) : System | ||
assertStatement | IAssertStatement | |
return | System |
public Dispatch ( ICodeVisitor visitor ) : void | ||
visitor | ICodeVisitor | |
return | void |