Method | Description | |
---|---|---|
AssumeStatement ( ) : System |
|
|
AssumeStatement ( IAssumeStatement assumeStatement ) : System |
|
|
Dispatch ( ICodeVisitor visitor ) : void |
Calls visitor.Visit(IAssumeStatement).
|
public AssumeStatement ( IAssumeStatement assumeStatement ) : System | ||
assumeStatement | IAssumeStatement | |
return | System |
public Dispatch ( ICodeVisitor visitor ) : void | ||
visitor | ICodeVisitor | |
return | void |