Jak reprezentować klasy w interpretatorze opartym na drzewku składni abstrakcyjnej

Question

Znam związane z nimi pytania, ale żaden z nich nie wydaje się bezpośrednio odpowiadać na to pytanie. Pracuję nad pisaniem interpretera skryptów PHP. Mam AST generujące właściwe węzły dla wszystkiego poza klasami. Obsługa klas jest nieco inna niż obsługa funkcji, więc szukam sposobu obsługi klas, które są autonomiczne i które rozszerzają inne klasy.

Spojrzałem na ANTLR, ale nie stać mnie na narzut, tak jak ma to miejsce w przypadku platformy wbudowanej. To, czego szukam, to teoria teoretycznie stojąca za klasami w AST, aby mogły być wykonywane przez część testera tłumacza. Dobre linki do konkretnych odpowiedzi na ten temat są zdecydowanie doceniane.

Answer 1

ANTLR jest mniej lub bardziej nieistotny dla twojego problemu.

Klasa w PHP to w zasadzie mapa od łańcuchów do atrybutów. Każdy atrybut może być publiczny, prywatny, chroniony. Każdy atrybut ma również wartość, która może być zmienną statyczną lub metodą. Metody są funkcjami, które (w PHP) przyjmują niejawny $ ten parametr. Więc możesz myśleć o klasie jako w zasadzie fantazyjnym obiekcie tablicy w PHP.

Po utworzeniu obiektu podajemy wskaźnik do obiektu klasy PHP. Kiedy wywołujesz metodę na tym obiekcie, sprawdzasz metodę przez obiekt klasy, który dostajesz przez ten wskaźnik.

Mam nadzieję, że to pomoże.

Answer 2

Odkryłem, że najlepsza metoda w kompilatorze od góry do dołu, najlepszą metodą jest traktowanie klas tak jak funkcji, ponieważ są one po prostu węzłami bez potrzeby oceny argumentów przed zejściem do drzewa.

Różnice występują w executorze, który musi utworzyć zakres wykonywania, w którym będą enkapsulowane metody i zmienne, które składają się na węzeł klasy.

Answer 3

Być może potrzebujesz trochę struktur do interpretacji, które są nieco bardziej usunięte z gramatyki źródłowej? Nie wiem zbyt wiele o PHP, ale brzmi to tak, jakbyś naprawdę pytał o strukturę modelu programu w sposób wygodny do interpretacji. Uważałbym, że AST generowany przez ANTLR jest zbyt blisko źródła dla tego, co chcesz.

Answer 4

Proponuję użyć JavaCC (lub rozwidlenia FreeCC) do analizy i budowy AST. JavaCC generuje analizator składni, który nie ma zależności środowiska wykonawczego. Trudno jest napisać mniejszy/szybszy analizator składni niż kod generowany przez JavaCC.

Answer 5

Spójrz na phc abstract grammar, robi dokładnie to. (Nawiasem mówiąc, wygląda na to, że używanie front-endu phc może być lepsze niż wymyślanie koła na nowo).

Class_def ::= Class_mod CLASS_NAME extends:CLASS_NAME? implements:INTERFACE_NAME* Member* ; 
Class_mod ::= "abstract"? "final"? ; 

Interface_def ::= INTERFACE_NAME extends:INTERFACE_NAME* Member* ; 

Member ::= Method | Attribute ; 

Method ::= Signature Statement*? ; 
Signature ::= Method_mod is_ref:"&"? METHOD_NAME Formal_parameter* ; 
Method_mod ::= "public"? "protected"? "private"? "static"? "abstract"? "final"? ; 
Formal_parameter ::= Type is_ref:"&"? var:Name_with_default ; 
Formal_parameter ::= Type is_ref:"&"? var:Name_with_default ; 
Type ::= CLASS_NAME? ; 
Name_with_default ::= VARIABLE_NAME Expr? ; 

Attribute ::= Attr_mod vars:Name_with_default* ; 
Attr_mod ::= "public"? "protected"? "private"? "static"? "const"? ;