Mixin this trait if the domain needs information about the structure of the code.
Usage
It is sufficient to mixin this trait in a Domain that needs to get access to
the code array. The abstract interpreter will then perform the initialization.
This information is set immediately before the abstract interpretation is started/continued.
This member is added by an implicit conversion from TheCodeStructure to
any2stringadd[TheCodeStructure] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from TheCodeStructure to
StringFormat[TheCodeStructure] performed by method StringFormat in scala.Predef.
Mixin this trait if the domain needs information about the structure of the code.
Usage
It is sufficient to mixin this trait in a Domain that needs to get access to the code array. The abstract interpreter will then perform the initialization.
This information is set immediately before the abstract interpretation is started/continued.