ImpliedRedefinitionHints

class ImpliedRedefinitionHints

Options for implicit redefinitions.

part def A { end ref a; }
part def B :> A {
    end ref //* :>> a */;
}

 Attributes

property argument: bool

Whether to show implicit directed feature redefinitions.

calc def A { in ref a; }
calc def B :> A {
    in ref //* :>> a */;
}

property end: bool

Whether to show implicit end redefinitions.

part def A { end ref a; }
part def B :> A {
    end ref //* :>> a */;
}

Toggle for all nested options.

on enables the default behaviour
off disables the default behaviour and all nested options
explicit disables the default behaviour. Same as on if there is no default behaviour not covered by nested options.

 Methods

	`argument`	`RW`	Whether to show implicit directed feature redefinitions.
	`end`	`RW`	Whether to show implicit `end` redefinitions.
	`toggle`	`RW`	Toggle for all nested options.
	`__init__`