public void writeHasDefaultValue(boolean hasDefaultValue) {
   if (hasDefaultValue) {
     av.visit(JvmStdlibNames.JET_VALUE_PARAMETER_HAS_DEFAULT_VALUE_FIELD, true);
   }
 }
 public void visitEnd() {
   av.visitEnd();
 }
 public void writeReceiver() {
   av.visit(JvmStdlibNames.JET_VALUE_PARAMETER_RECEIVER_FIELD, true);
 }
 public void writeType(@NotNull String kotlinSignature) {
   if (kotlinSignature.length() > 0) {
     av.visit(JvmStdlibNames.JET_VALUE_PARAMETER_TYPE_FIELD, kotlinSignature);
   }
 }
 public void writeName(@NotNull String name) {
   if (name.length() > 0) {
     av.visit(JvmStdlibNames.JET_VALUE_PARAMETER_NAME_FIELD, name);
   }
 }