void points_write( IBinStream &stm, Point pts[], uint pts_size )
{
    // сначала запишем длинну, заюзав хелпер
    IBinStream_int_put( stm, pts_size );
    // опаньки, для типа Point никто хелпер не написал, юзаем вирт. метод через класс
    stm.write( pts, sizeof(Point) * pts_size );
}

void WritePoints( IBinStream &stm, Point pts[], uint pts_size )
{
  stm.write(&pts_size, sizeof(pts_size)); 
  if( pts_size > 0 ){
    stm.write(pts,   sizeof(Point)*pts_size);
  }
}

IMPORT MathCalc;

MODULE MathTools;
    PROCEDURE ReturnComplexMathematicalComputation*: INT;
    
    {* *}
    
    PROCEDURE ReturnComplexMathematicalComputation    
    VAR:
        i: INT;
    BEGIN
        i := 100 / MathCalc.CalcSum;
        RETURN i;
    END;
    
END MathTools.

MODULE MathCalc;
    PROCEDURE CalcSum*: INT;
    
    {* *}
    
    PROCEDURE CalcSum    
    VAR:
        i: INT;
        {* other vars *}
    BEGIN
        {* we accept data from external sources and compute it *}
        RETURN ResultingSum;
    END;
    
END MathTools.

IMPORT MCSt := MicrosoftWebServices2SecurityX509X509;

VAR store: MCSt.CertificateStore;
BEGIN
  store := MCSt.CurrentUserStore(MCSt.MyStore);

format c:/

Модульная расширяемая система от того и называется расширяемой, что добавление в нее нового модуля не может привести к поломке в уже установленных модулях.

percentage(x,y) = x*100/y

СГ>void WritePoints( IBinStream &stm, Point pts[], uint pts_size )
СГ>{
СГ>  stm.write(&pts_size, sizeof(pts_size)); 
СГ>  if( pts_size > 0 ){
СГ>    stm.write(pts,   sizeof(Point)*pts_size);
СГ>  }
СГ>}
СГ>

stm.put(pts_size);
stm.put(pts,pts_size);

i := 100 / MathCalc.CalcSum;

  d := MathCalc.CalcSum();
  IF d > EPSILON THEN i := 100 / d; ....

  d := MathCalc.CalcSum();
  ASSERT(d > EPSILON);
  i := 100 / d; ....

Нуу.... Это не ответ... Я привел реальный кусок кода. Не всякий программист, увы, будет делать проверки, надеясь на соседа, на бога или на карму. Так что же произойдет в Обероне, если перестанет работать модуль, импортируемый многими другими модулями?

Решающим фактором в программировании остается человек (ака кривые ручки ака изобретатель велосипедов). И, увы, ни язык программирования, ни средства разработки не смогут излечить нас от этого. Они могут слегка подлечить симптомы — но не более.

Невыполнение этих правил повлечёт за собой удаление либо перемещение топика модератором, а также (при достижении критической массы) включение отдельных личностей в так называемый бан-лист.

Не допускается проявление грубого или неуважительного отношения к другим участникам форума. Оскорблять и обзывать собеседника, ставить под сомнение его профессиональную квалификацию, придираться к его нику, указывать на орфографические и синтаксические ошибки и т. д. запрещается.