inclusionid

File inclusionid.str
Author unknown
Since unknown

Module containing the signature and utility-strategiesfor inclusion-id's




Statistics


General
Lines of code 95
Stratego
Module number 1 (100% documented)
Constructor number 5 (0% documented)
Overlay number 0
Strategy number 7 (71% documented)
Rule number 5 (20% documented)
DynamicRule number 3 (0% documented)



Constructor summary


DefIncluded(ATerm ) n/a inclusionid.str
Inclusionid(ATerm , ATerm ) n/a inclusionid.str
Inclusionstatus(ATerm ) n/a inclusionid.str
MaybeIncluded(ATerm ) n/a inclusionid.str
NotIncluded(ATerm ) n/a inclusionid.str

Strategy summary


add-inclusion-id(ATerm iid) Adds an inclusion id to a term inclusionid.str
add-inclusion-status Add included status to a filepath inclusionid.str
get-inclusion-id Gets an inclusion id from a term inclusionid.str
get-inclusion-status n/a inclusionid.str
maybe-inclusion-wrap(Strategy s) Runs a strategy while the InclusionMode is maybe inclusionid.str
new-inclusion-id Generates an unique id for inclusion inclusionid.str
redefine-inclusion-status n/a inclusionid.str

Rule summary


inclusion-combine-unit Merge rules for InclusionStatus inclusionid.str
inclusion-combine-unit n/a inclusionid.str
inclusion-combine-unit n/a inclusionid.str
inclusion-combine-unit n/a inclusionid.str
inclusion-combine-unit n/a inclusionid.str



Strategy details


ATerm add-inclusion-id(ATerm iid)
File inclusionid.str
Author unknown
Since unknown
 
Parameters
ATerm iid id Inclusionid representing the ID

Adds an inclusion id to a term.The inclusion id is always unique.


type Term -> Term

 
ATerm add-inclusion-status
File inclusionid.str
Author unknown
Since unknown
 

Add included status to a filepath.Relies on the value set in the dynamic rule InclusionMode to set the mode. If this rule is not set it usesthe default DefIncluded()


type String -> String

 
ATerm get-inclusion-id
File inclusionid.str
Author unknown
Since unknown
 

Gets an inclusion id from a term.


type Term -> Inclusionid

 
ATerm maybe-inclusion-wrap(Strategy s)
File inclusionid.str
Author unknown
Since unknown
 

Runs a strategy while the InclusionMode is maybe.



 
ATerm new-inclusion-id
File inclusionid.str
Author unknown
Since unknown
 

Generates an unique id for inclusion


type Path -> Inclusionid

 

Rule details


ATerm inclusion-combine-unit
File inclusionid.str
Author unknown
Since unknown
 

Merge rules for InclusionStatus