OperationInterface
interface OperationInterface
Represents an operation on catalogue(s).
An instance of this interface performs an operation on one or more catalogues and stores intermediate and final results of the operation.
The first catalogue in its argument(s) is called the 'source catalogue' or 'source' and the following results are stored:
Messages: also called 'all', are valid messages for the given domain after the operation is performed.
New Messages: also called 'new' (new = all ∖ source = {x: x ∈ all ∧ x ∉ source}).
Obsolete Messages: also called 'obsolete' (obsolete = source ∖ all = {x: x ∈ source ∧ x ∉ all}).
Result: also called 'result', is the resulting catalogue for the given domain that holds the same messages as 'all'.
Methods
Returns domains affected by operation.
Returns all valid messages ('all') after operation.
Returns new messages ('new') after operation.
Returns obsolete messages ('obsolete') after operation.
Returns resulting catalogue ('result').
Details
at line line 42
array
getDomains()
Returns domains affected by operation.
at line line 51
array
getMessages(string $domain)
Returns all valid messages ('all') after operation.
at line line 60
array
getNewMessages(string $domain)
Returns new messages ('new') after operation.
at line line 69
array
getObsoleteMessages(string $domain)
Returns obsolete messages ('obsolete') after operation.
at line line 76
MessageCatalogueInterface
getResult()
Returns resulting catalogue ('result').