| File | placeholder.str |
| Author | unknown |
| Since | unknown |
Primitives for ATerm placeholders.
| General | |
| Lines of code | 26 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 3 (100% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| get-placeholder | Returns the placeholder of an ATerm placeholder | placeholder.str |
| is-placeholder | Checks if the current term is a placeholder | placeholder.str |
| make-placeholder | Creates a placeholder | placeholder.str |
Strategy details |
|||||||||
| ATerm | get-placeholder | ||||||||
Returns the placeholder of an ATerm placeholder. e.g. applied to the placeholder <Foo()> this returns Foo(). |
|||||||||
| ATerm | is-placeholder | ||||||||
Checks if the current term is a placeholder. Succeeds if it is. |
|||||||||
| ATerm | make-placeholder | ||||||||
Creates a placeholder. e.g. applied to the Foo() this returns <Foo()>. |
|||||||||