README
T
ByteOrder
- ::dataCanFrame::data
- ::idCanFrame::id
- ::newCanFrame::new
T
ChangeKind
- ::acceptedDbcAudit::accepted
- ::canonical_textDbcAudit::canonical_text
- ::databaseDbcAudit::database
- ::round_trip_consistentDbcAudit::round_trip_consistent
- ::statisticsDbcAudit::statistics
- ::validationDbcAudit::validation
- ::labelDbcBatchInput::label
- ::newDbcBatchInput::new
- ::textDbcBatchInput::text
- ::acceptedDbcBatchItem::accepted
- ::databaseDbcBatchItem::database
- ::errorDbcBatchItem::error
- ::labelDbcBatchItem::label
- ::acceptedDbcBatchResult::accepted
- ::findDbcBatchResult::find
- ::itemsDbcBatchResult::items
- ::rejectedDbcBatchResult::rejected
- ::total_input_bytesDbcBatchResult::total_input_bytes
- ::total_messagesDbcBatchResult::total_messages
- ::total_signalsDbcBatchResult::total_signals
- ::breaking_change_countDbcComparison::breaking_change_count
- ::is_compatibleDbcComparison::is_compatible
- ::message_changesDbcComparison::message_changes
- ::signal_changesDbcComparison::signal_changes
- ::find_message_by_idDbcDatabase::find_message_by_id
- ::find_message_by_nameDbcDatabase::find_message_by_name
- ::ignored_statement_countDbcDatabase::ignored_statement_count
- ::message_countDbcDatabase::message_count
- ::messagesDbcDatabase::messages
- ::newDbcDatabase::new
- ::nodesDbcDatabase::nodes
- ::versionDbcDatabase::version
- ::codeDbcError::code
- ::contextDbcError::context
- ::formatDbcError::format
- ::locationDbcError::location
- ::messageDbcError::message
- ::newDbcError::new
- ::codeDbcErrorCode::code
- ::commentDbcMessage::comment
- ::find_signalDbcMessage::find_signal
- ::idDbcMessage::id
- ::nameDbcMessage::name
- ::newDbcMessage::new
- ::signalsDbcMessage::signals
- ::sizeDbcMessage::size
- ::source_lineDbcMessage::source_line
- ::transmitterDbcMessage::transmitter
- ::with_commentDbcMessage::with_comment
- ::with_signalsDbcMessage::with_signals
- ::nameDbcNode::name
- ::newDbcNode::new
- ::standardDbcParseLimits::standard
- ::bit_lengthDbcSignal::bit_length
- ::byte_orderDbcSignal::byte_order
- ::commentDbcSignal::comment
- ::factorDbcSignal::factor
- ::maximumDbcSignal::maximum
- ::minimumDbcSignal::minimum
- ::nameDbcSignal::name
- ::newDbcSignal::new
- ::offsetDbcSignal::offset
- ::physical_from_rawDbcSignal::physical_from_raw
- ::raw_from_physicalDbcSignal::raw_from_physical
- ::receiversDbcSignal::receivers
- ::source_lineDbcSignal::source_line
- ::start_bitDbcSignal::start_bit
- ::unitDbcSignal::unit
- ::value_labelDbcSignal::value_label
- ::value_typeDbcSignal::value_type
- ::valuesDbcSignal::values
- ::with_commentDbcSignal::with_comment
- ::with_valuesDbcSignal::with_values
- ::classic_message_countDbcStatistics::classic_message_count
- ::described_value_countDbcStatistics::described_value_count
- ::fd_message_countDbcStatistics::fd_message_count
- ::find_nodeDbcStatistics::find_node
- ::intel_signal_countDbcStatistics::intel_signal_count
- ::message_countDbcStatistics::message_count
- ::motorola_signal_countDbcStatistics::motorola_signal_count
- ::node_countDbcStatistics::node_count
- ::node_trafficDbcStatistics::node_traffic
- ::payload_bytesDbcStatistics::payload_bytes
- ::signal_countDbcStatistics::signal_count
- ::signed_signal_countDbcStatistics::signed_signal_count
- ::codeDbcValidationIssue::code
- ::messageDbcValidationIssue::message
- ::message_idDbcValidationIssue::message_id
- ::severityDbcValidationIssue::severity
- ::signal_nameDbcValidationIssue::signal_name
- ::source_lineDbcValidationIssue::source_line
- ::can_fdDbcValidationPolicy::can_fd
- ::strict_classic_canDbcValidationPolicy::strict_classic_can
- ::error_countDbcValidationResult::error_count
- ::is_validDbcValidationResult::is_valid
- ::issuesDbcValidationResult::issues
- ::warning_countDbcValidationResult::warning_count
- ::labelDbcValueDescription::label
- ::newDbcValueDescription::new
- ::rawDbcValueDescription::raw
- ::find_signalDecodedFrame::find_signal
- ::frameDecodedFrame::frame
- ::messageDecodedFrame::message
- ::signalsDecodedFrame::signals
- ::labelDecodedSignal::label
- ::nameDecodedSignal::name
- ::physicalDecodedSignal::physical
- ::raw_bitsDecodedSignal::raw_bits
- ::signed_rawDecodedSignal::signed_raw
- ::acceptedFrameBatchItem::accepted
- ::decodedFrameBatchItem::decoded
- ::errorFrameBatchItem::error
- ::frameFrameBatchItem::frame
- ::indexFrameBatchItem::index
- ::acceptance_ratioFrameBatchResult::acceptance_ratio
- ::acceptedFrameBatchResult::accepted
- ::find_itemFrameBatchResult::find_item
- ::find_message_countFrameBatchResult::find_message_count
- ::itemsFrameBatchResult::items
- ::message_countsFrameBatchResult::message_counts
- ::rejectedFrameBatchResult::rejected
- ::total_data_bytesFrameBatchResult::total_data_bytes
- ::detailMessageChange::detail
- ::is_breakingMessageChange::is_breaking
- ::kindMessageChange::kind
- ::message_idMessageChange::message_id
- ::message_nameMessageChange::message_name
- ::allMessageFilter::all
- ::countMessageFrameCount::count
- ::message_idMessageFrameCount::message_id
- ::message_nameMessageFrameCount::message_name
- ::nodeNodeTraffic::node
- ::received_messagesNodeTraffic::received_messages
- ::received_signalsNodeTraffic::received_signals
- ::transmitted_messagesNodeTraffic::transmitted_messages
- ::nameSignalAssignment::name
- ::newSignalAssignment::new
- ::physicalSignalAssignment::physical
- ::detailSignalChange::detail
- ::is_breakingSignalChange::is_breaking
- ::kindSignalChange::kind
- ::message_idSignalChange::message_id
- ::signal_nameSignalChange::signal_name
- ::message_idSignalReference::message_id
- ::message_nameSignalReference::message_name
- ::signalSignalReference::signal
T
SignalValueType
- ::columnSourceLocation::column
- ::lineSourceLocation::line
- ::newSourceLocation::new
T
ValidationSeverity
V
analyze_dbc
V
audit_dbc
V
compare_dbc
V
database_content_equal
V
decode_frame
V
decode_frame_batch
V
decode_frame_hex
V
decode_message
V
decode_signal
V
encode_frame
V
encode_message
V
encode_physical_signal
V
encode_signed_raw_signal
V
encode_unsigned_raw_signal
V
find_signals_by_name
V
merge_databases
V
messages_received_by
V
messages_transmitted_by
V
parse_dbc
V
parse_dbc_batch
V
parse_frame_hex
V
rename_message
V
rename_node
V
rename_signal
V
render_audit_json
V
render_audit_text
V
render_comparison_json
V
render_comparison_text
V
render_decoded_json
V
render_decoded_text
V
render_frame_batch_json
V
render_frame_batch_text
V
render_frame_hex
V
render_statistics_json
V
render_statistics_text
V
render_validation_json
V
render_validation_text
V
select_database_messages
V
select_messages
V
serialize_dbc
V
validate_dbc

dbc-toolkit

Validated CAN DBC parser and signal codec toolkit for MoonBit

can

dbc

automotive

parser

codec

Download zip

Author

curry3point

Version

0.1.1

License

Apache-2.0

Repository

github.com/curry3point/moonbit-dbc-toolkit

Last updated

2 months ago

Downloads

No dependencies

#MoonBit DBC Toolkit

Typed CAN DBC parser, validator, signal codec, analysis and transformation toolkit for MoonBit.

let database = @dbc.parse_dbc(dbc_text).unwrap()
let frame = @dbc.encode_frame(
  database,
  100,
  [@dbc.SignalAssignment::new("Speed", 12.34)],
).unwrap()
let decoded = @dbc.decode_frame(database, frame).unwrap()
println(@dbc.render_decoded_text(decoded.message(), decoded.signals()))

The package processes caller-provided DBC text and in-memory CAN/CAN FD frame bytes. It does not connect to CAN hardware, capture bus traffic, or implement UDS/J1939 diagnostics.

ByteOrder

source

pub(all) enum ByteOrder {
  Motorola
  Intel
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

CanFrame

source

pub struct CanFrame {
  id_value : Int
  data_value : Bytes
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

CanFrame::data

source

fn CanFrame::data(self : CanFrame) -> Bytes

CanFrame::id

source

fn CanFrame::id(self : CanFrame) -> Int

CanFrame::new

source

fn CanFrame::new(id : Int, data : Bytes) -> Result[CanFrame, DbcError]

ChangeKind

source

pub(all) enum ChangeKind {
  Added
  Removed
  Modified
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcAudit

source

pub struct DbcAudit {
  database_value : DbcDatabase
  validation_value : DbcValidationResult
  statistics_value : DbcStatistics
  canonical_text_value : String
  round_trip_consistent_value : Bool
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcAudit::accepted

source

fn DbcAudit::accepted(self : DbcAudit) -> Bool

DbcAudit::canonical_text

source

fn DbcAudit::canonical_text(self : DbcAudit) -> String

DbcAudit::database

source

fn DbcAudit::database(self : DbcAudit) -> DbcDatabase

DbcAudit::round_trip_consistent

source

fn DbcAudit::round_trip_consistent(self : DbcAudit) -> Bool

DbcAudit::statistics

source

fn DbcAudit::statistics(self : DbcAudit) -> DbcStatistics

DbcAudit::validation

source

fn DbcAudit::validation(self : DbcAudit) -> DbcValidationResult

DbcBatchInput

source

pub struct DbcBatchInput {
  label_value : String
  text_value : String
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcBatchInput::label

source

fn DbcBatchInput::label(self : DbcBatchInput) -> String

DbcBatchInput::new

source

fn DbcBatchInput::new(label : String, text : String) -> Result[DbcBatchInput, DbcError]

DbcBatchInput::text

source

fn DbcBatchInput::text(self : DbcBatchInput) -> String

DbcBatchItem

source

pub struct DbcBatchItem {
  label_value : String
  database_value : DbcDatabase?
  error_value : DbcError?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcBatchItem::accepted

source

fn DbcBatchItem::accepted(self : DbcBatchItem) -> Bool

DbcBatchItem::database

source

fn DbcBatchItem::database(self : DbcBatchItem) -> DbcDatabase?

DbcBatchItem::error

source

fn DbcBatchItem::error(self : DbcBatchItem) -> DbcError?

DbcBatchItem::label

source

fn DbcBatchItem::label(self : DbcBatchItem) -> String

DbcBatchResult

source

pub struct DbcBatchResult {
  items_value : Array[DbcBatchItem]
  accepted_value : Int
  rejected_value : Int
  total_input_bytes_value : Int
  total_messages_value : Int
  total_signals_value : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcBatchResult::accepted

source

fn DbcBatchResult::accepted(self : DbcBatchResult) -> Int

DbcBatchResult::find

source

fn DbcBatchResult::find(self : DbcBatchResult, label : String) -> DbcBatchItem?

DbcBatchResult::items

source

fn DbcBatchResult::items(self : DbcBatchResult) -> Array[DbcBatchItem]

DbcBatchResult::rejected

source

fn DbcBatchResult::rejected(self : DbcBatchResult) -> Int

DbcBatchResult::total_input_bytes

source

fn DbcBatchResult::total_input_bytes(self : DbcBatchResult) -> Int

DbcBatchResult::total_messages

source

fn DbcBatchResult::total_messages(self : DbcBatchResult) -> Int

DbcBatchResult::total_signals

source

fn DbcBatchResult::total_signals(self : DbcBatchResult) -> Int

DbcComparison

source

pub struct DbcComparison {
  message_changes_value : Array[MessageChange]
  signal_changes_value : Array[SignalChange]
  breaking_change_count_value : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcComparison::breaking_change_count

source

fn DbcComparison::breaking_change_count(self : DbcComparison) -> Int

DbcComparison::is_compatible

source

fn DbcComparison::is_compatible(self : DbcComparison) -> Bool

DbcComparison::message_changes

source

fn DbcComparison::message_changes(self : DbcComparison) -> Array[MessageChange]

DbcComparison::signal_changes

source

fn DbcComparison::signal_changes(self : DbcComparison) -> Array[SignalChange]

DbcDatabase

source

pub struct DbcDatabase {
  version_value : String
  nodes_value : Array[DbcNode]
  messages_value : Array[DbcMessage]
  ignored_statement_count_value : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcDatabase::find_message_by_id

source

fn DbcDatabase::find_message_by_id(self : DbcDatabase, id : Int) -> DbcMessage?

DbcDatabase::find_message_by_name

source

fn DbcDatabase::find_message_by_name(self : DbcDatabase, name : String) -> DbcMessage?

DbcDatabase::ignored_statement_count

source

fn DbcDatabase::ignored_statement_count(self : DbcDatabase) -> Int

DbcDatabase::message_count

source

fn DbcDatabase::message_count(self : DbcDatabase) -> Int

DbcDatabase::messages

source

fn DbcDatabase::messages(self : DbcDatabase) -> Array[DbcMessage]

DbcDatabase::new

source

fn DbcDatabase::new(version : String, nodes : Array[DbcNode], messages : Array[DbcMessage], ignored_statement_count? : Int) -> DbcDatabase

DbcDatabase::nodes

source

fn DbcDatabase::nodes(self : DbcDatabase) -> Array[DbcNode]

DbcDatabase::version

source

fn DbcDatabase::version(self : DbcDatabase) -> String

DbcError

source

pub struct DbcError {
  code_value : String
  message_value : String
  location_value : SourceLocation
  context_value : String
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcError::code

source

fn DbcError::code(self : DbcError) -> String

DbcError::context

source

fn DbcError::context(self : DbcError) -> String

DbcError::format

source

fn DbcError::format(self : DbcError) -> String

DbcError::location

source

fn DbcError::location(self : DbcError) -> SourceLocation

DbcError::message

source

fn DbcError::message(self : DbcError) -> String

DbcError::new

source

fn DbcError::new(code : DbcErrorCode, message : String, line : Int, column : Int, context? : String) -> DbcError

DbcErrorCode

source

pub(all) enum DbcErrorCode {
  EmptyInput
  InputLimitExceeded
  LineLimitExceeded
  InvalidSyntax
  InvalidInteger
  InvalidNumber
  InvalidIdentifier
  InvalidMessage
  InvalidSignal
  InvalidValueTable
  DuplicateMessageId
  DuplicateMessageName
  DuplicateSignalName
  UnknownMessage
  UnknownSignal
  InvalidBitRange
  InvalidDataLength
  ValueOutOfRange
  OverlappingSignal
  UnsupportedConstruct
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcErrorCode::code

source

fn DbcErrorCode::code(self : DbcErrorCode) -> String

DbcMessage

source

pub struct DbcMessage {
  id_value : Int
  name_value : String
  size_value : Int
  transmitter_value : String
  signals_value : Array[DbcSignal]
  comment_value : String
  source_line_value : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcMessage::comment

source

fn DbcMessage::comment(self : DbcMessage) -> String

DbcMessage::find_signal

source

fn DbcMessage::find_signal(self : DbcMessage, name : String) -> DbcSignal?

DbcMessage::id

source

fn DbcMessage::id(self : DbcMessage) -> Int

DbcMessage::name

source

fn DbcMessage::name(self : DbcMessage) -> String

DbcMessage::new

source

fn DbcMessage::new(id : Int, name : String, size : Int, transmitter : String, signals : Array[DbcSignal], source_line? : Int) -> DbcMessage

DbcMessage::signals

source

fn DbcMessage::signals(self : DbcMessage) -> Array[DbcSignal]

DbcMessage::size

source

fn DbcMessage::size(self : DbcMessage) -> Int

DbcMessage::source_line

source

fn DbcMessage::source_line(self : DbcMessage) -> Int

DbcMessage::transmitter

source

fn DbcMessage::transmitter(self : DbcMessage) -> String

DbcMessage::with_comment

source

fn DbcMessage::with_comment(self : DbcMessage, comment : String) -> DbcMessage

DbcMessage::with_signals

source

fn DbcMessage::with_signals(self : DbcMessage, signals : Array[DbcSignal]) -> DbcMessage

DbcNode

source

pub struct DbcNode {
  name_value : String
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcNode::name

source

fn DbcNode::name(self : DbcNode) -> String

DbcNode::new

source

fn DbcNode::new(name : String) -> DbcNode

DbcParseLimits

source

pub(all) struct DbcParseLimits {
  max_input_bytes : Int
  max_lines : Int
  max_messages : Int
  max_signals_per_message : Int
  max_nodes : Int
}

DbcParseLimits::standard

source

fn DbcParseLimits::standard() -> DbcParseLimits

DbcSignal

source

pub struct DbcSignal {
  name_value : String
  start_bit_value : Int
  bit_length_value : Int
  byte_order_value : ByteOrder
  value_type_value : SignalValueType
  factor_value : Double
  offset_value : Double
  minimum_value : Double
  maximum_value : Double
  unit_value : String
  receivers_value : Array[String]
  values_value : Array[DbcValueDescription]
  comment_value : String
  source_line_value : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcSignal::bit_length

source

fn DbcSignal::bit_length(self : DbcSignal) -> Int

DbcSignal::byte_order

source

fn DbcSignal::byte_order(self : DbcSignal) -> ByteOrder

DbcSignal::comment

source

fn DbcSignal::comment(self : DbcSignal) -> String

DbcSignal::factor

source

fn DbcSignal::factor(self : DbcSignal) -> Double

DbcSignal::maximum

source

fn DbcSignal::maximum(self : DbcSignal) -> Double

DbcSignal::minimum

source

fn DbcSignal::minimum(self : DbcSignal) -> Double

DbcSignal::name

source

fn DbcSignal::name(self : DbcSignal) -> String

DbcSignal::new

source

fn DbcSignal::new(name : String, start_bit : Int, bit_length : Int, byte_order : ByteOrder, value_type : SignalValueType, factor : Double, offset : Double, minimum : Double, maximum : Double, unit : String, receivers : Array[String], source_line? : Int) -> DbcSignal

DbcSignal::offset

source

fn DbcSignal::offset(self : DbcSignal) -> Double

DbcSignal::physical_from_raw

source

fn DbcSignal::physical_from_raw(self : DbcSignal, raw : Double) -> Double

DbcSignal::raw_from_physical

source

fn DbcSignal::raw_from_physical(self : DbcSignal, physical : Double) -> Double

DbcSignal::receivers

source

fn DbcSignal::receivers(self : DbcSignal) -> Array[String]

DbcSignal::source_line

source

fn DbcSignal::source_line(self : DbcSignal) -> Int

DbcSignal::start_bit

source

fn DbcSignal::start_bit(self : DbcSignal) -> Int

DbcSignal::unit

source

fn DbcSignal::unit(self : DbcSignal) -> String

DbcSignal::value_label

source

fn DbcSignal::value_label(self : DbcSignal, raw : Int) -> String?

DbcSignal::value_type

source

fn DbcSignal::value_type(self : DbcSignal) -> SignalValueType

DbcSignal::values

source

fn DbcSignal::values(self : DbcSignal) -> Array[DbcValueDescription]

DbcSignal::with_comment

source

fn DbcSignal::with_comment(self : DbcSignal, comment : String) -> DbcSignal

DbcSignal::with_values

source

fn DbcSignal::with_values(self : DbcSignal, values : Array[DbcValueDescription]) -> DbcSignal

DbcStatistics

source

pub struct DbcStatistics {
  node_count_value : Int
  message_count_value : Int
  signal_count_value : Int
  classic_message_count_value : Int
  fd_message_count_value : Int
  intel_signal_count_value : Int
  motorola_signal_count_value : Int
  signed_signal_count_value : Int
  described_value_count_value : Int
  payload_bytes_value : Int
  node_traffic_value : Array[NodeTraffic]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcStatistics::classic_message_count

source

fn DbcStatistics::classic_message_count(self : DbcStatistics) -> Int

DbcStatistics::described_value_count

source

fn DbcStatistics::described_value_count(self : DbcStatistics) -> Int

DbcStatistics::fd_message_count

source

fn DbcStatistics::fd_message_count(self : DbcStatistics) -> Int

DbcStatistics::find_node

source

fn DbcStatistics::find_node(self : DbcStatistics, node : String) -> NodeTraffic?

DbcStatistics::intel_signal_count

source

fn DbcStatistics::intel_signal_count(self : DbcStatistics) -> Int

DbcStatistics::message_count

source

fn DbcStatistics::message_count(self : DbcStatistics) -> Int

DbcStatistics::motorola_signal_count

source

fn DbcStatistics::motorola_signal_count(self : DbcStatistics) -> Int

DbcStatistics::node_count

source

fn DbcStatistics::node_count(self : DbcStatistics) -> Int

DbcStatistics::node_traffic

source

fn DbcStatistics::node_traffic(self : DbcStatistics) -> Array[NodeTraffic]

DbcStatistics::payload_bytes

source

fn DbcStatistics::payload_bytes(self : DbcStatistics) -> Int

DbcStatistics::signal_count

source

fn DbcStatistics::signal_count(self : DbcStatistics) -> Int

DbcStatistics::signed_signal_count

source

fn DbcStatistics::signed_signal_count(self : DbcStatistics) -> Int

DbcValidationIssue

source

pub struct DbcValidationIssue {
  severity_value : ValidationSeverity
  code_value : String
  message_value : String
  message_id_value : Int?
  signal_name_value : String?
  source_line_value : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcValidationIssue::code

source

fn DbcValidationIssue::code(self : DbcValidationIssue) -> String

DbcValidationIssue::message

source

fn DbcValidationIssue::message(self : DbcValidationIssue) -> String

DbcValidationIssue::message_id

source

fn DbcValidationIssue::message_id(self : DbcValidationIssue) -> Int?

DbcValidationIssue::severity

source

fn DbcValidationIssue::severity(self : DbcValidationIssue) -> ValidationSeverity

DbcValidationIssue::signal_name

source

fn DbcValidationIssue::signal_name(self : DbcValidationIssue) -> String?

DbcValidationIssue::source_line

source

fn DbcValidationIssue::source_line(self : DbcValidationIssue) -> Int

DbcValidationPolicy

source

pub(all) struct DbcValidationPolicy {
  allow_extended_ids : Bool
  allow_can_fd : Bool
  require_known_nodes : Bool
  detect_signal_overlap : Bool
  warn_empty_units : Bool
}

DbcValidationPolicy::can_fd

source

fn DbcValidationPolicy::can_fd() -> DbcValidationPolicy

DbcValidationPolicy::strict_classic_can

source

fn DbcValidationPolicy::strict_classic_can() -> DbcValidationPolicy

DbcValidationResult

source

pub struct DbcValidationResult {
  issues_value : Array[DbcValidationIssue]
  error_count_value : Int
  warning_count_value : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcValidationResult::error_count

source

fn DbcValidationResult::error_count(self : DbcValidationResult) -> Int

DbcValidationResult::is_valid

source

fn DbcValidationResult::is_valid(self : DbcValidationResult) -> Bool

DbcValidationResult::issues

source

fn DbcValidationResult::issues(self : DbcValidationResult) -> Array[DbcValidationIssue]

DbcValidationResult::warning_count

source

fn DbcValidationResult::warning_count(self : DbcValidationResult) -> Int

DbcValueDescription

source

pub struct DbcValueDescription {
  raw_value : Int
  label_value : String
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DbcValueDescription::label

source

fn DbcValueDescription::label(self : DbcValueDescription) -> String

DbcValueDescription::new

source

fn DbcValueDescription::new(raw : Int, label : String) -> DbcValueDescription

DbcValueDescription::raw

source

fn DbcValueDescription::raw(self : DbcValueDescription) -> Int

DecodedFrame

source

pub struct DecodedFrame {
  frame_value : CanFrame
  message_value : DbcMessage
  signals_value : Array[DecodedSignal]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DecodedFrame::find_signal

source

fn DecodedFrame::find_signal(self : DecodedFrame, name : String) -> DecodedSignal?

DecodedFrame::frame

source

fn DecodedFrame::frame(self : DecodedFrame) -> CanFrame

DecodedFrame::message

source

fn DecodedFrame::message(self : DecodedFrame) -> DbcMessage

DecodedFrame::signals

source

fn DecodedFrame::signals(self : DecodedFrame) -> Array[DecodedSignal]

DecodedSignal

source

pub struct DecodedSignal {
  name_value : String
  raw_bits_value : UInt64
  signed_raw_value : Int64
  physical_value : Double
  label_value : String?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

DecodedSignal::label

source

fn DecodedSignal::label(self : DecodedSignal) -> String?

DecodedSignal::name

source

fn DecodedSignal::name(self : DecodedSignal) -> String

DecodedSignal::physical

source

fn DecodedSignal::physical(self : DecodedSignal) -> Double

DecodedSignal::raw_bits

source

fn DecodedSignal::raw_bits(self : DecodedSignal) -> UInt64

DecodedSignal::signed_raw

source

fn DecodedSignal::signed_raw(self : DecodedSignal) -> Int64

FrameBatchItem

source

pub struct FrameBatchItem {
  index_value : Int
  frame_value : CanFrame
  decoded_value : DecodedFrame?
  error_value : DbcError?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

FrameBatchItem::accepted

source

fn FrameBatchItem::accepted(self : FrameBatchItem) -> Bool

FrameBatchItem::decoded

source

fn FrameBatchItem::decoded(self : FrameBatchItem) -> DecodedFrame?

FrameBatchItem::error

source

fn FrameBatchItem::error(self : FrameBatchItem) -> DbcError?

FrameBatchItem::frame

source

fn FrameBatchItem::frame(self : FrameBatchItem) -> CanFrame

FrameBatchItem::index

source

fn FrameBatchItem::index(self : FrameBatchItem) -> Int

FrameBatchResult

source

pub struct FrameBatchResult {
  items_value : Array[FrameBatchItem]
  accepted_value : Int
  rejected_value : Int
  total_data_bytes_value : Int
  message_counts_value : Array[MessageFrameCount]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

FrameBatchResult::acceptance_ratio

source

fn FrameBatchResult::acceptance_ratio(self : FrameBatchResult) -> Double

FrameBatchResult::accepted

source

fn FrameBatchResult::accepted(self : FrameBatchResult) -> Int

FrameBatchResult::find_item

source

fn FrameBatchResult::find_item(self : FrameBatchResult, index : Int) -> FrameBatchItem?

FrameBatchResult::find_message_count

source

fn FrameBatchResult::find_message_count(self : FrameBatchResult, message_id : Int) -> MessageFrameCount?

FrameBatchResult::items

source

fn FrameBatchResult::items(self : FrameBatchResult) -> Array[FrameBatchItem]

FrameBatchResult::message_counts

source

fn FrameBatchResult::message_counts(self : FrameBatchResult) -> Array[MessageFrameCount]

FrameBatchResult::rejected

source

fn FrameBatchResult::rejected(self : FrameBatchResult) -> Int

FrameBatchResult::total_data_bytes

source

fn FrameBatchResult::total_data_bytes(self : FrameBatchResult) -> Int

MessageChange

source

pub struct MessageChange {
  kind_value : ChangeKind
  message_id_value : Int
  message_name_value : String
  detail_value : String
  breaking_value : Bool
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

MessageChange::detail

source

fn MessageChange::detail(self : MessageChange) -> String

MessageChange::is_breaking

source

fn MessageChange::is_breaking(self : MessageChange) -> Bool

MessageChange::kind

source

fn MessageChange::kind(self : MessageChange) -> ChangeKind

MessageChange::message_id

source

fn MessageChange::message_id(self : MessageChange) -> Int

MessageChange::message_name

source

fn MessageChange::message_name(self : MessageChange) -> String

MessageFilter

source

pub(all) struct MessageFilter {
  transmitter : String?
  receiver : String?
  name_contains : String?
  minimum_size : Int?
  maximum_size : Int?
}

MessageFilter::all

source

fn MessageFilter::all() -> MessageFilter

MessageFrameCount

source

pub struct MessageFrameCount {
  message_id_value : Int
  message_name_value : String
  count_value : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

MessageFrameCount::count

source

fn MessageFrameCount::count(self : MessageFrameCount) -> Int

MessageFrameCount::message_id

source

fn MessageFrameCount::message_id(self : MessageFrameCount) -> Int

MessageFrameCount::message_name

source

fn MessageFrameCount::message_name(self : MessageFrameCount) -> String

NodeTraffic

source

pub struct NodeTraffic {
  node_value : String
  transmitted_messages_value : Int
  received_messages_value : Int
  received_signals_value : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

NodeTraffic::node

source

fn NodeTraffic::node(self : NodeTraffic) -> String

NodeTraffic::received_messages

source

fn NodeTraffic::received_messages(self : NodeTraffic) -> Int

NodeTraffic::received_signals

source

fn NodeTraffic::received_signals(self : NodeTraffic) -> Int

NodeTraffic::transmitted_messages

source

fn NodeTraffic::transmitted_messages(self : NodeTraffic) -> Int

SignalAssignment

source

pub struct SignalAssignment {
  name_value : String
  physical_value : Double
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

SignalAssignment::name

source

fn SignalAssignment::name(self : SignalAssignment) -> String

SignalAssignment::new

source

fn SignalAssignment::new(name : String, physical : Double) -> SignalAssignment

SignalAssignment::physical

source

fn SignalAssignment::physical(self : SignalAssignment) -> Double

SignalChange

source

pub struct SignalChange {
  kind_value : ChangeKind
  message_id_value : Int
  signal_name_value : String
  detail_value : String
  breaking_value : Bool
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

SignalChange::detail

source

fn SignalChange::detail(self : SignalChange) -> String

SignalChange::is_breaking

source

fn SignalChange::is_breaking(self : SignalChange) -> Bool

SignalChange::kind

source

fn SignalChange::kind(self : SignalChange) -> ChangeKind

SignalChange::message_id

source

fn SignalChange::message_id(self : SignalChange) -> Int

SignalChange::signal_name

source

fn SignalChange::signal_name(self : SignalChange) -> String

SignalReference

source

pub struct SignalReference {
  message_id_value : Int
  message_name_value : String
  signal_value : DbcSignal
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

SignalReference::message_id

source

fn SignalReference::message_id(self : SignalReference) -> Int

SignalReference::message_name

source

fn SignalReference::message_name(self : SignalReference) -> String

SignalReference::signal

source

fn SignalReference::signal(self : SignalReference) -> DbcSignal

SignalValueType

source

pub(all) enum SignalValueType {
  Unsigned
  Signed
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

SourceLocation

source

pub(all) struct SourceLocation {
  line_value : Int
  column_value : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

SourceLocation::column

source

fn SourceLocation::column(self : SourceLocation) -> Int

SourceLocation::line

source

fn SourceLocation::line(self : SourceLocation) -> Int

SourceLocation::new

source

fn SourceLocation::new(line : Int, column : Int) -> SourceLocation

ValidationSeverity

source

pub(all) enum ValidationSeverity {
  Error
  Warning
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

analyze_dbc

source

fn analyze_dbc(database : DbcDatabase) -> DbcStatistics

audit_dbc

source

fn audit_dbc(text : String, limits? : DbcParseLimits, policy? : DbcValidationPolicy) -> Result[DbcAudit, DbcError]

compare_dbc

source

fn compare_dbc(before : DbcDatabase, after : DbcDatabase) -> DbcComparison

database_content_equal

source

fn database_content_equal(left : DbcDatabase, right : DbcDatabase) -> Bool

decode_frame

source

fn decode_frame(database : DbcDatabase, frame : CanFrame) -> Result[DecodedFrame, DbcError]

decode_frame_batch

source

fn decode_frame_batch(database : DbcDatabase, frames : Array[CanFrame], max_frames? : Int, max_total_data_bytes? : Int) -> Result[FrameBatchResult, DbcError]

decode_frame_hex

source

fn decode_frame_hex(database : DbcDatabase, message_id : Int, hex_data : String) -> Result[DecodedFrame, DbcError]

decode_message

source

fn decode_message(message : DbcMessage, data : Bytes) -> Result[Array[DecodedSignal], DbcError]

decode_signal

source

fn decode_signal(message : DbcMessage, signal : DbcSignal, data : Bytes) -> Result[DecodedSignal, DbcError]

encode_frame

source

fn encode_frame(database : DbcDatabase, message_id : Int, assignments : Array[SignalAssignment]) -> Result[CanFrame, DbcError]

encode_message

source

fn encode_message(message : DbcMessage, assignments : Array[SignalAssignment]) -> Result[Bytes, DbcError]

encode_physical_signal

source

fn encode_physical_signal(message : DbcMessage, signal : DbcSignal, physical : Double, data : Array[Byte], tolerance? : Double) -> Result[Unit, DbcError]

encode_signed_raw_signal

source

fn encode_signed_raw_signal(message : DbcMessage, signal : DbcSignal, raw : Int64, data : Array[Byte]) -> Result[Unit, DbcError]

encode_unsigned_raw_signal

source

fn encode_unsigned_raw_signal(message : DbcMessage, signal : DbcSignal, raw : UInt64, data : Array[Byte]) -> Result[Unit, DbcError]

find_signals_by_name

source

fn find_signals_by_name(database : DbcDatabase, query : String) -> Array[SignalReference]

merge_databases

source

fn merge_databases(left : DbcDatabase, right : DbcDatabase) -> Result[DbcDatabase, DbcError]

messages_received_by

source

fn messages_received_by(database : DbcDatabase, node : String) -> Array[DbcMessage]

messages_transmitted_by

source

fn messages_transmitted_by(database : DbcDatabase, node : String) -> Array[DbcMessage]

parse_dbc

source

fn parse_dbc(text : String, limits? : DbcParseLimits) -> Result[DbcDatabase, DbcError]

parse_dbc_batch

source

fn parse_dbc_batch(inputs : Array[DbcBatchInput], max_items? : Int, max_total_bytes? : Int, limits? : DbcParseLimits) -> Result[DbcBatchResult, DbcError]

parse_frame_hex

source

fn parse_frame_hex(id : Int, text : String) -> Result[CanFrame, DbcError]

rename_message

source

fn rename_message(database : DbcDatabase, id : Int, after : String) -> Result[DbcDatabase, DbcError]

rename_node

source

fn rename_node(database : DbcDatabase, before : String, after : String) -> Result[DbcDatabase, DbcError]

rename_signal

source

fn rename_signal(database : DbcDatabase, message_id : Int, before : String, after : String) -> Result[DbcDatabase, DbcError]

render_audit_json

source

fn render_audit_json(audit : DbcAudit) -> String

render_audit_text

source

fn render_audit_text(audit : DbcAudit) -> String

render_comparison_json

source

fn render_comparison_json(comparison : DbcComparison) -> String

render_comparison_text

source

fn render_comparison_text(comparison : DbcComparison) -> String

render_decoded_json

source

fn render_decoded_json(message : DbcMessage, decoded : Array[DecodedSignal]) -> String

render_decoded_text

source

fn render_decoded_text(message : DbcMessage, decoded : Array[DecodedSignal]) -> String

render_frame_batch_json

source

fn render_frame_batch_json(result : FrameBatchResult) -> String

render_frame_batch_text

source

fn render_frame_batch_text(result : FrameBatchResult) -> String

render_frame_hex

source

fn render_frame_hex(frame : CanFrame) -> String

render_statistics_json

source

fn render_statistics_json(statistics : DbcStatistics) -> String

render_statistics_text

source

fn render_statistics_text(statistics : DbcStatistics) -> String

render_validation_json

source

fn render_validation_json(result : DbcValidationResult) -> String

render_validation_text

source

fn render_validation_text(result : DbcValidationResult) -> String

select_database_messages

source

fn select_database_messages(database : DbcDatabase, ids : Array[Int]) -> Result[DbcDatabase, DbcError]

select_messages

source

fn select_messages(database : DbcDatabase, filter : MessageFilter) -> Array[DbcMessage]

serialize_dbc

source

fn serialize_dbc(database : DbcDatabase) -> Result[String, DbcError]

validate_dbc

source

fn validate_dbc(database : DbcDatabase, policy? : DbcValidationPolicy) -> DbcValidationResult

Source Files

Install

Download zip

Validated CAN DBC parser and signal codec toolkit for MoonBit

candbcautomotiveparsercodec

curry3point

Apache-2.0

github.com/curry3point/moonbit-dbc-toolkit

Updated 2 months ago

35 downloads

Site source Report issue Modules Skills CLI Build queue Statistics

dbc-toolkit

#MoonBit DBC Toolkit

#ByteOrder

#CanFrame

#CanFrame::data

#CanFrame::id

#CanFrame::new

#ChangeKind

#DbcAudit

#DbcAudit::accepted

#DbcAudit::canonical_text

#DbcAudit::database

#DbcAudit::round_trip_consistent

#DbcAudit::statistics

#DbcAudit::validation

#DbcBatchInput

#DbcBatchInput::label

#DbcBatchInput::new

#DbcBatchInput::text

#DbcBatchItem

#DbcBatchItem::accepted

#DbcBatchItem::database

#DbcBatchItem::error

#DbcBatchItem::label

#DbcBatchResult

#DbcBatchResult::accepted

#DbcBatchResult::find

#DbcBatchResult::items

#DbcBatchResult::rejected

#DbcBatchResult::total_input_bytes

#DbcBatchResult::total_messages

#DbcBatchResult::total_signals

#DbcComparison

#DbcComparison::breaking_change_count

#DbcComparison::is_compatible

#DbcComparison::message_changes

#DbcComparison::signal_changes

#DbcDatabase

#DbcDatabase::find_message_by_id

#DbcDatabase::find_message_by_name

#DbcDatabase::ignored_statement_count

#DbcDatabase::message_count

#DbcDatabase::messages

#DbcDatabase::new

#DbcDatabase::nodes

#DbcDatabase::version

#DbcError

#DbcError::code

#DbcError::context

#DbcError::format

#DbcError::location

#DbcError::message

#DbcError::new

#DbcErrorCode

#DbcErrorCode::code

#DbcMessage

#DbcMessage::comment

#DbcMessage::find_signal

#DbcMessage::id

#DbcMessage::name

#DbcMessage::new

#DbcMessage::signals

#DbcMessage::size

#DbcMessage::source_line

#DbcMessage::transmitter

#DbcMessage::with_comment

#DbcMessage::with_signals

#DbcNode

#DbcNode::name

#DbcNode::new

#DbcParseLimits

#DbcParseLimits::standard

#DbcSignal

#DbcSignal::bit_length

#DbcSignal::byte_order

#DbcSignal::comment

#DbcSignal::factor

#DbcSignal::maximum

#DbcSignal::minimum

#DbcSignal::name

ByteOrder

CanFrame

CanFrame::data

CanFrame::id

CanFrame::new

ChangeKind

DbcAudit

DbcAudit::accepted

DbcAudit::canonical_text

DbcAudit::database

DbcAudit::round_trip_consistent

DbcAudit::statistics

DbcAudit::validation

DbcBatchInput

DbcBatchInput::label

DbcBatchInput::new

DbcBatchInput::text

DbcBatchItem

DbcBatchItem::accepted

DbcBatchItem::database

DbcBatchItem::error

DbcBatchItem::label

DbcBatchResult

DbcBatchResult::accepted

DbcBatchResult::find

DbcBatchResult::items

DbcBatchResult::rejected

DbcBatchResult::total_input_bytes

DbcBatchResult::total_messages

DbcBatchResult::total_signals

DbcComparison

DbcComparison::breaking_change_count

DbcComparison::is_compatible

DbcComparison::message_changes

DbcComparison::signal_changes

DbcDatabase

DbcDatabase::find_message_by_id

DbcDatabase::find_message_by_name

DbcDatabase::ignored_statement_count

DbcDatabase::message_count

DbcDatabase::messages

DbcDatabase::new

DbcDatabase::nodes

DbcDatabase::version

DbcError

DbcError::code

DbcError::context

DbcError::format

DbcError::location

DbcError::message

DbcError::new

DbcErrorCode

DbcErrorCode::code

DbcMessage

DbcMessage::comment

DbcMessage::find_signal

DbcMessage::id

DbcMessage::name

DbcMessage::new

DbcMessage::signals

DbcMessage::size

DbcMessage::source_line

DbcMessage::transmitter

DbcMessage::with_comment

DbcMessage::with_signals

DbcNode

DbcNode::name

DbcNode::new

DbcParseLimits

DbcParseLimits::standard

DbcSignal

DbcSignal::bit_length

DbcSignal::byte_order

DbcSignal::comment

DbcSignal::factor

DbcSignal::maximum

DbcSignal::minimum

DbcSignal::name

DbcSignal::new

DbcSignal::offset