| File | Constraints.str |
| Author | Martin Bravenboer |
| Since | unknown |
15.12.2.7: Representation of Constraints
| General | |
| Lines of code | 30 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 5 (80% documented) |
| Overlay number | 0 |
| Strategy number | 0 |
| Rule number | 0 |
| DynamicRule number | 0 |
Constructor summary |
||
| Constraint(ATerm , ATerm , ATerm ) | n/a | Constraints.str |
| Equal(ATerm ) | U = V | Constraints.str |
| LeftRightConvertible(ATerm ) | Type U is convertible to type V by method invocation conversion | Constraints.str |
| RightLeftConvertible(ATerm ) | Type V is convertible to type U by method invocation conversion | Constraints.str |
| SuperType(ATerm ) | Type U is a super type of type V | Constraints.str |
Constructor details |
|||||||||
| Equal(ATerm ) | |||||||||
U = V |
|||||||||
| LeftRightConvertible(ATerm ) | |||||||||
Type U is convertible to type V by method invocation conversion U << V |
|||||||||
| RightLeftConvertible(ATerm ) | |||||||||
Type V is convertible to type U by method invocation conversion. U >> V |
|||||||||
| SuperType(ATerm ) | |||||||||
Type U is a super type of type V. U :> V |
|||||||||