K-user mailing list

[Charles Jacobsen <charlie.jacobsen AT utah.edu>]

Is it possible? For example, suppose I took the imp++ k module with configuration

<T> ... </T>

and imported it into another module, net++, with configuration similar to

<NET-T>
     <hosts>
          <host multiplicity="*">
                 <T> ... </T>
          </host>
     </hosts>
</NET-T>

I know this doesn't match my intent because the inner <T> would be interpreted as independent of the imp++ <T>.

What I'd like to do is write a base imperative language like imp++ in a separate module, and then import it into another module, placing an imp++ configuration inside each process. Thus, I could model C with a base module, and then extend the model to model the usage of a library inside C. Thoughts? It looks like I can have more than one configuration in a module.