EOFill

EOFill class

f* operatörünü temsil eden sınıf (çift-tek kuralı kullanarak yolu doldurun).

public class EOFill : Operator

yapıcılar

İsimTanım
EOFill()Operatörü başlatır.

Özellikleri

İsimTanım
Index { get; set; }Sayfa operatörleri listesinde operatör dizini.

yöntemler

İsimTanım
override Accept(IOperatorSelector)İşleci işlemek için ziyaretçi nesnesini kabul eder.
override ToString()Operatör ve parametrelerinin metnini döndürür.

Ayrıca bakınız