Module for the so called 'wrapper' constructs.
Strategy summary
|
generic-wrapper(Strategy main, Strategy get, Strategy set, ATerm expr)
|
Generic functionality for the wrapper
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
Wrapper constructors are: - Expr - InternalFunction - Param - Some
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
n/a
|
wrappers.str
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
A block is essence just list, just map the main strategy
|
wrappers.str
|
Strategy details
|
ATerm
|
generic-wrapper(Strategy main, Strategy get, Strategy set, ATerm expr)
|
Generic functionality for the wrapper. Retrieves simple value, then the extra getter and setter.
|
|
ATerm
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
Wrapper constructors are:- Expr - InternalFunction- Param- Some
|
|
ATerm
|
wrapper-const-prop(Strategy main, Strategy get, Strategy set)
|
A block is essence just list, just map the main strategy
|
|