| File | classes.str |
| Author | unknown |
| Since | unknown |
Support for classes.
| General | |
| Lines of code | 81 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 2 (0% documented) |
| Overlay number | 0 |
| Strategy number | 10 (40% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Constructor summary |
||
| Class(ATerm ) | n/a | classes.str |
| Instance(ATerm , ATerm ) | n/a | classes.str |
Strategy summary |
||
| classes_get-class | Gets the class for a given name | classes.str |
| classes_get-class-field(ATerm name) | n/a | classes.str |
| classes_get-fieldtbl | Returns the field table of the class | classes.str |
| classes_get-instance-field(ATerm name) | n/a | classes.str |
| classes_get-instance-field(Strategy ifnot, ATerm name) | n/a | classes.str |
| classes_instanceof(ATerm name) | n/a | classes.str |
| classes_new-instance | Creates a new class instance | classes.str |
| classes_set-instance-field(ATerm name, ATerm value) | n/a | classes.str |
| hashtable-get(Strategy ifnot, ATerm key) | n/a | classes.str |
| hashtable-push-existing(ATerm key, ATerm value) | Avoid the choice operator in hashtable push if we know that the key exists | classes.str |
Strategy details |
|||||||||||
| ATerm | classes_get-class | ||||||||||
Gets the class for a given name.
|
|||||||||||
| ATerm | classes_get-fieldtbl | ||||||||||
Returns the field table of the class.
|
|||||||||||
| ATerm | classes_new-instance | ||||||||||
Creates a new class instance -> Class |
|||||||||||
| ATerm | hashtable-push-existing(ATerm key, ATerm value) | ||||||||||
Avoid the choice operator in hashtable push if we know that the key exists.Also, fails if the key does not exist. |
|||||||||||