CAI1File

All Superinterfaces:: com.io7m.cedarbridge.runtime.api.CBSerializableType

All Known Implementing Classes:: CAI1File.CAI1FileWithData, CAI1File.CAI1FileWithoutData

public sealed interface CAI1File extends com.io7m.cedarbridge.runtime.api.CBSerializableType permits CAI1File.CAI1FileWithoutData, CAI1File.CAI1FileWithData

A file.

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static final record

CAI1File.CAI1FileWithData

static final record

CAI1File.CAI1FileWithoutData
Method Summary

Static Methods

Modifier and Type

Method

Description

static CAI1File

deserialize(com.io7m.cedarbridge.runtime.api.CBSerializationContextType $context)

Deserialize a value of type CAI1File.

static void

serialize(com.io7m.cedarbridge.runtime.api.CBSerializationContextType $context, CAI1File $x)

Serialize a value of type CAI1File.

Method Details
- serialize
  
  static void serialize(com.io7m.cedarbridge.runtime.api.CBSerializationContextType $context, CAI1File $x) throws IOException
  
  Serialize a value of type CAI1File.
  
  Parameters:
  
  $context - The serialization context.
  
  $x - The value to be serialized.
  
  Throws:
  
  IOException
- deserialize
  
  static CAI1File deserialize(com.io7m.cedarbridge.runtime.api.CBSerializationContextType $context) throws IOException
  
  Deserialize a value of type CAI1File.
  
  Parameters:
  
  $context - The serialization context.
  
  Returns:
  
  A value of type CAI1File.
  
  Throws:
  
  IOException