Code Editor : HasProperty.js