substitutions

[Alain Miniussi]

Jim Dehnert wrote:
> 
> > From alainm at cup.hp.com  Tue Apr 18 15:12:22 2000
> > > >
> > > > Now, let's say that S<n2>_ is longuer than S<n1>_2C3, what should
> > > > we do ?
> > >
> > > Ah, I think I see your problem.  The entity that we're considering for
> > > substitution is 2C12C3, _not_ S<n1>_2C3.  Earlier substitutions don't
> > > come into play.
> >
> > But we don't have the string 2C12C3 in the encoding, if C1::C2 already
> > appear before, we need to reuse (let say that C1 is a long enough name)
> > the C1 preffix, so we only have S<nc1>2C2 appearing in the encoding.
> > And probably some map indicating that C1::C3 is encoded with that
> > string.
> 
> But you need to behave as though you did have the string 2C12C3.
> That's what you're substituting for.  As the document says:
> 
>   ...the substitution occurs only if "S<seq-id>_" (or "S_")
>   is strictly shorter than the unsubstituted encoding,

Ok, I thought "unsubstituted encoding" only meant "the target of the
substitution".

> to which I just added for more clarity:
> 
>   i.e. the encoding obtained if no substitution of its parts were done.

Thanks,

Alain