123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285 |
- // Copyright 2018 The Go Authors. All rights reserved.
- // Use of this source code is governed by a BSD-style
- // license that can be found in the LICENSE file.
- package protoreflect
- import "google.golang.org/protobuf/encoding/protowire"
- // Enum is a reflection interface for a concrete enum value,
- // which provides type information and a getter for the enum number.
- // Enum does not provide a mutable API since enums are commonly backed by
- // Go constants, which are not addressable.
- type Enum interface {
- // Descriptor returns enum descriptor, which contains only the protobuf
- // type information for the enum.
- Descriptor() EnumDescriptor
- // Type returns the enum type, which encapsulates both Go and protobuf
- // type information. If the Go type information is not needed,
- // it is recommended that the enum descriptor be used instead.
- Type() EnumType
- // Number returns the enum value as an integer.
- Number() EnumNumber
- }
- // Message is a reflective interface for a concrete message value,
- // encapsulating both type and value information for the message.
- //
- // Accessor/mutators for individual fields are keyed by [FieldDescriptor].
- // For non-extension fields, the descriptor must exactly match the
- // field known by the parent message.
- // For extension fields, the descriptor must implement [ExtensionTypeDescriptor],
- // extend the parent message (i.e., have the same message [FullName]), and
- // be within the parent's extension range.
- //
- // Each field [Value] can be a scalar or a composite type ([Message], [List], or [Map]).
- // See [Value] for the Go types associated with a [FieldDescriptor].
- // Providing a [Value] that is invalid or of an incorrect type panics.
- type Message interface {
- // Descriptor returns message descriptor, which contains only the protobuf
- // type information for the message.
- Descriptor() MessageDescriptor
- // Type returns the message type, which encapsulates both Go and protobuf
- // type information. If the Go type information is not needed,
- // it is recommended that the message descriptor be used instead.
- Type() MessageType
- // New returns a newly allocated and mutable empty message.
- New() Message
- // Interface unwraps the message reflection interface and
- // returns the underlying ProtoMessage interface.
- Interface() ProtoMessage
- // Range iterates over every populated field in an undefined order,
- // calling f for each field descriptor and value encountered.
- // Range returns immediately if f returns false.
- // While iterating, mutating operations may only be performed
- // on the current field descriptor.
- Range(f func(FieldDescriptor, Value) bool)
- // Has reports whether a field is populated.
- //
- // Some fields have the property of nullability where it is possible to
- // distinguish between the default value of a field and whether the field
- // was explicitly populated with the default value. Singular message fields,
- // member fields of a oneof, and proto2 scalar fields are nullable. Such
- // fields are populated only if explicitly set.
- //
- // In other cases (aside from the nullable cases above),
- // a proto3 scalar field is populated if it contains a non-zero value, and
- // a repeated field is populated if it is non-empty.
- Has(FieldDescriptor) bool
- // Clear clears the field such that a subsequent Has call reports false.
- //
- // Clearing an extension field clears both the extension type and value
- // associated with the given field number.
- //
- // Clear is a mutating operation and unsafe for concurrent use.
- Clear(FieldDescriptor)
- // Get retrieves the value for a field.
- //
- // For unpopulated scalars, it returns the default value, where
- // the default value of a bytes scalar is guaranteed to be a copy.
- // For unpopulated composite types, it returns an empty, read-only view
- // of the value; to obtain a mutable reference, use Mutable.
- Get(FieldDescriptor) Value
- // Set stores the value for a field.
- //
- // For a field belonging to a oneof, it implicitly clears any other field
- // that may be currently set within the same oneof.
- // For extension fields, it implicitly stores the provided ExtensionType.
- // When setting a composite type, it is unspecified whether the stored value
- // aliases the source's memory in any way. If the composite value is an
- // empty, read-only value, then it panics.
- //
- // Set is a mutating operation and unsafe for concurrent use.
- Set(FieldDescriptor, Value)
- // Mutable returns a mutable reference to a composite type.
- //
- // If the field is unpopulated, it may allocate a composite value.
- // For a field belonging to a oneof, it implicitly clears any other field
- // that may be currently set within the same oneof.
- // For extension fields, it implicitly stores the provided ExtensionType
- // if not already stored.
- // It panics if the field does not contain a composite type.
- //
- // Mutable is a mutating operation and unsafe for concurrent use.
- Mutable(FieldDescriptor) Value
- // NewField returns a new value that is assignable to the field
- // for the given descriptor. For scalars, this returns the default value.
- // For lists, maps, and messages, this returns a new, empty, mutable value.
- NewField(FieldDescriptor) Value
- // WhichOneof reports which field within the oneof is populated,
- // returning nil if none are populated.
- // It panics if the oneof descriptor does not belong to this message.
- WhichOneof(OneofDescriptor) FieldDescriptor
- // GetUnknown retrieves the entire list of unknown fields.
- // The caller may only mutate the contents of the RawFields
- // if the mutated bytes are stored back into the message with SetUnknown.
- GetUnknown() RawFields
- // SetUnknown stores an entire list of unknown fields.
- // The raw fields must be syntactically valid according to the wire format.
- // An implementation may panic if this is not the case.
- // Once stored, the caller must not mutate the content of the RawFields.
- // An empty RawFields may be passed to clear the fields.
- //
- // SetUnknown is a mutating operation and unsafe for concurrent use.
- SetUnknown(RawFields)
- // IsValid reports whether the message is valid.
- //
- // An invalid message is an empty, read-only value.
- //
- // An invalid message often corresponds to a nil pointer of the concrete
- // message type, but the details are implementation dependent.
- // Validity is not part of the protobuf data model, and may not
- // be preserved in marshaling or other operations.
- IsValid() bool
- // ProtoMethods returns optional fast-path implementations of various operations.
- // This method may return nil.
- //
- // The returned methods type is identical to
- // google.golang.org/protobuf/runtime/protoiface.Methods.
- // Consult the protoiface package documentation for details.
- ProtoMethods() *methods
- }
- // RawFields is the raw bytes for an ordered sequence of fields.
- // Each field contains both the tag (representing field number and wire type),
- // and also the wire data itself.
- type RawFields []byte
- // IsValid reports whether b is syntactically correct wire format.
- func (b RawFields) IsValid() bool {
- for len(b) > 0 {
- _, _, n := protowire.ConsumeField(b)
- if n < 0 {
- return false
- }
- b = b[n:]
- }
- return true
- }
- // List is a zero-indexed, ordered list.
- // The element [Value] type is determined by [FieldDescriptor.Kind].
- // Providing a [Value] that is invalid or of an incorrect type panics.
- type List interface {
- // Len reports the number of entries in the List.
- // Get, Set, and Truncate panic with out of bound indexes.
- Len() int
- // Get retrieves the value at the given index.
- // It never returns an invalid value.
- Get(int) Value
- // Set stores a value for the given index.
- // When setting a composite type, it is unspecified whether the set
- // value aliases the source's memory in any way.
- //
- // Set is a mutating operation and unsafe for concurrent use.
- Set(int, Value)
- // Append appends the provided value to the end of the list.
- // When appending a composite type, it is unspecified whether the appended
- // value aliases the source's memory in any way.
- //
- // Append is a mutating operation and unsafe for concurrent use.
- Append(Value)
- // AppendMutable appends a new, empty, mutable message value to the end
- // of the list and returns it.
- // It panics if the list does not contain a message type.
- AppendMutable() Value
- // Truncate truncates the list to a smaller length.
- //
- // Truncate is a mutating operation and unsafe for concurrent use.
- Truncate(int)
- // NewElement returns a new value for a list element.
- // For enums, this returns the first enum value.
- // For other scalars, this returns the zero value.
- // For messages, this returns a new, empty, mutable value.
- NewElement() Value
- // IsValid reports whether the list is valid.
- //
- // An invalid list is an empty, read-only value.
- //
- // Validity is not part of the protobuf data model, and may not
- // be preserved in marshaling or other operations.
- IsValid() bool
- }
- // Map is an unordered, associative map.
- // The entry [MapKey] type is determined by [FieldDescriptor.MapKey].Kind.
- // The entry [Value] type is determined by [FieldDescriptor.MapValue].Kind.
- // Providing a [MapKey] or [Value] that is invalid or of an incorrect type panics.
- type Map interface {
- // Len reports the number of elements in the map.
- Len() int
- // Range iterates over every map entry in an undefined order,
- // calling f for each key and value encountered.
- // Range calls f Len times unless f returns false, which stops iteration.
- // While iterating, mutating operations may only be performed
- // on the current map key.
- Range(f func(MapKey, Value) bool)
- // Has reports whether an entry with the given key is in the map.
- Has(MapKey) bool
- // Clear clears the entry associated with they given key.
- // The operation does nothing if there is no entry associated with the key.
- //
- // Clear is a mutating operation and unsafe for concurrent use.
- Clear(MapKey)
- // Get retrieves the value for an entry with the given key.
- // It returns an invalid value for non-existent entries.
- Get(MapKey) Value
- // Set stores the value for an entry with the given key.
- // It panics when given a key or value that is invalid or the wrong type.
- // When setting a composite type, it is unspecified whether the set
- // value aliases the source's memory in any way.
- //
- // Set is a mutating operation and unsafe for concurrent use.
- Set(MapKey, Value)
- // Mutable retrieves a mutable reference to the entry for the given key.
- // If no entry exists for the key, it creates a new, empty, mutable value
- // and stores it as the entry for the key.
- // It panics if the map value is not a message.
- Mutable(MapKey) Value
- // NewValue returns a new value assignable as a map value.
- // For enums, this returns the first enum value.
- // For other scalars, this returns the zero value.
- // For messages, this returns a new, empty, mutable value.
- NewValue() Value
- // IsValid reports whether the map is valid.
- //
- // An invalid map is an empty, read-only value.
- //
- // An invalid message often corresponds to a nil Go map value,
- // but the details are implementation dependent.
- // Validity is not part of the protobuf data model, and may not
- // be preserved in marshaling or other operations.
- IsValid() bool
- }
|