W Cat - Описание языка PascalABC.NET

procedureOnTimer1(sender: object; e: System.Timers.ElapsedEventArgs);

begin

write(1);

end;

begin

varTimer1 := new System.Timers.Timer(1000);

Timer1.Elapsed +=OnTimer1;

Timer1.Start;

whileTrue do

Sleep(1000);

end.

Оператор lock имеет вид:

lock объект do

оператор

Объект обязательно принадлежит к ссылочному типу.

Оператор lockгарантирует, что оператор будет выполняться только одним потоком. Объект здесь хранит блокировку, а оператор , представляющий собой тело оператора lock, называется блоком синхронизации. После того как первый поток заходит в блок синхронизации, он блокирует объект , при выходе из блока синхронизации - разблокирует. Если объект заблокирован, то никакой другой поток не может зайти в блок синхронизации и приостанавливается до разблокировки объекта .

Оператор

lockobj do

oper;

полностью эквивалентен следующему участку кода:

Monitor.Enter(obj);

try

oper;

finally

Monitor.Exit(obj);

end;

Процедура или функция представляет собой последовательность операторов, которая имеет имя, список параметров и может быть вызвана из различных частей программы. Функции, в отличие от процедур, в результате своего выполнения возвращают значение, которое может быть использовано в выражении. Для единообразия функции и процедуры называются подпрограммами .

Любая используемая в программе процедура или функция должна быть предварительно описана в разделе описаний.

Описание процедуры имеет вид:

procedureимя(список формальных параметров);

раздел описаний

begin

операторы

end;

Описание функции имеет вид:

functionимя(список формальных параметров): тип возвращаемого значения;

раздел описаний

begin

операторы

end;

Операторы подпрограммы, окаймленные операторными скобками begin/ end, называются телом этой подпрограммы.

Список формальных параметров вместе с окружающими скобками может отсутствовать. Он состоит из одной или нескольких секций, разделенных символом ;. Каждая секция состоит из списка переменных, перечисляемых через запятую, после которого следуют двоеточие и тип. Каждая секция может предваряться ключевым словом varили const, что указывает на то, что параметры передаются по ссылке (см.п. Параметры процедур и функций). Тип формального параметра должен быть либо именем, либо динамическим массивом, либо множеством, либо процедурной переменной (для последних трех типов имеет место структурная эквивалентность типов).

Раздел описаний процедуры или функции устроен так же, как и раздел описаний основной программы. Здесь описываются так называемые локальные переменные и константы, типы (за исключением классов - классы можно описывать только глобально) а также вложенные процедуры и функции. Все такие локальные объекты доступны лишь внутри данной подпрограммы и не видны извне.

В разделе описаний подпрограммы можно описывать другие подпрограммы. Исключение составляют методы класса, описываемые непосредственно в теле класса: в них нельзя описывать вложенные подпрограммы ввиду синтаксической неоднозначности.

Например:

procedureDoAdd(a,b: real; varres: real);

begin

res := a + b;

end;

Подпрограмма один раз описывается и может быть многократно вызвана. Для вызова процедуры используется оператор вызова процедуры:

begin

var x := ReadInteger;

var y := ReadInteger;

var res: integer;

DoAdd(x,y,res);

Print(res);

DoAdd(2*x,y,res);

Print(res);

end;

Для вызова функции используется выражение вызова функции.

Внутри тела любой функции определена специальная переменная с именем Result, которая хранит результат вычисления функции. Ее тип совпадает с типом возвращаемого значения функции. Например:

functionSum(a,b: real): real;

begin

Result := a + b;

end;

functionMinElement(a: array ofreal): real;

begin

Result := real.MaxValue;

foreachvar x ina do

ifx < Result then

Result := x;

end;

begin

var a := Seq(1,5,3);

writeln(MinElement(a) + Sum(2,3));