Public Instance Properties
BodyCondition
|
To be added. |
|
Class
|
To be added. |
|
Datatype
|
To be added. |
|
IsOrdered
|
To be added. |
|
IsQuery
|
To be added. |
|
IsUnique
|
To be added. |
|
Postcondition
|
To be added. |
|
Precondition
|
To be added. |
|
RedefinedOperation
|
To be added. |
|
Type
|
To be added. |
Public Instance Methods
ReturnResult
|
To be added. |