struct CrlContextSequence / crl_context_sequence_t

Description

A sequence of contexts.

This class serialises pieces of context free descriptions of Contexts.

Kinship

Immediate super class: ContextMatch

Slots

Inherited Slots

Members

Inherited Members

Detailed Descriptions

VectorContextmatch const * sequence () const

Reader of slot 'sequence': The sequence of steps.

This reader is NULL safe; for this == NULL, it returns NULL.

[constructor] CrlContextSequence ()

int nentries () const

Currently limited access to substructure:

NULL safe: if this == NULL, returns 0

bool empty () const

NULL safe: if this == NULL, returns true

bool non_empty () const

NULL safe: if this == NULL, returns false

ContextMatch * nth (int) const

NULL safe and index protected. Returns NULL if something does not exist.

void append (ContextMatch *)

int is_pag_start () const

Whether the sequence starts with ?->?*- and a following b1->r1 or ?->r1 (in this case 1 is returned). Or whether the sequence consists totally of ?->?* (also, 1 is returned). The result is the number of indexes to skip to get to the first regular context step match. If it is 0, it does not mean that this is no PAG context, it just means the context does not start with a wildcard.

int is_pag_step (int i) const

Whether the index i of the sequence represents a loop iteration or a call. Either 0, 1, 2 or 3 is returned, depending on the number of indices to skip to get to the next context step match. In the case of 0, no PAG context step is found at the given position. The other numbers indicate the following structures: 1: ..., _->r1, ... i+0

2: ..., _->r1, (?->?*-, ?->r1){2} or ..., _->r1, (?->?*-, ?->r1){3,} i+0 i+1

3: ..., _->r1, ?->?*-, ?->r1, ... i+0 i+1 i+2

Here, _ indicates either a block (e.g. b1), or a wildcard (thus, ?).

int is_pag_step (Block * & result_caller, Routine * & result_callee, int & minimum, int & maximum, int index) const

same as before, but returns more values: if result != 0:

• the block from where this calls

• the routine that is called

• the iteration minimum and maximum (if maximum is -1, there is no maximum)

Please note that the returned minimum/maximum are not the ones found in the ContextMinimum/ContextRepeat, but they are the iteration counts of the corresponding loops/recursion. Thus they are greater by 1.

Occurrences of CrlContextSequence