validation.hpp File Reference

Bounded, non-throwing validation for structured class-file models. More...

#include <cstddef>
#include <cstdint>
#include <rpnx/cortado/attributes.hpp>
#include <string>
#include <vector>

Go to the source code of this file.

Classes
struct	rpnx::cortado::validation_location
	A structured location within an owning class_file model. More...
struct	rpnx::cortado::validation_diagnostic
	One class-file validation failure. More...
struct	rpnx::cortado::validation_options
	Controls strict structural and version-aware validation. More...
struct	rpnx::cortado::validation_report
	The complete bounded diagnostic result of one validation pass. More...

Namespaces
namespace	rpnx::cortado
	JVM class-file, bytecode, validation, generation, and JAR APIs.

Enumerations
enum class	rpnx::cortado::validation_code : std::uint16_t {   invalid_version , invalid_constant_pool_index , invalid_constant_pool_reference_kind , feature_not_supported_by_version ,   invalid_flags , invalid_descriptor , invalid_attribute_name , duplicate_attribute ,   missing_code_attribute , unexpected_code_attribute , invalid_code , invalid_branch_target ,   invalid_switch_table , invalid_exception_range , invalid_stack_map , invalid_annotation ,   invalid_module_structure , resource_limit_exceeded }
	Stable machine-readable codes emitted by class-file validation. More...
enum class	rpnx::cortado::validation_location_kind : std::uint8_t {   class_file , constant_pool , interface , field ,   method , class_attribute , field_attribute , method_attribute ,   code , code_attribute , record_component }
	The class-file area associated with a diagnostic. More...

Functions
validation_report	rpnx::cortado::validate_class_file (class_file const &value, validation_options const &options={})
	Validates a complete class-file model without throwing for model errors.

Detailed Description

Bounded, non-throwing validation for structured class-file models.

Definition in file validation.hpp.