Code Editor : hal-get-property