abstract public string $name { get; } } ]]>