Amo: Utworzono nową stronę "Instrukcje badania zbiorów mogą być stosowane zarówno do zbiorów obu typów (uporządkowanego lub boolowskiego). Efektem badania jest stwierdzenie czy fakt o któ..."

2013-08-31T14:30:47Z

Utworzono nową stronę "Instrukcje badania zbiorów mogą być stosowane zarówno do zbiorów obu typów (uporządkowanego lub boolowskiego). Efektem badania jest stwierdzenie czy fakt o któ..."

Nowa strona

Instrukcje badania zbiorów mogą być stosowane zarówno do zbiorów obu typów (uporządkowanego lub boolowskiego). Efektem badania jest stwierdzenie czy fakt o którym jest mowa w treści instrukcji, ma miejsce czy nie. Jeżeli fakt taki zachodzi, to wynikiem pierwszej części instrukcji jest prawda (TRUE), w przeciwnym przypadku (FALSE). Jeżeli stwierdzono prawdę (TRUE) to odbywa się skok do instrukcji oznaczonej etykietą, która występuje jako pierwsza w części adresowej instrukcji badania. W wyniku fałszu (FALSE) następuje skok do instrukcji oznaczonej etykietą, która występuje jako druga w części adresowej.

Postać adresowa:

: <tt>E1 @</tt>
: <tt>E1 @ E2</tt>
: <tt>@ E2</tt>

Gdzie:

* E1, E2 - etykiety instrukcji należących do tego samego segmentu programu.

Pierwsza i trzecia postać instrukcji adresowej są skróconymi postaciami instrukcji. Jeżeli opuszczona jest etykieta E1 (E2), to w wypadku wystąpienia TRUE (FALSE) następuje skok do kolejnej instrukcji w programie za instrukcją, która zawiera postać adresową.

= Arytmetyczne instrukcje badające =

Arytmetyczne instrukcje badające mają następującą ogólną postać:

: <tt>w1 <operator relacji> w2 e1 @ e2</tt>

Gdzie:
* w1, w2 - dowolny wyrażenie tego samego typu
* e1, e2 - etykiety części adresowej.
* Operatory relacji:
** GT większy niż (>)
** GE większy lub równy (>=)
** EQ równy (=)
** NE różny (^/=)
** LE mniejszy lub równy (<=)
** LT mniejszy (<)

Jeżeli wyspecyfikowana zależność sprawdza się dla bieżących wartości dwóch wyrażeń arytmetycznych wówczas wyrażenie badające jest prawdą i następuje skok do instrukcji z etykietą <tt>e1</tt>, w przeciwnym przypadku wyrażenie badające jest fałszem i następuje skok do instrukcji z etykietą <tt>e2</tt>.

= Instrukcja IN =

Postać instrukcji jest następująca:

: <tt>O IN Z1 e1 @ e2</tt>

Gdzie:
* O - obiekt
* Z1 - zbiór
* e1, e2 - etykiety części adresowej

Jeżeli obiekt <tt><o></tt> należy do zbioru <tt>Z1</tt> to następuje skok do etykiety <tt>e1</tt>, w przeciwnym przypadku nastąpi skok do etykiety <tt>e2</tt>.

= Instrukcja NOTIN =

Postać instrukcji:

: <tt>O NOTIN Z1 e1 @ e2</tt>

Jeżeli obiekt <tt><o></tt> nie jest elementem zbioru <tt>Z1</tt> wówczas następuje skok do etykiety <tt>e1</tt>. Jeżeli obiekt <tt><o></tt> jest elementem zbioru <tt>Z2</tt> wówczas następuje skok do etykiety <tt>e2</tt>.

= Instrukcja EMPTY =

Postać instrukcji:

: <tt>Z1, Z2, Z3,... EMPTY e1 @ e2</tt>

Jeżeli zbiory <tt>Z1, Z2, Z3, ...</tt> nie zawierają żadnych elementów, to nastąpi skok do instrukcji o etykiecie <tt>e1</tt>. W przeciwnym wypadku nastąpi skok do instrukcji o etykiecie <tt>e2</tt>.

= Instrukcja EQUALS =

Postać instrukcji:

: <tt>Z1 EQUALS Z2 e1 @ e2</tt>

Jeżeli zbiory <tt>Z1, Z2</tt> są sobie równe w sensie <tt>Z1=Z2</tt>, to wynik badania jest TRUE. Jeżeli co najmniej jeden obiekt należy do zbioru <tt>Z1</tt> i nie należy do zbioru <tt>Z2</tt> lub odwrotnie to wynik badania jest FALSE. Nastąpi wtedy skok według omówionej wcześniej zasady.

= Instrukcja WITHIN =

Postać instrukcji:

: <tt>Z1 WITHIN Z2 e1 @ e2</tt>

Jeżeli zbiór <tt>Z2</tt> jest podzbiorem zbioru <tt>Z1</tt> to wynik badania jest TRUE. Natomiast jeżeli choć jeden obiekt należy do zbioru <tt>Z2</tt> i nie należy do <tt>Z1</tt>, to wynik badania jest FALSE. Żaden ze zbiorów, niezależnie od wyniku badania, nie ulegnie zmianie. Skok następuje według ogólnych zasad.

{{source|title=Translator języka CSL-CROOK dla minikomputera MERA-400 w systemie operacyjnym CROOK-4, Instrukcja Programisty (wersja-17/2)|author=Janusz Gocałek, Jacek Klauziński|date=Poznań, 1985}}

CSL-CROOK - Instrukcje badania zbiorów - Historia wersji

Amo: Utworzono nową stronę "Instrukcje badania zbiorów mogą być stosowane zarówno do zbiorów obu typów (uporządkowanego lub boolowskiego). Efektem badania jest stwierdzenie czy fakt o któ..."