Add(Button,11036070,98,210)
{
 Left=100
 Top=20
 Caption="Hello"
 Data=String(4)
 link(onClick,14860139:doStrCat,[])
}
Add(Hub,4606655,224,217)
{
 link(onEvent1,5994167:doStrCat,[(271,223)(271,201)(156,201)(156,167)])
 link(onEvent2,16577163:doMessage,[])
}
Add(StrCat,5994167,168,161)
{
 Str2="222"
}
Add(StrCat,14860139,168,217)
{
 Str2="55"
 link(onStrCat,4606655:doEvent,[])
 link(Str1,5994167:Result,[])
}
Add(Message,16577163,287,224)
{
}

func doStrCat()
  fvar(s1,s2)
  s1 = Str1
  s2 = Str2
  if( isVolatile(s1) or isVolatile(s2) )
    println(buf, ' := ', s1 & s2, ';')
    event(onStrCat, volatile(buf))
  else
    event(onStrCat, s1 & s2)
  end
end

func doStrCat()
  fvar(s1,s2)
  s1 = Str1
  s2 = Str2
  event(onStrCat, lng.bufIfVolatile(s1 & s2))
end

func doEvent()
  fvar(buf)
  buf = lng.bufIfVolatile(_data_)
  for(...)
    ebent(onEvent, buf)
  end
end

procedure onClick();
begin
  hub_data := s1 + 55;
  s1 := hub_data + 222;
  Message(hub_data);
end;

event(onStrCat, s1 & s2)[/code]содержали код с уже правильным аттрибутом 

Кто ставит этот аттрибут - понятно. 
В этой логике, если вспомнить мой первый пример, то Stream всегда должен возвращаться с аттрибутом Volatile - нет вопросов.

Кто же использует этот аттрибут... 
Валить все на бедного HUB-а - не правильно, вроде бы :roll:
Ну не виноватый он :!:
Получается, что использовать ДОЛЖЕН кто угодно по одному простому признаку:
[quote]Метод элемента вызывает более одного события (в т.ч. и верхние точки), и события после первого используют данные из потока.[/quote]
HUB под этот признак проходит
Но под него как раз проходит и StrCat из первого примера (а HUB-а там и нет).
Если с HUB-ом все просто - срабатывание этого критерия видно сразу и до компиляции, то с остальными - нет.

Это вообще, только CG может увидеть. 

Т.е., первое же "использование" кодов с аттрибутом Volatile должно привести изменению кода на "буферизированный" и автоматической вставке "кода буферизации" ДО кодов именно этого метода...







[size=-2]------ Добавлено в 13:05 [/size]
Вот чего я еще подумал.
Пока схема грубоватая конечно... А как ее сделать более точной, хотя бы в последствии :?:

[u]Пока в голову пришло такое[/u]:

Вместо аттрибута Volatile надо сделать список "точек достижения"
Если он пустой - нет проблем и с кодом
Элемент StrCat к коду, возвращаемому ф-ей Result аттачит список точек, которые "достают" до doSrtCat. А элемент FileStream - тех, которые "достают" до точки Stream.
Каждый элемент имеет для каждой точки свой список: правые и верхние - список левых и нижних точек, которые могут активизировать именно эту; левые и нижние - список правых и верхних других элементов, связанных по схеме.
Теоретически, первые списки - это схемно-независимая характеристика именно класса элемента, а для создания второго списка методы элементов можно вроде и не парсить
Но всей схемой прошелестеть придется... Но один раз, вроде... Хотя...

Если такие списки готовы, то к данным можно добавить именно "голобальный список точек достижения"
Далее - все просто: "конструкторы данных" из CG объединяют списки; а при реализации [b]event[/b] из этого же метода, где и "сконструировались" данные - делается вышеозначенная языковая буфферизация, если это событие для точки, которая есть в списке "достижения" для передаваемых данных. 
Хорошо бы еще различать сам факт использования передаваемых данных...

Кажется, что такое было бы уже по полной программе

doStrCat
  <Str1>,<Str2>,onStrCat

doCompare: <Op1>Type<Op2>
  <Op1>,<Op2>,onTrue
doCompare: not <Op1>Type<Op2>
  <Op1>,<Op2>,onFalse

Add(Hub,15612280,182,140)
{
 link(onEvent1,9960986:doClear,[(294,146)(294,111)])
 link(onEvent2,1693346:doCompare,[])
}
Add(If_else,1693346,238,147)
{
 Op2=String(!!!)
 link(onTrue,9960986:doValue,[(286,153)(286,104)])
 link(onFalse,6964309:doCompare,[])
 link(Op1,9158563:Text,[])
}
Add(Memory,9960986,301,98)
{
 Default=Integer(0)
}
Add(Edit,9158563,238,98)
{
 Left=230
 Top=70
}
Add(If_else,6964309,301,154)
{
 Op2=Integer(0)
 link(Op1,9960986:Value,[])
}

doCompare:
  Op1,D0,onTrue(data)
doCompare:
  Op1,D0,onFalse(data)

  fvar(s1,s2)
  s1 = Str1
  s2 = Str2
  println(s1,s2,s1)

Add(Hub,15612280,182,140)
{
 link(onEvent1,4880539:doWork2,[])
 link(onEvent2,1693346:doCompare,[])
}
Add(If_else,1693346,238,147)
{
 link(onTrue,4880539:doWork3,[(291,153)])
 link(Op1,9158563:Text,[])
}
Add(Memory,9960986,308,140)
{
 Default=Integer(0)
}
Add(Edit,9158563,238,98)
{
 Left=230
 Top=70
}
Add(HubEx,4880539,287,133)
{
 link(onEvent,9960986:doValue,[])
}
Add(StrCat,5994167,126,140)
{
 Str2="222"
 link(onStrCat,15612280:doEvent1,[])
}