Specyfikatory i atrybuty

name() : type = codeblock
Copy full snippet

no_rollback: Jest to efekt domyślny stosowany, gdy nie zostanie wskazany żaden efekt wyłączny. Efekt no_rollback wskazuje, że nie można cofnąć żadnej akcji wykonanej przez funkcję oraz że funkcji nie można zastosować w kontekście niepowodzenia. Tego efektu nie można zdefiniować ręcznie.

name()<transacts> : type = codeblock
Copy full snippet

transacts: Ten efekt wskazuje na możliwość cofnięcia dowolnej akcji wykonanej przez funkcję. Efekt transacts jest wymagany przy każdym zapisie modyfikowalnej zmiennej (var). Podczas kompilowania kodu pojawi się powiadomienie, jeśli efekt transacts został dodany do funkcji, której nie można cofnąć. Zauważ, że kontrola ta nie jest przeprowadzana w przypadku funkcji zawierających specyfikator native.

name()<varies> : type = codeblock
Copy full snippet

varies: Ten efekt wskazuje, że wprowadzenie do funkcji tych samych danych wejściowych nie zawsze musi generować te same dane wyjściowe. Efekt varies wskazuje również, że nie ma gwarancji, że zachowanie funkcji pozostanie takie samo z nowymi wersjami zawierającego ją pakietu.

name()<computes> : type = codeblock
Copy full snippet

computes: Ten efekt wymaga, aby funkcja nie zawierała żadnych efektów ubocznych, a jego finalizacja nie jest gwarantowana. Istnieje niesprawdzony wymóg, aby funkcja zwracała jednakowe wyniki po wprowadzeniu tych samych argumentów. Dobrym przykładem zastosowania efektu computes jest każda funkcja, która nie zawiera specyfikatora native, a w innym przypadku zawierałaby efekt converges.

name()<converges> : type = codeblock
Copy full snippet

converges: Ten efekt gwarantuje, że wykonanie powiązanej funkcji nie przynosi efektów ubocznych, a dodatkowo funkcja zostanie definitywnie zrealizowana (nie podlega nieskończonej rekursji). Ten efekt może występować wyłącznie w funkcjach zawierających specyfikator native, jednak kompilator tego nie sprawdza. Kod używany do wprowadzania wartości domyślnych klasy lub wartości zmiennych globalnych musi zawierać ten efekt. Funkcje sin(), cos() oraz tan() są przykładami funkcji zawierających efekt converges.

name()<transacts><decides> : type = codeblock
Copy full snippet

decides: Wskazuje, że funkcja może się zakończyć niepowodzeniem, a wywołanie takiej funkcji jest wyrażeniem zawodnym. Definicje funkcji z efektem decides muszą mieć również efekt transacts, co oznacza, że akcje wykonywane przez tę funkcję mogą zostać wycofane, jakby nigdy nie zostały wykonane, jeśli w dowolnym miejscu funkcji wystąpi niepowodzenie.

name()<suspends> : type = codeblock
Copy full snippet

suspends: Wskazuje, że funkcja jest asynchroniczna. Tworzy asynchroniczny kontekst ciała funkcji.

name<public> : type = value
Copy full snippet

Publiczny (public): Identyfikator jest powszechnie dostępny. Ten specyfikator można dodawać do następujących elementów:

• moduł
• klasa
• interfejs
• struktura
• wyliczenie
• metoda
• dane

name<protected> : type = value
Copy full snippet

Chroniony (protected): Dostęp do identyfikatora mają jedynie bieżąca klasa i dowolne podtypy. Ten specyfikator można dodawać do następujących elementów:

• klasa
• interfejs
• struktura
• wyliczenie
• metoda niemodułowa
• dane

name<private> : type = value
Copy full snippet

Prywatny (private): Dostęp do identyfikatora jest możliwy tylko w bieżącym, bezpośrednio otaczającym go zakresie (którym może być moduł, klasa, struktura itp.). Ten specyfikator można dodawać do następujących elementów:

• klasa
• interfejs
• struktura
• wyliczenie
• metoda niemodułowa
• dane

name<internal> : type = value
Copy full snippet

Wewnętrzny (internal): Dostęp do identyfikatora jest możliwy tylko w bieżącym, bezpośrednio otaczającym go module. Jest to domyślny poziom dostępu. Ten specyfikator można dodawać do następujących elementów:

• moduł
• klasa
• interfejs
• struktura
• wyliczenie
• metoda
• dane

pet := class<abstract>():
    Speak() : void

cat := class(pet):
    Speak() : void = {}
Copy full snippet

Abstrakcyjna (abstract): Gdy klasa lub metoda klasy zawiera ten specyfikator, nie można utworzyć instancji danej klasy. Klasy abstrakcyjne służą jako nadklasy z częściową implementacją lub jako wspólny interfejs. Jest to przydatne, gdy tworzenie instancji nadklasy nie ma sensu i nie chcemy dublować właściwości oraz zachowań w podobnych klasach.

cat := class<concrete>():
     # pole trzeba zainicjować, ponieważ klasa jest konkretna
    Name : string = "Cat"
Copy full snippet

Konkretna (concrete): Gdy klasa zawiera ten specyfikator, musi istnieć możliwość utworzenia tej klasy z pustym archetypem, co oznacza, że każde pole klasy musi mieć wartość domyślną. Każda podklasa klasy konkretnej w domyśle także jest konkretna. Klasa konkretna może dziedziczyć bezpośrednio z klasy abstrakcyjnej, jeśli obie klasy są zdefiniowane w tym samym module.

unique_class := class<unique>:
    Field : int

Main()<decides> : void =
    X := unique_class{Field := 1}
    X = X # X jest równe samemu sobie
    Y := unique_class{Field := 1}
    X <> Y # X i Y są unikatowe, a więc nie są równe
Copy full snippet

Unikatowa (unique): Specyfikator unique można zastosować do klasy, aby uczynić ją klasą unikatową. Aby skonstruować instancję klasy unikatowej, Verse przydziela unikatową tożsamość do powstałej instancji. Dzięki temu można porównywać instancje unikatowych klas pod względem równości, porównując ich tożsamości. Klasy bez specyfikatora unique nie mają takiej tożsamości, dlatego można je porównywać pod względem równości tylko na podstawie wartości ich pól. Oznacza to, że klasy unikatowe można porównywać za pomocą operatorów = oraz <> i że są one podtypami typu comparable.

cat := class<final>():
Copy full snippet

Końcowa (final): Tego specyfikatora można używać tylko w odniesieniu do klas i ich elementów członkowskich:

• Jeśli klasa ma specyfikator final, nie można tworzyć jej podklas.
• Jeśli pole ma specyfikator final, nie można zastąpić pola w podklasie.
• Jeśli metoda ma specyfikator final, nie można zastąpić metody w podklasie.

GetDevicesWithTag<native><public>(Tag : tag) : []creative_device_base
Copy full snippet

native: Wskazuje, że szczegóły definicji elementu są zaimplementowane w C++. Definicje Verse zawierające specyfikator native automatycznie generują definicje C++, których twórca może użyć następnie w swojej implementacji. Ten specyfikator można zastosować do następujących elementów:

• klasa
• interfejs
• wyliczenie
• metoda
• dane

creative_device<native><public> := class<concrete>:
    OnBegin<public>()<suspends>:void = external {}

    OnEnd<native_callable><public>():void = external {}
Copy full snippet

native_callable: Wskazuje, że metoda instancji jest zarówno natywna (zaimplementowana w C++), jak i może być wywoływana przez inny kod C++. Ten specyfikator jest używany w metodzie instancji. Nie propaguje się on do podklas, więc nie trzeba dodawać go do definicji podczas zastępowania metody, która ma ten specyfikator.

@editable
Platform : color_changing_tiles_device = color_changing_tiles_device{}
Copy full snippet

editable: Wskazuje, że dane pole jest właściwością uwidocznioną, którą można zmieniać bezpośrednio z poziomu UEFN, więc zmiana jej wartości nie wymaga modyfikowania kodu Verse. Aby dowiedzieć się więcej, patrz Dostosowywanie właściwości urządzeń.

@doc("Biorąc pod uwagę odległość wzdłuż długości tej krzywizny, zwraca powiązane wartości danych w tym punkcie")
QueryAtDistanceAlongSpline<native><public>(DistanceAlongSpline : float, bIsWorldSpace : logic)<transacts><decides> : spline_query_result
Copy full snippet

doc: Pole uwagi ogólnej, które można znaleźć w klasach i funkcjach (ale nie w parametrach funkcji). Powinno ono zawierać przydatne informacje o tym, co robi opisywany element lub jak go używać, i służy ono do wypełnienia strony danego elementu w odwołaniach do interfejsu API Verse.