Inventory all uses of indexing in the examples

[JacquesCarette]

Before doing a full design of indexable structures, we should have a list of what already exists in our examples.

[J1aM1ng]

Yes! Thanks Dr. Carette. I will list all existing indexing-related examples in https://jacquescarette.github.io/Drasil/ before our full design.

[J1aM1ng]

I realized that the concept of “indexing” exists in the concrete examples rather than the concrete implementation, should we consider indexing in the general and examples-related data structure?

[JacquesCarette]

I'm not sure what you mean by the above comment? Can you expand on that please?

[J1aM1ng]

I think my comment above misunderstood the intent of your issue, so I want to make sure that what is expected to be done is to find out the use the concept of indexing in the current generated examples like DblPend (including SRS, generated code, generated code doc), that is to describe "where we are" in the application of indexing to the example, right?

[JacquesCarette]

We need to implement data-types that can be indexed (like vectors, matrices, but also lists, arrays, sequences, etc) in a general way. That is the problem to solve. We have current requirements for it, buried in the Drasil code base.

This is your project. It is non-trivial, which is why it can be a Master's level project if done correctly and properly.

[J1aM1ng]

I see, thanks for the explanation @JacquesCarette. What we want is a generalized solution.