ImpliedHeritageHints

class ImpliedHeritageHints

Options for implicit specialization hints.

attribute x //* :> dataValues */;

 Attributes

property anonymous: bool

Whether to show implicit specializations to anonymous elements. Note that hovers will still show the tooltip for the actual target element.

part def A { end ref; }
part def B :> A {
    end ref //* :>> (anonymous) */;
}

property cross_subsettings: bool

Whether to show implicit cross subsettings. Often, they can contain anonymous elements which are controlled by anonymous option.

part def P {
    end x_cross [1] ref <x> //* => y.x_cross */;
    end ref y;
}

Options for implicit redefinitions.

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

property standard_library: bool

Whether to show implicit subsettings and subclassifications to standard library elements.

attribute x //* :> dataValues */;

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

	`anonymous`	`RW`	Whether to show implicit specializations to anonymous elements. Note that hovers will still show the tooltip for the actual target element.
	`cross_subsettings`	`RW`	Whether to show implicit cross subsettings. Often, they can contain anonymous elements which are controlled by `anonymous` option.
	`redefinitions`	`RW`	Options for implicit redefinitions.
	`standard_library`	`RW`	Whether to show implicit subsettings and subclassifications to standard library elements.
	`toggle`	`RW`	Toggle for all nested options.
	`__init__`