| OLD | NEW |
| 1 {%- macro validate(struct, class_name) %} | 1 {%- macro validate(struct, class_name) %} |
| 2 if (!data) | 2 if (!data) |
| 3 return true; | 3 return true; |
| 4 | 4 |
| 5 if (!ValidateStructHeader( | 5 if (!ValidateStructHeader( |
| 6 data, sizeof({{class_name}}), | 6 data, sizeof({{class_name}}), |
| 7 {{struct.packed.packed_fields|length}}, bounds_checker)) { | 7 {{struct.packed.packed_fields|length}}, bounds_checker)) { |
| 8 return false; | 8 return false; |
| 9 } | 9 } |
| 10 | 10 |
| 11 const {{class_name}}* MOJO_ALLOW_UNUSED object = | 11 const {{class_name}}* MOJO_ALLOW_UNUSED object = |
| 12 static_cast<const {{class_name}}*>(data); | 12 static_cast<const {{class_name}}*>(data); |
| 13 | 13 |
| 14 {%- for packed_field in struct.packed.packed_fields %} | 14 {%- for packed_field in struct.packed.packed_fields %} |
| 15 {%- set name = packed_field.field.name %} | 15 {%- set name = packed_field.field.name %} |
| 16 {%- set kind = packed_field.field.kind %} | 16 {%- set kind = packed_field.field.kind %} |
| 17 {%- if kind|is_object_kind %} | 17 {%- if kind|is_object_kind %} |
| 18 {%- set wrapper_type = kind|cpp_wrapper_type %} | 18 {%- set wrapper_type = kind|cpp_wrapper_type %} |
| 19 {%- if not kind|is_nullable_kind %} | 19 {%- if not kind|is_nullable_kind %} |
| 20 if (mojo::internal::IsNonNullableValidationEnabled() && | 20 if (!object->{{name}}.offset) { |
| 21 !object->{{name}}.offset) { | |
| 22 ReportValidationError( | 21 ReportValidationError( |
| 23 mojo::internal::VALIDATION_ERROR_UNEXPECTED_NULL_POINTER); | 22 mojo::internal::VALIDATION_ERROR_UNEXPECTED_NULL_POINTER); |
| 24 return false; | 23 return false; |
| 25 } | 24 } |
| 26 {%- endif %} | 25 {%- endif %} |
| 27 if (!mojo::internal::ValidateEncodedPointer(&object->{{name}}.offset)) { | 26 if (!mojo::internal::ValidateEncodedPointer(&object->{{name}}.offset)) { |
| 28 ReportValidationError(mojo::internal::VALIDATION_ERROR_ILLEGAL_POINTER); | 27 ReportValidationError(mojo::internal::VALIDATION_ERROR_ILLEGAL_POINTER); |
| 29 return false; | 28 return false; |
| 30 } | 29 } |
| 31 {%- if kind|is_any_array_kind or kind|is_string_kind %} | 30 {%- if kind|is_any_array_kind or kind|is_string_kind %} |
| 32 if (!{{wrapper_type}}::Data_::Validate< | 31 if (!{{wrapper_type}}::Data_::Validate< |
| 33 {{kind|get_array_validate_params|indent(10)}}>( | 32 {{kind|get_array_validate_params|indent(10)}}>( |
| 34 mojo::internal::DecodePointerRaw(&object->{{name}}.offset), | 33 mojo::internal::DecodePointerRaw(&object->{{name}}.offset), |
| 35 bounds_checker)) { | 34 bounds_checker)) { |
| 36 {%- else %} | 35 {%- else %} |
| 37 if (!{{wrapper_type}}::Data_::Validate( | 36 if (!{{wrapper_type}}::Data_::Validate( |
| 38 mojo::internal::DecodePointerRaw(&object->{{name}}.offset), | 37 mojo::internal::DecodePointerRaw(&object->{{name}}.offset), |
| 39 bounds_checker)) { | 38 bounds_checker)) { |
| 40 {%- endif %} | 39 {%- endif %} |
| 41 return false; | 40 return false; |
| 42 } | 41 } |
| 43 {%- elif kind|is_any_handle_kind %} | 42 {%- elif kind|is_any_handle_kind %} |
| 44 {%- if not kind|is_nullable_kind %} | 43 {%- if not kind|is_nullable_kind %} |
| 45 if (mojo::internal::IsNonNullableValidationEnabled() && | 44 if (object->{{name}}.value() == mojo::internal::kEncodedInvalidHandleValue) { |
| 46 object->{{name}}.value() == mojo::internal::kEncodedInvalidHandleValue) { | |
| 47 ReportValidationError( | 45 ReportValidationError( |
| 48 mojo::internal::VALIDATION_ERROR_UNEXPECTED_INVALID_HANDLE); | 46 mojo::internal::VALIDATION_ERROR_UNEXPECTED_INVALID_HANDLE); |
| 49 return false; | 47 return false; |
| 50 } | 48 } |
| 51 {%- endif %} | 49 {%- endif %} |
| 52 if (!bounds_checker->ClaimHandle(object->{{name}})) { | 50 if (!bounds_checker->ClaimHandle(object->{{name}})) { |
| 53 ReportValidationError(mojo::internal::VALIDATION_ERROR_ILLEGAL_HANDLE); | 51 ReportValidationError(mojo::internal::VALIDATION_ERROR_ILLEGAL_HANDLE); |
| 54 return false; | 52 return false; |
| 55 } | 53 } |
| 56 {%- endif %} | 54 {%- endif %} |
| (...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 106 | 104 |
| 107 {%- macro decodes(struct) -%} | 105 {%- macro decodes(struct) -%} |
| 108 {%- for pf in struct.packed.packed_fields %} | 106 {%- for pf in struct.packed.packed_fields %} |
| 109 {%- if pf.field.kind|is_object_kind %} | 107 {%- if pf.field.kind|is_object_kind %} |
| 110 mojo::internal::Decode(&{{pf.field.name}}, handles); | 108 mojo::internal::Decode(&{{pf.field.name}}, handles); |
| 111 {%- elif pf.field.kind|is_any_handle_kind %} | 109 {%- elif pf.field.kind|is_any_handle_kind %} |
| 112 mojo::internal::DecodeHandle(&{{pf.field.name}}, handles); | 110 mojo::internal::DecodeHandle(&{{pf.field.name}}, handles); |
| 113 {%- endif %} | 111 {%- endif %} |
| 114 {%- endfor %} | 112 {%- endfor %} |
| 115 {%- endmacro -%} | 113 {%- endmacro -%} |
| OLD | NEW |