1*890232f2SAndroid Build Coastguard Worker /* 2*890232f2SAndroid Build Coastguard Worker * Copyright 2021 Google Inc. All rights reserved. 3*890232f2SAndroid Build Coastguard Worker * 4*890232f2SAndroid Build Coastguard Worker * Licensed under the Apache License, Version 2.0 (the "License"); 5*890232f2SAndroid Build Coastguard Worker * you may not use this file except in compliance with the License. 6*890232f2SAndroid Build Coastguard Worker * You may obtain a copy of the License at 7*890232f2SAndroid Build Coastguard Worker * 8*890232f2SAndroid Build Coastguard Worker * http://www.apache.org/licenses/LICENSE-2.0 9*890232f2SAndroid Build Coastguard Worker * 10*890232f2SAndroid Build Coastguard Worker * Unless required by applicable law or agreed to in writing, software 11*890232f2SAndroid Build Coastguard Worker * distributed under the License is distributed on an "AS IS" BASIS, 12*890232f2SAndroid Build Coastguard Worker * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13*890232f2SAndroid Build Coastguard Worker * See the License for the specific language governing permissions and 14*890232f2SAndroid Build Coastguard Worker * limitations under the License. 15*890232f2SAndroid Build Coastguard Worker */ 16*890232f2SAndroid Build Coastguard Worker 17*890232f2SAndroid Build Coastguard Worker #if !os(WASI) 18*890232f2SAndroid Build Coastguard Worker import Foundation 19*890232f2SAndroid Build Coastguard Worker #else 20*890232f2SAndroid Build Coastguard Worker import SwiftOverlayShims 21*890232f2SAndroid Build Coastguard Worker #endif 22*890232f2SAndroid Build Coastguard Worker 23*890232f2SAndroid Build Coastguard Worker /// Enum is a protocol that all flatbuffers enums should conform to 24*890232f2SAndroid Build Coastguard Worker /// Since it allows us to get the actual `ByteSize` and `Value` from 25*890232f2SAndroid Build Coastguard Worker /// a swift enum. 26*890232f2SAndroid Build Coastguard Worker public protocol Enum { 27*890232f2SAndroid Build Coastguard Worker /// associatedtype that the type of the enum should conform to 28*890232f2SAndroid Build Coastguard Worker associatedtype T: Scalar & Verifiable 29*890232f2SAndroid Build Coastguard Worker /// Size of the current associatedtype in the enum 30*890232f2SAndroid Build Coastguard Worker static var byteSize: Int { get } 31*890232f2SAndroid Build Coastguard Worker /// The current value the enum hosts 32*890232f2SAndroid Build Coastguard Worker var value: T { get } 33*890232f2SAndroid Build Coastguard Worker } 34*890232f2SAndroid Build Coastguard Worker 35*890232f2SAndroid Build Coastguard Worker extension Enum where Self: Verifiable { 36*890232f2SAndroid Build Coastguard Worker 37*890232f2SAndroid Build Coastguard Worker /// Verifies that the current value is which the bounds of the buffer, and if 38*890232f2SAndroid Build Coastguard Worker /// the current `Value` is aligned properly 39*890232f2SAndroid Build Coastguard Worker /// - Parameters: 40*890232f2SAndroid Build Coastguard Worker /// - verifier: Verifier that hosts the buffer 41*890232f2SAndroid Build Coastguard Worker /// - position: Current position within the buffer 42*890232f2SAndroid Build Coastguard Worker /// - type: The type of the object to be verified 43*890232f2SAndroid Build Coastguard Worker /// - Throws: Errors coming from `inBuffer` function 44*890232f2SAndroid Build Coastguard Worker public static func verify<T>( 45*890232f2SAndroid Build Coastguard Worker _ verifier: inout Verifier, 46*890232f2SAndroid Build Coastguard Worker at position: Int, 47*890232f2SAndroid Build Coastguard Worker of type: T.Type) throws where T: Verifiable 48*890232f2SAndroid Build Coastguard Worker { 49*890232f2SAndroid Build Coastguard Worker try verifier.inBuffer(position: position, of: type.self) 50*890232f2SAndroid Build Coastguard Worker } 51*890232f2SAndroid Build Coastguard Worker 52*890232f2SAndroid Build Coastguard Worker } 53*890232f2SAndroid Build Coastguard Worker 54*890232f2SAndroid Build Coastguard Worker /// UnionEnum is a Protocol that allows us to create Union type of enums 55*890232f2SAndroid Build Coastguard Worker /// and their value initializers. Since an `init` was required by 56*890232f2SAndroid Build Coastguard Worker /// the verifier 57*890232f2SAndroid Build Coastguard Worker public protocol UnionEnum: Enum { 58*890232f2SAndroid Build Coastguard Worker init?(value: T) throws 59*890232f2SAndroid Build Coastguard Worker } 60