Re: PPML question

[thery@capa.inria.fr (Laurent Thery)]

>> My problem is that in my ppml, for certain types of interactions, I would
>> like to output the value of one of the fields from the preamble in the
>> parameter list of the interaction. 

There are two answers to your question:

1) To some extend Ppml allows  what you call "transmission". It is usually done
by a combinaison of pattern matching and context definition.

In your case, you can detect at the entry level in which situation you are:

entry(*preamb, sabme(*pval)) where *preamb in {preamble(*,*,*cr)}
  -> [<h> *preamb [<v> "_Sabme" [<h> "{" [<h 1> *cr *pval "]}"]];

entry(*preamb, *interact) -> [<h> *preamb *interact];

whre the second rule is the default behavior and the first one "transmits"
*cr to the sabme

2) Another solution is maybe to rethink about your abstract syntax.
Your problem may simply be a symptom that your abstract syntax is not well
designed.  For this have a look in the metal manual at the case construct.


Hope this helps.


-- 
Laurent Thery                        e-mail thery@capa.inria.fr
Projet Croap INRIA - Sophia Antipolis,
2004, rte des Lucioles, 06565 Valbonne Cedex, FRANCE