🥮 mooncakes.io
README

mokomoking2501/concord/protocol_ast does not have a README file

#
ProtocolIngestError

source
pub(all) suberror ProtocolIngestError {
  ParseFailed(String)
  MissingField(String)
  InvalidField(String, String)
} derive(
Debug)

#
ConformanceFailure

source
pub(all) struct ConformanceFailure {
  source : ConformanceFailureSource
  event_id : Int?
  role : Role?
  reason : String
} derive(Eq, 
Debug)

#
ConformanceFailureSource

source
pub(all) enum ConformanceFailureSource {
  ObjectContractFailure
  ProtocolContractFailure
} derive(Eq, 
Debug)

#
ConformanceFailureSource::label

source

#
ConformanceReport

source
pub(all) struct ConformanceReport {
  protocol_id : String
  checked_events : Int
  matched_steps : Int
  object_report : 
ObjectMonitorReport
  protocol_reports : Array[RoleProtocolReport]
  first_failure : ConformanceFailure?
} derive(Eq, 
Debug)

#
ConformanceReport::passes

source
fn ConformanceReport::passes(self : ConformanceReport) -> Bool

#
GlobalProtocol

source
pub(all) struct GlobalProtocol {
  protocol_id : String
  messages : Array[ProtocolMessage]
  terminal_labels : Array[String]
} derive(
Debug)

#
GlobalProtocol::copy

source

#
GlobalProtocol::lint

source

#
GlobalProtocol::new

source
fn GlobalProtocol::new(protocol_id~ : String) -> GlobalProtocol

#
GlobalProtocol::project

source
fn GlobalProtocol::project(self : GlobalProtocol, role : Role) -> LocalProtocol

#
GlobalProtocol::send

source
fn GlobalProtocol::send(self : GlobalProtocol, from~ : Role, to~ : Role, label~ : String, object_id~ : String) -> GlobalProtocol

#
GlobalProtocol::with_terminal_label

source
fn GlobalProtocol::with_terminal_label(self : GlobalProtocol, label~ : String) -> GlobalProtocol

#
LocalDirection

source
pub(all) enum LocalDirection {
  Send
  Receive
} derive(Eq, 
Debug)

#
LocalDirection::label

source
fn LocalDirection::label(self : LocalDirection) -> String

#
LocalProtocol

source
pub(all) struct LocalProtocol {
  protocol_id : String
  role : Role
  steps : Array[LocalStep]
  terminal_labels : Array[String]
} derive(
Debug)

#
LocalProtocol::copy

source

#
LocalStep

source
pub(all) struct LocalStep {
  index : Int
  direction : LocalDirection
  label : String
  peer : Role
  object_id : String
} derive(Eq, 
Debug)

#
ObserverBackend

source
pub(all) struct ObserverBackend {
  registry : 
ContractRegistry
  protocol : GlobalProtocol
  roles : Array[Role]
} derive(
Debug)

#
ProtocolLintIssue

source
pub(all) struct ProtocolLintIssue {
  protocol_id : String
  step_index : Int?
  message : String
} derive(Eq, 
Debug)

#
ProtocolLintReport

source
pub(all) struct ProtocolLintReport {
  issues : Array[ProtocolLintIssue]
} derive(Eq, 
Debug)

#
ProtocolLintReport::passes

source
fn ProtocolLintReport::passes(self : ProtocolLintReport) -> Bool

#
ProtocolMessage

source
pub(all) struct ProtocolMessage {
  from : Role
  to : Role
  label : String
  object_id : String
} derive(Eq, 
Debug)

#
ProtocolMessage::make

source
fn ProtocolMessage::make(from~ : Role, to~ : Role, label~ : String, object_id~ : String) -> ProtocolMessage

#
ProtocolMonitor

source
pub(all) struct ProtocolMonitor {
  protocol : LocalProtocol
  trace_node_id : String
} derive(
Debug)

#
ProtocolMonitor::bind_trace_node_id

source
fn ProtocolMonitor::bind_trace_node_id(self : ProtocolMonitor, trace_node_id : String) -> ProtocolMonitor

#
ProtocolMonitor::check_trace

source

#
ProtocolMonitor::new

source
fn ProtocolMonitor::new(local_protocol~ : LocalProtocol) -> ProtocolMonitor

#
ProtocolMonitorReport

source
pub(all) struct ProtocolMonitorReport {
  matched_steps : Int
  violations : Array[ProtocolViolation]
  last_event_time : 
VTime?
} derive(Eq, 
Debug)

#
ProtocolMonitorReport::passes

source
fn ProtocolMonitorReport::passes(self : ProtocolMonitorReport) -> Bool

#
ProtocolViolation

source
pub(all) struct ProtocolViolation {
  protocol_id : String
  event_id : Int?
  expected_label : String?
  observed_label : String
  reason : String
} derive(Eq, 
Debug)

#
Role

source
pub(all) enum Role {
  Role(String)
} derive(Eq, 
Debug)

#
Role::label

source
fn Role::label(self : Role) -> String

#
RoleProtocolReport

source
pub(all) struct RoleProtocolReport {
  role : Role
  matched_steps : Int
  violations : Array[ProtocolViolation]
  last_event_time : 
VTime?
} derive(Eq, 
Debug)

#
RoleProtocolReport::passes

source
fn RoleProtocolReport::passes(self : RoleProtocolReport) -> Bool

#
axis_authority_protocol

source
fn axis_authority_protocol() -> GlobalProtocol

#
package_id

source
fn package_id() -> String

#
parse_global_protocol_json

source
fn parse_global_protocol_json(text : String) -> GlobalProtocol raise ProtocolIngestError

#
parse_global_protocol_text

source
fn parse_global_protocol_text(text : String) -> GlobalProtocol raise ProtocolIngestError

#
parse_global_protocol_yaml

source
fn parse_global_protocol_yaml(text : String) -> GlobalProtocol raise ProtocolIngestError

#
role

source
fn role(name~ : String) -> Role

Source Files

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io